Sciweavers

39 search results - page 5 / 8
» Generation and Empirical Investigation of hv -Convex Discret...
Sort
View
NIPS
2004
15 years 1 months ago
Coarticulation in Markov Decision Processes
We investigate an approach for simultaneously committing to multiple activities, each modeled as a temporally extended action in a semi-Markov decision process (SMDP). For each ac...
Khashayar Rohanimanesh, Robert Platt Jr., Sridhar ...
AIPS
2008
15 years 2 months ago
An Online Learning Method for Improving Over-Subscription Planning
Despite the recent resurgence of interest in learning methods for planning, most such efforts are still focused exclusively on classical planning problems. In this work, we invest...
Sung Wook Yoon, J. Benton, Subbarao Kambhampati
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
15 years 6 months ago
Thermally constrained motor operation for a climbing robot
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
Salomon Trujillo, Mark R. Cutkosky
ESEC
1995
Springer
15 years 3 months ago
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance
This paper presents the results of an exploratory experiment investigating the use of program metrics to predict reachability graph size, reachability graph generation time, and d...
A. T. Chamillard
JSS
2002
101views more  JSS 2002»
14 years 11 months ago
Software requirements validation via task analysis
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai