Sciweavers

AAAI
2006
15 years 2 months ago
Model Counting: A New Strategy for Obtaining Good Bounds
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...
Carla P. Gomes, Ashish Sabharwal, Bart Selman
107
Voted
AAAI
2006
15 years 2 months ago
Embedding Heterogeneous Data Using Statistical Models
Embedding algorithms are a method for revealing low dimensional structure in complex data. Most embedding algorithms are designed to handle objects of a single type for which pair...
Amir Globerson, Gal Chechik, Fernando Pereira, Naf...
48
Voted
AAAI
2006
15 years 2 months ago
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
Simon de Givry, Thomas Schiex, Gérard Verfa...
53
Voted
AAAI
2006
15 years 2 months ago
On the Update of Description Logic Ontologies at the Instance Level
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...
49
Voted
AAAI
2006
15 years 2 months ago
Length-Lex Ordering for Set CSPs
Carmen Gervet, Pascal Van Hentenryck
71
Voted
AAAI
2006
15 years 2 months ago
Incremental Least-Squares Temporal Difference Learning
Alborz Geramifard, Michael H. Bowling, Richard S. ...
53
Voted
AAAI
2006
15 years 2 months ago
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, Yuliya Lierler
108
Voted
AAAI
2006
15 years 2 months ago
Table Extraction Using Spatial Reasoning on the CSS2 Visual Box Model
Tables on web pages contain a huge amount of semantically explicit information, which makes them a worthwhile target for automatic information extraction and knowledge acquisition...
Wolfgang Gatterbauer, Paul Bohunsky
107
Voted
AAAI
2006
15 years 2 months ago
Mixed Collaborative and Content-Based Filtering with User-Contributed Semantic Features
We describe a recommender system which uses a unique combination of content-based and collaborative methods to suggest items of interest to users, and also to learn and exploit it...
Matthew Garden, Gregory Dudek