Sciweavers

1614 search results - page 300 / 323
» Planning as Temporal Reasoning
Sort
View
ECCC
2007
99views more  ECCC 2007»
13 years 6 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi
EOR
2007
69views more  EOR 2007»
13 years 6 months ago
Optimizing the periodic pick-up of raw materials for a manufacturer of auto parts
— We describe a solution procedure for a special case of the periodic vehicle routing problem (PVRP). Operation managers at an auto parts in the north of Spain described the opti...
Jesús F. Alegre, Manuel Laguna, Joaqu&iacut...
COMCOM
2004
94views more  COMCOM 2004»
13 years 6 months ago
An economic model for the radio resource management in multimedia wireless systems
In this paper, we study the connection between Radio Resource Management and economic parameters, whose application in multimedia communication system is a challenging task. In fa...
Leonardo Badia, Magnus Lindström, Jens Zander...
BC
2000
108views more  BC 2000»
13 years 6 months ago
Haptic interaction with virtual objects
This paper considers interaction of the human arm with ``virtual'' objects simulated mechanically by a planar robot. Haptic perception of spatial properties of objects is...
Ernest D. Fasse, Neville Hogan, Bruce A. Kay, Ferd...
DEBU
2000
118views more  DEBU 2000»
13 years 6 months ago
A Dynamic Query Processing Architecture for Data Integration Systems
Execution plans produced by traditional query optimizers for data integration queries may yield poor performance for several reasons. The cost estimates may be inaccurate, the mem...
Luc Bouganim, Françoise Fabret, C. Mohan, P...