1071 search results - page 130 / 215 » Solving Geometric Constraint Systems |
139
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
We propose an improved restart strategy for randomized backtrack search, and evaluate its performance by comparing to other heuristic and stochastic search techniques for solving r...
148
Voted
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose a method to demosaick images acquired with a completely arbitrary color filter array (CFA). We adopt a variational approach where the reconstructed image has maximal sm...
144
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
165
Voted
WSC
2007
15 years 6 months ago
2007
This paper describes two experiments exploring the potential of the Kriging methodology for constrained simulation optimization. Both experiments study an (s, S) inventory system ...
154
Voted
AMDO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...