Sciweavers

1569 search results - page 203 / 314
» Programming contest strategy
Sort
View
63
Voted
ICRA
1995
IEEE
60views Robotics» more  ICRA 1995»
15 years 4 months 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
83
Voted
VLDB
1995
ACM
96views Database» more  VLDB 1995»
15 years 4 months 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
88
Voted
DBPL
1991
Springer
76views Database» more  DBPL 1991»
15 years 4 months 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
103
Voted
AIPS
2008
15 years 3 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»
15 years 2 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...