Sciweavers

656 search results - page 75 / 132
» Parameterized Types for Java
Sort
View
AIPS
2008
13 years 10 months ago
Fast Planning for Dynamic Preferences
We present an algorithm that quickly finds optimal plans for unforeseen agent preferences within graph-based planning domains where actions have deterministic outcomes and action ...
Brian Ziebart, Anind K. Dey, J. Andrew Bagnell
UAI
1998
13 years 9 months ago
Large Deviation Methods for Approximate Probabilistic Inference
We study two-layer belief networks of binary random variables in which the conditional probabilities Pr childjparents depend monotonically on weighted sums of the parents. In larg...
Michael J. Kearns, Lawrence K. Saul
CGF
2010
155views more  CGF 2010»
13 years 8 months ago
Feature based terrain generation using diffusion equation
This paper presents a diffusion method for generating terrains from a set of parameterized curves that characterize the landform features such as ridge lines, riverbeds or cliffs....
Houssam Hnaidi, Eric Guérin, Samir Akkouche...
ICRA
2010
IEEE
173views Robotics» more  ICRA 2010»
13 years 6 months ago
A skill-based motion planning framework for humanoids
— This paper presents a multi-skill motion planner which is able to sequentially synchronize parameterized motion skills in order to achieve humanoid motions exhibiting complex w...
Marcelo Kallmann, Yazhou Huang, Robert Backman
ICSE
2003
IEEE-ACM
14 years 8 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...