5165 search results - page 557 / 1033 » Consistency of the Neighbor-Net Algorithm |
197
click to vote
ACSD
2007
IEEE
15 years 8 months ago
2007
IEEE
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
170
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
216
click to vote
AAAI
2010
15 years 8 months ago
2010
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...
204
click to vote
AAAI
2010
15 years 8 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...
160
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Performance prediction has gained increasing attention in the IR field since the half of the past decade and has become an established research topic in the field. The present work...