2470 search results - page 199 / 494 » Liveness-Preserving Simulation Relations |
130
click to vote
RTDB
1996
15 years 5 months ago
1996
We propose and evaluate an admission control paradigm for RTDBS, in which a transaction is submitted to the system as a pair of processes: a primary task, and a recovery block. Th...
147
Voted
AAAI
1990
15 years 5 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
136
Voted
IJCAI
1989
15 years 5 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
143
click to vote
IJCAI
1989
15 years 5 months ago
1989
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
141
click to vote
MVA
1990
15 years 5 months ago
1990
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...