8780 search results - page 60 / 1756 » On the Feasibility of Consistent Computations |
178
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
An iterative method for reconstructing a 3D polygonal mesh and color texture map from multiple views of an object is presented. In each iteration, the method first estimates a tex...
181
click to vote
COMPUTER
1998
15 years 6 months ago
1998
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...
192
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...
183
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Model selection in unsupervised learning is a hard problem. In this paper a simple selection criterion for hyperparameters in one-class classifiers (OCCs) is proposed. It makes us...
144
click to vote
RTA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...