153
Voted
JELIA
1992
Springer
15 years 12 months ago
1992
Springer
166
Voted
IEAAIE
1992
Springer
15 years 12 months ago
1992
Springer
Abstract.Tounderstandthemeaningofanimageorimagesequence,toreducetheeffortinthedesignprocessandincreasethereliabilityandthereusabilityofimageunderstandingsystems,awide spectrumofAI ...
229
click to vote
ICTAI
1992
IEEE
15 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...
195
Voted
ICTAI
1992
IEEE
15 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...
160
Voted
ICTAI
1992
IEEE
15 years 12 months ago
1992
IEEE
201
Voted
LFCS
1994
Springer
15 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...
158
Voted
LFCS
1994
Springer
15 years 12 months ago
1994
Springer
209
Voted
LFCS
1994
Springer
15 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...