Sciweavers

1592 search results - page 97 / 319
» The state of the email address
Sort
View
ICRA
2007
IEEE
125views Robotics» more  ICRA 2007»
14 years 3 months ago
Single-Query Motion Planning with Utility-Guided Random Trees
— Randomly expanding trees are very effective in exploring high-dimensional spaces. Consequently, they are a powerful algorithmic approach to sampling-based single-query motion p...
Brendan Burns, Oliver Brock
BPM
2007
Springer
155views Business» more  BPM 2007»
14 years 3 months ago
Business Process Simulation for Operational Decision Support
Contemporary business process simulation environments are geared towards design-time analysis, rather than operational decision support over already deployed and running processes....
Moe Thandar Wynn, Marlon Dumas, Colin J. Fidge, Ar...
IAT
2006
IEEE
14 years 3 months ago
A Q-decomposition LRTDP Approach to Resource Allocation
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
ICML
2006
IEEE
14 years 3 months ago
Automatic basis function construction for approximate dynamic programming and reinforcement learning
We address the problem of automatically constructing basis functions for linear approximation of the value function of a Markov Decision Process (MDP). Our work builds on results ...
Philipp W. Keller, Shie Mannor, Doina Precup
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
14 years 2 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng