Sciweavers

461 search results - page 18 / 93
» Continual On-Line Planning
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 1 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
SSD
2007
Springer
171views Database» more  SSD 2007»
15 years 3 months ago
Transformation of Continuous Aggregation Join Queries over Data Streams
We address continuously processing an aggregation join query over data streams. Queries of this type involve both join and aggregation operations, with windows specified on join ...
Tri Minh Tran, Byung Suk Lee
PUK
2000
14 years 11 months ago
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
Jun Miura, Yoshiaki Shirai
IROS
2009
IEEE
149views Robotics» more  IROS 2009»
15 years 4 months ago
Path planning for data assimilation in mobile environmental monitoring systems
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
Franz S. Hover
CAISE
2007
Springer
15 years 4 months ago
Peer-to-Peer Execution of BPEL Processes
This paper presents a peer-to-peer approach to execution of BPEL processes. It does not pre-allocate resources as in existing decentralized approaches. Nor does it involve global c...
Weihai Yu