412 search results - page 29 / 83 » Innovations in computational type theory using Nuprl |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Interaction with a remote team of robots in real time is a difficult human-robot interaction (HRI) problem exacerbated by the complications of unpredictable realworld environments...
ACMDIS
2000
ACM
14 years 10 days ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...
JPDC
2008
13 years 8 months ago
2008
Recent advances in space and computer technologies are revolutionizing the way remotely sensed data is collected, managed and interpreted. In particular, NASA is continuously gath...
Book
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...
MOBISYS
2007
ACM
14 years 7 months ago
2007
ACM
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...