4600 search results - page 218 / 920 » Presentation Of The Eurolang Project |
141
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
`Today' messages are short daily status emails sent by members of a project team to each other. Their original purpose was to take the place of status updates at meetings. Ho...
210
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
180
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The notion of "pervasive computing" has traditionally been identified with a focus on what might be called "pervasive processing". This paper, in contrast, argu...
173
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
The goal of the MavHome project is to develop technologies to Manage Adaptive Versatile environments. In this paper, we present a complete agent architecture for a single inhabita...
205
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
This paper describes the system design of Smart Table, a table that can track and identify multiple objects simultaneously when placed on top of its surface. The table has been de...