166 search results - page 32 / 34 » iis 2000 |
AIS
2000
Springer
13 years 8 months ago
2000
Springer
The expression 'nature of the artificial' can be understood in (at least) two distinct, yet possibly related, senses as denoting (i) the essence (or whatness) of the art...
CORR
2000
Springer
13 years 8 months 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...
CORR
2000
Springer
13 years 8 months 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...
IJCV
2000
13 years 8 months ago
2000
In this paper we show that a classic optical ow technique by Nagel and Enkelmann (1986) can be regarded as an early anisotropic di usion method with a di usion tensor. We introduc...
IJPRAI
2000
13 years 8 months ago
2000
Abstract A knowledge-guided approach to automatic classification of Coastal Zone Color images of the West Florida Shelf is described. The approach is used to identify red tides on ...