160 search results - page 29 / 32 » Applying the Mu-Calculus in Planning and Reasoning about Act... |
PERVASIVE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
FOMI
2009
13 years 6 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
IQ
2001
13 years 10 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
CRITICAL
2005
13 years 10 months ago
2005
In traditional computer games, it is not uncommon for the game world to be inhabited by numerous computergenerated characters, Non-Player Characters (NPCs). In pervasive games, pl...
SIGGRAPH
2000
ACM
14 years 28 days ago
2000
ACM
We propose the use of interactive, user-in-the-loop techniques for controlling physically-based animated characters. With a suitably designed interface, the continuous and discret...