2940 search results - page 255 / 588 » Relational Parametricity and Control |
182
Voted
PODS
1990
ACM
15 years 10 months ago
1990
ACM
- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...
182
Voted
ANTSW
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the design of control policies for groups of up to 16 simple autonomous mobile robots (called s-bots) for the cooperative transport of heavy objects of differe...
142
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Physical agents (such as wheeled vehicles, UAVs, hovercraft, etc.) with simple control systems are often sensitive to changes in their physical design and control parameters. As s...
183
click to vote
KRMED
2008
15 years 8 months ago
2008
By constructing local extensions to SNOMED we aim to enrich existing medical and related data stores, simplify the expression of complex queries, and establish a foundation for se...
199
click to vote
WSC
2001
15 years 8 months ago
2001
We address performance issues associated with simulationbased algorithms for optimizing Markov reward processes. Specifically, we are concerned with algorithms that exploit the re...