2836 search results - page 72 / 568 » Evaluating a Qualitative Reasoner |
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...
KI
2010
Springer
14 years 8 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....
106
click to vote
DLOG
2001
14 years 11 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
AAAI
2008
15 years 4 days ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
JASIS
2011
14 years 4 months ago
2011
This paper aims to review the fiercely discussed question of whether the ranking of Wikipedia articles in search engines is justified by the quality of the articles. After an over...