3116 search results - page 410 / 624 » Positively dependent types |
138
click to vote
PERVASIVE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Indoor location tracking systems have been a major focus of ubiquitous computing research, and they have much promise to help in collecting objective, real time data for ...
183
click to vote
BCSHCI
2008
15 years 8 months ago
2008
In this paper, we describe the design and evaluation of SMART, an educational system that uses augmented reality for teaching 2nd grade-level concepts, adequate and integrated wit...
185
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Mobile persuasion is using a mobile device to motivate people to change their behavior in a positive way. Thus there is the potential in investigating how mobile technology could ...
154
click to vote
LREC
2010
15 years 8 months ago
2010
We report about tools for the extraction of German multiword expressions (MWEs) from text corpora; we extract word pairs, but also longer MWEs of different patterns, e.g. verb-nou...
133
click to vote
LREC
2010
15 years 8 months ago
2010
The meanings of words are not fixed but in fact undergo change, with new word senses arising and established senses taking on new aspects of meaning or falling out of usage. Two t...