1729 search results - page 110 / 346 » Practical Temporal Projection |
ECSCW
1993
13 years 11 months ago
1993
: Support for work practice is better conceptualised as support for activity taking place in a multidimensional space than as prescription of temporal task sequences. The notion of...
JANCL
2007
13 years 10 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
AUSAI
2010
Springer
13 years 9 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
PROFES
2004
Springer
14 years 3 months ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...
TIME
1994
IEEE
14 years 2 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...