789 search results - page 24 / 158 » On Theory Revision with Queries |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
In this paper we describe a problem of discovering query clusters from a click-through graph of web search logs. The graph consists of a set of web search queries, a set of pages ...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...
TBILLC
2007
Springer
14 years 2 months ago
2007
Springer
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
INTERACT
2003
13 years 9 months ago
2003
: Online form validation can be performed in several ways. This reports discusses an empirical study with 77 participants, which has found evidence that the best way of validating ...
IJAR
2008
13 years 8 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...