Sciweavers

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