Sciweavers

2725 search results - page 86 / 545
» Constraint Solving for Interpolation
Sort
View
ICIP
1998
IEEE
16 years 2 months ago
A Fast and Robust Point Tracking Algorithm
We present an algorithm that efficiently tracks a predefined set of landmark points in a time sequence of images. The algorithm iteratively optimizes the correspondences between t...
Cor J. Veenman, Emile A. Hendriks, Marcel J. T. Re...
98
Voted
ECAI
2006
Springer
15 years 2 months ago
Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis
We use a lexicographical preference order on the problem space to combine solution synthesis with conflict learning. Given two preferred solutions of two subproblems, we can either...
Ulrich Junker, Olivier Lhomme
98
Voted
CP
2001
Springer
15 years 5 months ago
New Lower Bounds of Constraint Violations for Over-Constrained Problems
In recent years, many works have been carried out to solve over-constrained problems, and more speci cally the Maximal Constraint Satisfaction Problem (Max-CSP), where the goal is ...
Jean-Charles Régin, Thierry Petit, Christia...
107
Voted
ENTCS
2008
85views more  ENTCS 2008»
15 years 25 days ago
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers
Proofs of termination in term rewriting involve solving constraints between terms coming from (parts of) the rules of the term rewriting system. A common way to deal with such con...
Salvador Lucas, Rafael Navarro-Marset
ROBOCUP
2004
Springer
114views Robotics» more  ROBOCUP 2004»
15 years 6 months ago
Evolutionary Gait-Optimization Using a Fitness Function Based on Proprioception
Abstract. This paper presents a new approach to optimize gait parameter sets using evolutionary algorithms. It separates the crossover-step of the evolutionary algorithm into an in...
Thomas Röfer