1167 search results - page 122 / 234 » A Really Temporal Logic |
133
click to vote
AI50
2006
15 years 8 months ago
2006
The problem of consciousness has been divided by philosophers into the problem of Access Consciousness and the problem of Phenomenal Consciousness or "raw feel". In this ...
180
click to vote
CLIMA
2006
15 years 5 months ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
166
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
142
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
131
click to vote
CPAIOR
2006
Springer
15 years 8 months ago
2006
Springer
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...