Sciweavers

2445 search results - page 350 / 489
» The Problem with Evolutionary Art Is ..
Sort
View
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
14 years 12 months ago
Algorithms for Maximum Satisfiability using Unsatisfiable Cores
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
João Marques-Silva, Jordi Planes
AAAI
2010
14 years 11 months ago
Collaborative Expert Portfolio Management
We consider the task of assigning experts from a portfolio of specialists in order to solve a set of tasks. We apply a Bayesian model which combines collaborative filtering with a...
David H. Stern, Horst Samulowitz, Ralf Herbrich, T...
AAAI
2010
14 years 11 months ago
Local Search in Histogram Construction
The problem of dividing a sequence of values into segments occurs in database systems, information retrieval, and knowledge management. The challenge is to select a finite number ...
Felix Halim, Panagiotis Karras, Roland H. C. Yap
BIS
2010
227views Business» more  BIS 2010»
14 years 11 months ago
Using SPARQL and SPIN for Data Quality Management on the Semantic Web
The quality of data is a key factor that determines the performance of information systems, in particular with regard (1) to the amount of exceptions in the execution of business p...
Christian Fürber, Martin Hepp
IJCAI
2007
14 years 11 months ago
All Common Subsequences
Time series data abounds in real world problems. Measuring the similarity of time series is a key to solving these problems. One state of the art measure is the longest common sub...
Hui Wang