Sciweavers

5578 search results - page 488 / 1116
» Base Class Injection
Sort
View
KES
2000
Springer
15 years 10 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 10 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 8 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
IIWAS
2008
15 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...