Sciweavers

1930 search results - page 27 / 386
» Learning to Solve QBF
Sort
View
CODES
2010
IEEE
13 years 5 months ago
Improving platform-based system synthesis by satisfiability modulo theories solving
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
Felix Reimann, Michael Glaß, Christian Haube...
MLDM
2007
Springer
14 years 1 months ago
Discovering Plausible Explanations of Carcinogenecity in Chemical Compounds
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
Eva Armengol
ECAI
1990
Springer
13 years 11 months ago
Knowledge-Intensive Case-Based Reasoning and Sustained Learning
In case-based reasoning (CBR) a problem is solved by matching the problem description to a previously solved case, using the past solution in solving the new problem. A case-based...
Agnar Aamodt
COLT
2006
Springer
13 years 11 months ago
Discriminative Learning Can Succeed Where Generative Learning Fails
Generative algorithms for learning classifiers use training data to separately estimate a probability model for each class. New items are classified by comparing their probabiliti...
Philip M. Long, Rocco A. Servedio
ICMLC
2005
Springer
14 years 1 months ago
Kernel-Based Metric Adaptation with Pairwise Constraints
Abstract. Many supervised and unsupervised learning algorithms depend on the choice of an appropriate distance metric. While metric learning for supervised learning tasks has a lon...
Hong Chang, Dit-Yan Yeung