1636 search results - page 222 / 328 » Reasoning About Quantum Systems |
163
click to vote
AAAI
1990
15 years 7 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
183
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
123
click to vote
ALIFE
2004
15 years 6 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
153
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
193
click to vote
IJMSO
2007
15 years 6 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...