2877 search results - page 315 / 576 » The Complexity of Planarity Testing |
128
click to vote
MVA
1994
15 years 8 months ago
1994
This paper presents a new approach including passive and actriveprocesses to deal with the image segmentation and pattern recognition to a color blindness plate (CBP). The CBP is ...
190
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
202
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Evolution Strategies (ES) for black-box optimization of a function f : Rn → R are investigated. Namely, we consider the cumulative step-size adaptation (CSA) for the variance of...
150
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Maintaining diversity is important for the performance of evolutionary algorithms. Diversity mechanisms can enhance global exploration of the search space and enable crossover to ...
197
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...