3317 search results - page 80 / 664 » Strategies in Rigid-Variable Methods |
121
click to vote
ANOR
2010
15 years 4 months ago
2010
Two metaheuristic methods based on Tabu search are introduced to assign judges to individual competitions in a tournament. The complexity of the mathematical formulation accounting...
138
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a multi-sensor fusion strategy for a novel road-matching method designed to support real-time navigational features within advanced driving-assistance systems....
144
click to vote
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
125
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
The minimization of the wireless cost of tracking mobile users is a crucial issue in wireless networks. Some of the previous strategies addressing this issue leave an open gap, by ...
123
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Recently, a convergence proof of stochastic search algorithms toward finite size Pareto set approximations of continuous multi-objective optimization problems has been given. The...