Sciweavers

3022 search results - page 102 / 605
» From plans to planning: the case of nursing plans
Sort
View
AAAI
2000
15 years 13 days ago
From Causal Theories to Successor State Axioms and STRIPS-Like Systems
We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify th...
Fangzhen Lin
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 3 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
JACM
2012
13 years 1 months ago
Continuous sampling from distributed streams
A fundamental problem in data management is to draw and maintain a sample of a large data set, for approximate query answering, selectivity estimation, and query planning. With la...
Graham Cormode, S. Muthukrishnan, Ke Yi, Qin Zhang
CDC
2008
IEEE
156views Control Systems» more  CDC 2008»
15 years 5 months ago
On-line, kinodynamic trajectory generation through rectangular channels using path and motion primitives
— We present a motion planning scheme for ground vehicles operating in a partially known environment. Kinematic constraints stemming from vehicle dynamics and from the requiremen...
Efstathios Bakolas, Panagiotis Tsiotras
DFG
2007
Springer
15 years 5 months ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel