1974 search results - page 163 / 395 » Conditional Purchase Orders |
127
click to vote
ICML
2006
IEEE
16 years 5 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...
152
click to vote
ICML
2005
IEEE
16 years 5 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...
162
click to vote
CAV
2009
Springer
16 years 5 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...
262
click to vote
POPL
2008
ACM
16 years 5 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...
169
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...