Swedish Institute of Computer Science Publications Database
Not a member yet
2787 research outputs found
Sort by
Ecofriends - Designing for Critical Reflection Using Social Voices
No full textAs practitioners and researchers in interaction design, we often find that many of the online practices we design for resemble those that existed several hundred years ago, before industrialization. For instance, the collaborative knowledge gathering we today associate with Wikipedia and the like existed in the more basic form of books and writings
On the reification of global constraints
No full textWe introduce a simple idea for deriving reified global constraints in a systematic way. It is based on the observation that most global constraints can be reformulated as a conjunction of total function constraints together with a constraint that can be easily reified
Token and Type Constraints for Cross-Lingual Part-of-Speech Tagging
Get PDFWe consider the construction of part-of-speech taggers for resource-poor languages. Recently, manually constructed tag dictionaries from Wiktionary and dictionaries projected via bitext have been used as type constraints to overcome the scarcity of annotated data in this setting. In this paper, we show that additional token constraints can be projected from a resource-rich source language to a resource-poor target language via word-aligned bitext. We present several models to this end; in particular a partially observed conditional random field model, where coupled token and type constraints provide a partial signal for training. Averaged across eight previously studied Indo-European languages, our model achieves a 25% relative error reduction over the prior state of the art. We further present successful results on seven additional languages from different families, empirically demonstrating the applicability of coupled token and type constraints across a diverse set of languages
Authorization Framework for the Internet-of-Things
Get PDFThis paper describes a framework that allows fine-grained
and flexible access control to connected devices with very
limited processing power and memory.
We propose a set of security and performance requirements
for this setting and derive an authorization framework distributing
processing costs between constrained devices and less constrained back-end servers while keeping message exchanges
with the constrained devices at a minimum.
As a proof of concept we present performance results from
a prototype implementing the device part of the framework
BALANCING FOOD VALUES: MAKING SUSTAINABLE CHOICES WITHIN COOKING PRACTICES
Get PDFWithin user-centred design and topics such as
persuasive design, pleasurable products, and design for sustainable behaviour, there is a danger of over-determining, pacifying or reducing people’s diversity. Taking the case of sustainable food, we have looked into the social aspects of cooking at home, in specific related to the type of food that is purchased. This paper describes what it means for people to make more sustainable choices in food shopping and how that can be mediated while taking different ‘food values’ that household members have into account. In a design experiment, we developed a service for selecting daily dinner meals while supporting choices of sustainable food which reported on environmental impact, health and nutrition values, and purchase data. Through visualizations of alternative food choices, the experiment provided a space for households to negotiate food values, while opening up possibilities for changing cooking practices
Optimisation of simultaneous train formation and car sorting at marshalling yards
Get PDFEfficient and correct freight train marshalling is vital for high quality carload freight transportations. During marshalling, it is desirable that cars are sorted according to their individual drop-off locations in the outbound freight trains. Furthermore, practical limitations such as non-uniform and limited track lengths and the arrival and departure times of trains need to be considered. This paper presents a novel optimisation method for freight marshalling scheduling under these circumstances. The method is based on an integer programming formulation that is solved using column generation and branch and price. The approach minimises the number of extra shunting operations that have to be performed, and is evaluated on real-world data from the Hallsberg marshalling yard in Sweden
