1036 search results - page 147 / 208 » Natural Narrowing for General Term Rewriting Systems |
BCSHCI
2007
13 years 9 months ago
2007
Second Life, a participant-created multi-user virtual environment (MUVE), gained sudden media acclaim in 2006. Prior to that, the world was developing many of the characteristics ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We introduce a game setting called a joint process, where the history of actions determine the state, and the state and agent properties determine the payoff. This setting is a sp...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a natural generalisation of asynchronous bounded delay (ABD) network models. The commonly used ABD models assume a known bound on message delay. This assumption is ofte...
SIGMOD
2008
ACM
13 years 7 months ago
2008
ACM
Tree pattern queries (TPQs) provide a natural and easy formalism to query tree-structured XML data, and the efficient processing of such queries has attracted a lot of attention. ...