1634 search results - page 97 / 327 » Classifying Technical Terms |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
In this paper we present "Homie" an artificial companion for elderly people. Our approach emphasizes amusement and benefit - amusement in form of entertainment and benef...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
We present a narrative of the design of Contacts 3.0, a service and updated phonebook application on a mobile device that combines on-device communication with communication from ...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Developing systems that support people in everyday life in a discrete and effective way is an ultimate goal of a new generation of technical systems. Physiological computing rep...