3394 search results - page 336 / 679 » A Modal Model of Memory |
174
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
174
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
202
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
231
click to vote
TABLETOP
2006
IEEE
16 years 23 days ago
2006
IEEE
While “displays” have the connotation of affording visual output, “surfaces” invite the users to interact. What happens then when the surfaces are also displays, when a di...
215
click to vote
ICRA
2005
IEEE
16 years 11 days ago
2005
IEEE
– The main task of a voice-enabled tour-guide robot in mass exhibition setting is to engage visitors in dialogue and provide as much exhibit information as possible in a limited ...