1142 search results - page 65 / 229 » TAST-Trademark Application Assistant |
IEAAIE
2011
Springer
14 years 3 months ago
2011
Springer
Agent-based applications have the potential to assist humans in their lifestyle change, for instance eliminating addictive behaviours or adopting new healthy behaviours. In order t...
ICFP
2002
ACM
15 years 12 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
108
click to vote
MOBICOM
2009
ACM
15 years 6 months ago
2009
ACM
Cognitive relays form a special cooperation relationship among users in cognitive radio networks, and help increase the transmission rates of both primary users and secondary user...
HRI
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents results toward our ongoing research program into hands-off assistive human-robot interaction [6]. Our work has focused on applications of socially assistive r...
102
click to vote
CHI
2004
ACM
15 years 5 months ago
2004
ACM
Current Personal Digital Assistants (PDAs) such as Pocket PCs provide little support for sketching. This is due, no doubt, to the limited screen size and relatively poor resolutio...