JELIA
1992
Springer
13 years 12 months ago
1992
Springer
WLP
1993
Springer
13 years 12 months ago
1993
Springer
IEAAIE
1992
Springer
13 years 12 months ago
1992
Springer
Abstract.Tounderstandthemeaningofanimageorimagesequence,toreducetheeffortinthedesignprocessandincreasethereliabilityandthereusabilityofimageunderstandingsystems,awide spectrumofAI ...
ICTAI
1992
IEEE
13 years 12 months ago
1992
IEEE
This paper describes an approach being explored to improve the usefulness of machine learning techniques for generating classification rules for complex, real world data. The appr...
ICTAI
1992
IEEE
13 years 12 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
ICTAI
1992
IEEE
13 years 12 months ago
1992
IEEE
LFCS
1994
Springer
13 years 12 months ago
1994
Springer
LFCS
1994
Springer
13 years 12 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
LFCS
1994
Springer
13 years 12 months ago
1994
Springer
LFCS
1994
Springer
13 years 12 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...