14379 search results - page 2835 / 2876 » is 2000 |
115
click to vote
CORR
2000
Springer
15 years 10 days ago
2000
Springer
When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-off between expressive power and efficiency. Inductive logic programming ...
107
Voted
CORR
2000
Springer
15 years 10 days ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
97
Voted
CORR
2000
Springer
15 years 10 days ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
103
click to vote
CORR
2000
Springer
15 years 10 days ago
2000
Springer
While Kolmogorov complexity is the accepted absolute measure of information content of an individual finite object, a similarly absolute notion is needed for the relation between a...
CVGIP
2000
15 years 10 days ago
2000
We presenta group of methods of decomposingan arbitrary 3D volume rotation into a sequenceof simple shear(i.e., regular shift) operations. We explore different types of shear oper...