Sciweavers

1569 search results - page 203 / 314
» Programming contest strategy
Sort
View
ICRA
1995
IEEE
60views Robotics» more  ICRA 1995»
14 years 14 days ago
Sensorimotor Primitives for Robotic Assembly Skills
Integrating sensors into robot systems is an important step towards increasing the flexibility of robotic manufacturing systems. Current sensor integration is largely task-speci...
J. Daniel Morrow, Pradeep K. Khosla
VLDB
1995
ACM
96views Database» more  VLDB 1995»
14 years 14 days ago
The Fittest Survives: An Adaptive Approach to Query Optimization
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
Hongjun Lu, Kian-Lee Tan, Son Dao
DBPL
1991
Springer
76views Database» more  DBPL 1991»
14 years 13 days ago
A Functional DBPL Revealing High Level Optimizations
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
Martin Erwig, Udo W. Lipeck
AIPS
2008
13 years 11 months ago
Criticality Metrics for Distributed Plan and Schedule Management
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
Rajiv T. Maheswaran, Pedro A. Szekely
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
13 years 11 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...