2836 search results - page 51 / 568 » Evaluating a Qualitative Reasoner |
VR
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we describe two engineering experiments designed to evaluate the effectiveness of Measurand’s ShapeTape for wearable, mobile interaction. Our initial results sugge...
123
click to vote
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
102
click to vote
CONSTRAINTS
2006
14 years 9 months ago
2006
Topological relations are important in various tasks of spatial reasoning, scene description and object recognition. The RCC8 spatial constraint language developed by Randell, Cui...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.