3710 search results - page 80 / 742 » A new calculus of contexts |
DIGRA
2005
Springer
2005
Springer
A Sociotechnical Conjecture about the Context and Development of Multiplayer Online Game Experiences
15 years 5 months ago
The advent of multiplayer online games brings new actors into the development scene and redefines traditional roles and interactions. Anchored on studies of the role of context in...
ISICT
2003
15 years 1 months ago
2003
Abstract. The advent of context-aware computing requires a new paradigm in information management. Context information in a computing environment will take the form of disparate an...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
112
click to vote
SEBD
1997
15 years 1 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
102
click to vote
ENTCS
2008
14 years 12 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...