Sciweavers

7006 search results - page 1127 / 1402
» Approximation Algorithms
Sort
View
IJCV
2006
166views more  IJCV 2006»
15 years 6 months ago
Fast Constrained Surface Extraction by Minimal Paths
A new approach performing surface extraction from 3D images under user defined geometrical constraints is presented. The constraints are introduced through boundary curves given by...
Roberto Ardon, Laurent D. Cohen
JAIR
2008
120views more  JAIR 2008»
15 years 6 months ago
Anytime Induction of Low-cost, Low-error Classifiers: a Sampling-based Approach
Machine learning techniques are gaining prevalence in the production of a wide range of classifiers for complex real-world applications with nonuniform testing and misclassificati...
Saher Esmeir, Shaul Markovitch
IJON
2006
90views more  IJON 2006»
15 years 6 months ago
Reinforcement learning of a simple control task using the spike response model
In this work, we propose a variation of a direct reinforcement learning algorithm, suitable for usage with spiking neurons based on the spike response model (SRM). The SRM is a bi...
Murilo Saraiva de Queiroz, Roberto Coelho de Berr&...
IJRR
2006
88views more  IJRR 2006»
15 years 6 months ago
Multi-robot Simultaneous Localization and Mapping using Particle Filters
Abstract-- This paper describes an on-line algorithm for multirobot simultaneous localization and mapping (SLAM). We take as our starting point the single-robot Rao-Blackwellized p...
Andrew Howard
JFP
2008
125views more  JFP 2008»
15 years 6 months ago
Types and trace effects of higher order programs
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
Christian Skalka, Scott F. Smith, David Van Horn
« Prev « First page 1127 / 1402 Last » Next »