Sciweavers

6413 search results - page 632 / 1283
» Classes of cycle bases
Sort
View
EKAW
2000
Springer
15 years 11 months ago
KIDS: An Iterative Algorithm to Organize Relational Knowledge
The goal of conceptual clustering is to build a set of embedded classes, which cluster objects based on their similarities. Knowledge organization aims at generating the set of mos...
Isabelle Bournaud, Mélanie Courtine, Jean-D...
KES
2000
Springer
15 years 11 months ago
Multi-view face detection using support vector machines and eigenspace modelling
An approach to multi-view face detection based on head pose estimation is presented in this paper. Support Vector Regression is employed to solve the problem of pose estimation. T...
Yongmin Li, Shaogang Gong, Jamie Sherrah, Heather ...
CP
1995
Springer
15 years 11 months ago
Optimization-based Heuristics for Maximal Constraint Satisfaction
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
Javier Larrosa, Pedro Meseguer
CAV
2010
Springer
206views Hardware» more  CAV 2010»
15 years 10 months ago
Dynamic Cutoff Detection in Parameterized Concurrent Programs
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
Alexander Kaiser, Daniel Kroening, Thomas Wahl
CVPR
2008
IEEE
15 years 9 months ago
Optimizing discrimination-efficiency tradeoff in integrating heterogeneous local features for object detection
A large variety of image features has been invented for detection of objects of a known class. We propose a framework to optimize the discrimination-efficiency tradeoff in integra...
Bo Wu, Ram Nevatia