FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
IWANN
1999
Springer
14 years 3 months ago
1999
Springer
The performance characteristics of five variants of the Hopfield network are examined. Two performance metrics are used: memory capacity, and a measure of the size of basins of att...
DAC
2001
ACM
15 years 13 days ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
ICPR
2004
IEEE
15 years 17 days ago
2004
IEEE
It was recently proposed the use of Bayesian networks for object tracking. Bayesian networks allow to model the interaction among detected trajectories, in order to obtain a relia...
CVPR
2005
IEEE
15 years 1 months ago
2005
IEEE
Boosting based detection methods have successfully been used for robust detection of faces and pedestrians. However, a very large amount of labeled examples are required for train...