Sciweavers

89 search results - page 12 / 18
» Using Validation Sets to Avoid Overfitting in AdaBoost
Sort
View
ICRA
2005
IEEE
120views Robotics» more  ICRA 2005»
15 years 3 months ago
Complex Objects Pose Estimation based on Image Moment Invariants
— Moments are generic (and usually intuitive) descriptors that can be computed from several kinds of objects defined either from closed contours or from a set of points. In this...
Omar Tahri, François Chaumette
IROS
2007
IEEE
149views Robotics» more  IROS 2007»
15 years 3 months ago
A decentralized planner that guarantees the safety of communicating vehicles with complex dynamics that replan online
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E...
ICEIS
2006
IEEE
15 years 3 months ago
Filtering Unsatisfiable XPATH Queries
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
Jinghua Groppe, Sven Groppe
SPLC
2008
14 years 11 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...
79
Voted
CAV
2009
Springer
187views Hardware» more  CAV 2009»
15 years 10 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann