Sciweavers

9119 search results - page 72 / 1824
» A Simultaneous Search Problem
Sort
View
CADE
2006
Springer
14 years 10 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
GECCO
2004
Springer
14 years 3 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...
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
14 years 3 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»
14 years 2 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
ECCV
2006
Springer
14 years 1 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...