1426 search results - page 144 / 286 » Specification of nonmonotonic reasoning |
173
Voted
ICFP
2001
ACM
16 years 7 months ago
2001
ACM
The categorical notion of monad, used by Moggi to structure denotational descriptions, has proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic...
188
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
160
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
183
Voted
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
Context and context-awareness have been central issues in ubiquitous computing research for the last decade. Advances with regard to context acquisition and activity recognition a...
167
Voted
TABLETOP
2006
IEEE
16 years 29 days ago
2006
IEEE
Tabletop systems provide a platform for developing novel interaction systems, including tangible user interfaces (TUIs). This paper presents a study of the effects of a tabletop s...