5945 search results - page 1005 / 1189 » A Model for Projection and Action |
WSC
2000
13 years 10 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
WSC
2000
13 years 10 months ago
2000
A new approach to military operations, called Anticipatory Planning and Adaptive Execution, treats planning and execution as a tightly coupled, single process, and replaces reacti...
FORTE
1994
13 years 10 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
AI
2008
Springer
13 years 9 months ago
2008
Springer
We make a number of contributions to the study of the Quantified Constraint Satisfaction Problem (QCSP). The QCSP is an extension of the constraint satisfaction problem that can b...
BIOSYSTEMS
2007
13 years 9 months ago
2007
Up to few years ago astrocytes have been considered as passive elements of brain, providing structural and metabolic support to the neurons, but playing little role in information...