3765 search results - page 469 / 753 » Qualitative Action Systems |
162
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
Reminder systems support people with impaired prospective memory and/or executive function, by providing them with reminders of their functional daily activities. We integrate tem...
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
170
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
In this paper we describe a novel text entry method which uses coordinated motor action of hand and mouth. A vision based algorithm is used to gauge shape parameters of the cavity...
251
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
164
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Big data presents new challenges to both cluster infrastructure software and parallel application design. We present a set of software services and design principles for data inte...