1578 search results - page 238 / 316 » Induction of Stable Models |
112
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
105
Voted
NFM
2011
14 years 7 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
88
Voted
AGI
2011
14 years 4 months ago
2011
Compression has been advocated as one of the principles which pervades inductive inference and prediction - and, from there, it has also been recurrent in definitions and tests of...
136
Voted
EMNLP
2011
14 years 14 days ago
2011
In this paper, we consider the problem of unsupervised morphological analysis from a new angle. Past work has endeavored to design unsupervised learning methods which explicitly o...
134
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...