2841 search results - page 142 / 569 » A Call to Order |
151
click to vote
CP
2007
Springer
16 years 16 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
176
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
Evolution strategy (ES) and particle swarm optimization (PSO) are two of the most popular research topics for tackling real-parameter optimization problems in evolutionary computa...
166
click to vote
IPMI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We propose a novel algorithm called graph-shifts for performing image segmentation and labeling. This algorithm makes use of a dynamic hierarchical representation of the ...
172
click to vote
AINA
2005
IEEE
15 years 12 months ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...
142
click to vote
DATE
2005
IEEE
15 years 12 months ago
2005
IEEE
It is a hot research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. The BFL algorithm is the most effective counterexample minimi...