624 search results - page 104 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
CAISE
2008
Springer
13 years 10 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
ISTA
2007
13 years 10 months ago
2007
: Today, discrete-event simulation (DES) use in the manufacturing industry has become widespread, but far from all companies use this technology.Often simulation is used on a `one-...
APBC
2004
13 years 10 months ago
2004
Addressing queries interactively to a chain of two or more biological resources is an everyday task for many scientists, as they use in-silico methods to characterize a biological...
AIM
2006
13 years 10 months ago
2006
: This paper focuses on situations where documents serve to coordinate a distributed Community of Action engaged in a common goal-directed activity. In such contexts, a document ap...
AAAI
1996
13 years 10 months ago
1996
Past work in navigation has worked toward the goal of producing an accurate map of the environment. While no one can deny the usefulness of such a map, the ideal of producing a co...