Sciweavers

AAAI
2006
14 years 7 days 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
AAAI
2006
14 years 7 days 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...
AAAI
2006
14 years 7 days ago
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP
Simon de Givry, Thomas Schiex, Gérard Verfa...
AAAI
2006
14 years 7 days ago
On the Update of Description Logic Ontologies at the Instance Level
Giuseppe De Giacomo, Maurizio Lenzerini, Antonella...
AAAI
2006
14 years 7 days ago
Length-Lex Ordering for Set CSPs
Carmen Gervet, Pascal Van Hentenryck
AAAI
2006
14 years 7 days ago
Incremental Least-Squares Temporal Difference Learning
Alborz Geramifard, Michael H. Bowling, Richard S. ...
AAAI
2006
14 years 7 days ago
Elementary Sets of Logic Programs
Martin Gebser, Joohyung Lee, Yuliya Lierler
AAAI
2006
14 years 7 days 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
AAAI
2006
14 years 7 days 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