Sciweavers

668 search results - page 3 / 134
» Hyperrelations in version space
Sort
View
ECML
2005
Springer
13 years 11 months ago
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
Christian Bessière, Remi Coletta, Fré...
KCAP
2003
ACM
13 years 11 months ago
Learning programs from traces using version space algebra
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
Tessa A. Lau, Pedro Domingos, Daniel S. Weld
COLING
2010
13 years 1 months ago
Local Space-Time Smoothing for Version Controlled Documents
Unlike static documents, version controlled documents are continuously edited by one or more authors. Such collaborative revision process makes traditional modeling and visualizat...
Seungyeon Kim, Guy Lebanon
CSR
2011
Springer
12 years 9 months ago
Improving the Space-Bounded Version of Muchnik's Conditional Complexity Theorem via "Naive" Derandomization
Abstract. Many theorems about Kolmogorov complexity rely on existence of combinatorial objects with specific properties. Usually the probabilistic method gives such objects with b...
Daniil Musatov
ECAI
2006
Springer
13 years 10 months ago
Version Space Support Vector Machines
Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, Ge...