747 search results - page 13 / 150 » Consequence Relations In DRT |
HRI
2006
ACM
14 years 1 months ago
2006
ACM
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
COCO
1994
Springer
13 years 11 months ago
1994
Springer
Resource-bounded measure as originated by Lutz is an extension of classical measure theory which provides a probabilistic means of describing the relative sizes of complexity clas...
BNCOD
2008
13 years 9 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of so...
ITC
2003
IEEE
14 years 29 days ago
2003
IEEE
An early-life reliability model is presented that allows wafer test information to be used to predict not only the total number of burn-in failures that occur for a given product,...