834 search results - page 124 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
166
click to vote
TOG
2012
13 years 6 months ago
2012
We present a technique for automatically synthesizing walking and running controllers for physically-simulated 3D humanoid characters. The sagittal hip, knee, and ankle degrees-of...
138
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a theoretical definition for designing EDAs called Elitist Convergent Estimation of Distribution Algorithm (ECEDA), and a practical implementation: the Boltzm...
122
click to vote
AUTOMATICA
2004
15 years 3 months ago
2004
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
139
click to vote
CRV
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
106
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...