1465 search results - page 106 / 293 » Making the Correct Mistakes |
179
click to vote
ICIAP
1999
ACM
15 years 10 months ago
1999
ACM
Iterative methods showed until now encouraging results to resolve shape from shading. This kind of methods generally work on synthetic images, and occasionally on real images, eve...
147
click to vote
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
Event identification in photon counting ICCD detectors requires a high level image analysis which cannot be easily described algorithmically: neural networks are promising to appr...
174
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
125
click to vote
COLT
1992
Springer
15 years 10 months ago
1992
Springer
In this paper we initiatean investigationof generalizationsof the ProbablyApproximatelyCorrect (PAC) learningmodelthat attemptto significantlyweakenthe target functionassumptions.T...
169
click to vote
WDAG
1993
Springer
15 years 10 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...