84
Voted
JELIA
1992
Springer
15 years 6 months ago
1992
Springer
73
Voted
WLP
1993
Springer
15 years 6 months ago
1993
Springer
85
Voted
IEAAIE
1992
Springer
15 years 6 months ago
1992
Springer
Abstract.Tounderstandthemeaningofanimageorimagesequence,toreducetheeffortinthedesignprocessandincreasethereliabilityandthereusabilityofimageunderstandingsystems,awide spectrumofAI ...
139
Voted
ICTAI
1992
IEEE
15 years 6 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...
114
Voted
ICTAI
1992
IEEE
15 years 6 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...
90
Voted
ICTAI
1992
IEEE
15 years 6 months ago
1992
IEEE
LFCS
1994
Springer
15 years 6 months ago
1994
Springer
129
click to vote
LFCS
1994
Springer
15 years 6 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
15 years 6 months ago
1994
Springer
115
click to vote
LFCS
1994
Springer
15 years 6 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...