Sciweavers

1614 search results - page 209 / 323
» Planning as Temporal Reasoning
Sort
View
CAISE
2010
Springer
15 years 1 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
CP
2003
Springer
15 years 11 months ago
Incremental Computation of Resource-Envelopes in Producer-Consumer Models
Abstract. Interleaved planning and scheduling employs the idea of extending partial plans by regularly heeding to the scheduling constraints during search. One of the techniques us...
T. K. Satish Kumar
ICDE
2006
IEEE
163views Database» more  ICDE 2006»
16 years 7 months ago
A Sampling-Based Approach to Optimizing Top-k Queries in Sensor Networks
Wireless sensor networks generate a vast amount of data. This data, however, must be sparingly extracted to conserve energy, usually the most precious resource in battery-powered ...
Adam Silberstein, Carla Schlatter Ellis, Jun Yang ...
IROS
2008
IEEE
161views Robotics» more  IROS 2008»
16 years 25 days ago
A perception mechanism for supporting autonomous intersection handling in urban driving
Abstract— Knowledge of the driving environment is essential for robotic vehicles to comply with traffic rules while autonomously traversing intersections. However, due to limite...
Young-Woo Seo, Chris Urmson
ATAL
2007
Springer
16 years 19 days ago
Real-time agent characterization and prediction
Reasoning about agents that we observe in the world is challenging. Our available information is often limited to observations of the agent’s external behavior in the past and p...
H. Van Dyke Parunak, Sven Brueckner, Robert S. Mat...