989 search results - page 81 / 198 » Version spaces and the consistency problem |
175
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
144
click to vote
IVS
2002
15 years 5 months ago
2002
In this paper, the authors propose Zoomable User Interfaces as an alternative presentation medium to address several common presentation problems. Zoomable User Interfaces offer n...
152
Voted
CVPR
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper introduces a new representation for planar curves. From the well-known Dirichlet problem for a disk, the harmonic function embedded in a circular disk is solely depende...
141
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
133
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...