3690 search results - page 573 / 738 » Computation with classical sequents |
85
Voted
ICPR
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper we introduce a new deformable model, called eigensnake, for segmentation of elongated structures in a probabilistic framework. Instead of snake attraction by speciļ¬...
VVS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a fast algorithm for the volume conversion and rendering of CSG models constructed from both geometric and volumetric primitives. Using 3D texture mapping and...
STOC
2000
ACM
15 years 2 months ago
2000
ACM
We consider the design of self-testers for quantum gates. A self-tester for the gates F 1, . . . , F m is a procedure that, given any gates G1, . . . , Gm, decides with high probab...
70
Voted
COLT
2000
Springer
15 years 2 months ago
2000
Springer
We study model selection strategies based on penalized empirical loss minimization. We point out a tight relationship between error estimation and data-based complexity penalizatio...
75
Voted
CSL
2000
Springer
15 years 2 months ago
2000
Springer
We deļ¬ne three composition and structuring concepts which reļ¬ect frequently used reļ¬nements of ASMs and integrate standard structuring constructs into the global state based ...