531 search results - page 25 / 107 » Data structure repair using goal-directed reasoning |
KI
2010
Springer
13 years 6 months ago
2010
Springer
Location models are data structures or knowledge bases used in Ubiquitous Computing for representing and reasoning about spatial relationships between so-called smart objects, i.e....
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The focus of web search is moving away from returning relevant documents towards returning structured data as results to user queries. A vital part in the architecture of...
COGSCI
2004
13 years 8 months ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
AAAI
2008
13 years 10 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...