1940 search results - page 312 / 388 » Search with Synonyms: Problems and Solutions |
163
click to vote
EMMCVPR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we present a novel successive relaxation linear programming scheme for solving the important class of consistent labeling problems for which an L1 metric i...
148
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
One of the principal problems of online help is the mismatch between the specialized knowledge and technical vocabulary of experts who are providing the help, and the relative naÃ...
161
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a modification of the particle swarm optimization algorithm (PSO) intended to combat the problem of premature convergence observed in many applications of PSO. ...
156
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...
187
click to vote
AMAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...