3616 search results - page 380 / 724 » Conditional Memory Ordering |
133
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...
115
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
146
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
Naive Bayes models have been widely used for clustering and classification. However, they are seldom used for general probabilistic learning and inference (i.e., for estimating an...
150
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Quantifier reasoning in Satisfiability Modulo Theories (SMT) is a long-standing challenge. The practical method employed in modern SMT solvers is to instantiate quantified formulas...
248
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...