56 search results - page 11 / 12 » A Switching Planner for Combined Task and Observation Planni... |
IDA
1999
Springer
13 years 10 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
IFIP
2000
Springer
13 years 10 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
SIGMOD
2007
ACM
14 years 6 months ago
2007
ACM
Suppose a long-running analytical query is executing on a database server and has been allocated a large amount of physical memory. A high-priority task comes in and we need to ru...
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
SPATIALCOGNITION
2000
Springer
13 years 10 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...