Sciweavers

9119 search results - page 72 / 1824
» A Simultaneous Search Problem
Sort
View
118
Voted
CADE
2006
Springer
16 years 3 months ago
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
115
Voted
GECCO
2004
Springer
15 years 8 months ago
GA-Facilitated Knowledge Discovery and Pattern Recognition Optimization Applied to the Biochemistry of Protein Solvation
Abstract. The authors present a GA optimization technique for cosinebased k-nearest neighbors classification that improves predictive accuracy in a class-balanced manner while sim...
Michael R. Peterson, Travis E. Doom, Michael L. Ra...
99
Voted
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 8 months ago
Incremental low-discrepancy lattice methods for motion planning
We present deterministic sequences for use in sampling-based approaches to motion planning. They simultaneously combine the qualities found in many other sequences: i) the increme...
Stephen R. Lindemann, Steven M. LaValle
GECCO
2009
Springer
131views Optimization» more  GECCO 2009»
15 years 7 months ago
Rapid prototyping using evolutionary approaches: part 1
In this paper we describe a multi-objective problem solving approach, simultaneously minimizing average surface roughness Ra and build Time T, for object manufacturing by Rapid Pr...
Nikhil Padhye, Subodh Kalia
149
Voted
ECCV
2006
Springer
15 years 6 months ago
Consistent and Elastic Registration of Histological Sections Using Vector-Spline Regularization
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
Ignacio Arganda-Carreras, Carlos Oscar Sánc...