10407 search results - page 142 / 2082 » Market-Based Approaches to Optimization |
123
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
120
Voted
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B
125
Voted
SASP
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
144
Voted
KI
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...
137
click to vote
DAWAK
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we propose a new technique for multidimensional query processing which can be widely applied in database systems. Our new technique, called tree striping, generalize...