Sciweavers

921 search results - page 105 / 185
» New Data Structures for Orthogonal Range Searching
Sort
View
IJCAI
2003
15 years 5 months ago
Efficient Symmetry Breaking for Boolean Satisfiability
Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
ICPR
2002
IEEE
16 years 5 months ago
Radial Projections for Non-Linear Feature Extraction
In this work, two new techniques for non-linear feature extraction are presented. In these techniques, new features are obtained as radial projections of the original measurements...
Alberto J. Pérez Jiménez, Juan Carlo...
CP
2005
Springer
15 years 10 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona
JCNS
2000
120views more  JCNS 2000»
15 years 4 months ago
Robust Spectrotemporal Reverse Correlation for the Auditory System: Optimizing Stimulus Design
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
David J. Klein, Didier A. Depireux, Jonathan Z. Si...
ROBOCUP
2005
Springer
115views Robotics» more  ROBOCUP 2005»
15 years 10 months ago
3D Mapping with Semantic Knowledge
Abstract. A basic task of rescue robot systems is mapping of the environment. Localizing injured persons, guiding rescue workers and excavation equipment requires a precise 3D map ...
Andreas Nüchter, Oliver Wulf, Kai Lingemann, ...