Sciweavers

2634 search results - page 176 / 527
» Faster Than Uppaal
Sort
View
AAAI
2004
15 years 7 months ago
Machine Learning for Fast Quadrupedal Locomotion
For a robot, the ability to get from one place to another is one of the most basic skills. However, locomotion on legged robots is a challenging multidimensional control problem. ...
Nate Kohl, Peter Stone
AAAI
2004
15 years 7 months ago
Branching and Pruning: An Optimal Temporal POCL Planner Based on Constraint Programming
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
Vincent Vidal, Hector Geffner
ACST
2006
15 years 7 months ago
Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
A constraint satisfaction problem (CSP) is a general framework that can formalize various application problems in artificial intelligence. However, practical real-world problems t...
Masato Noto, Masahito Kurihara
CDES
2006
106views Hardware» more  CDES 2006»
15 years 7 months ago
A Novel Essential Prime Implicant Identification Method for Exact Direct Cover Logic Minimization
- Most of the direct-cover Boolean minimization techniques use a four step cyclic algorithm. First, the algorithm chooses an On-minterm; second, it generates the set of prime impli...
Sirzat Kahramanli, Suleyman Tosun
163
Voted
FLAIRS
2004
15 years 7 months ago
Hidden Layer Training via Hessian Matrix Information
The output weight optimization-hidden weight optimization (OWO-HWO) algorithm for training the multilayer perceptron alternately updates the output weights and the hidden weights....
Changhua Yu, Michael T. Manry, Jiang Li