36 search results - page 1 / 8 » er 1995 |
CAIP
1995
Springer
13 years 8 months ago
1995
Springer
This paper describes tools for character string recognition on maps. Single character recognition is performed using elliptical Fourier descriptors applying a statistical classi er...
DOOD
1995
Springer
13 years 8 months ago
1995
Springer
This paper presents an overview of data mining techniques in the context of of the deductiveinductive cycle model. The claim made in this paper is that a combination of both of th...
ER
1995
Springer
13 years 8 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
LICS
1995
IEEE
13 years 8 months ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
FP
1995
13 years 8 months ago
1995
We present a type reconstruction algorithm for SCIR 10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cau...