Sciweavers

1494 search results - page 153 / 299
» Kernels for Global Constraints
Sort
View
LICS
2007
IEEE
14 years 3 months ago
Tractability and learnability arising from algebras with few subpowers
A k-edge operation ϕ on a finite set A is a k + 1-ary operation that satisfies the identities ϕ(x, x, y, . . . , y) ≈ ϕ(x, y, x, y, . . . , y) ≈ y and ϕ(y, y, y, x, y, ....
Pawel M. Idziak, Petar Markovic, Ralph McKenzie, M...
IROS
2006
IEEE
112views Robotics» more  IROS 2006»
14 years 3 months ago
Pose and Motion from Omnidirectional Optical Flow and a Digital Terrain Map
— An algorithm for pose and motion estimation using corresponding features in omnidirectional images and a digital terrain map is proposed. In previous paper, such algorithm for ...
Ronen Lerner, Oleg Kupervasser, Ehud Rivlin
PPDP
2005
Springer
14 years 3 months ago
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
Alessandro Dal Palù, Agostino Dovier, Enric...
CA
2000
IEEE
14 years 2 months ago
Accurate Collision Response on Polygonal Meshes
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
Pascal Volino, Nadia Magnenat-Thalmann
ICTAI
1996
IEEE
14 years 1 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok