Sciweavers

945 search results - page 176 / 189
» Improved Boosting Algorithms using Confidence-Rated Predicti...
Sort
View
DAC
2004
ACM
16 years 4 months ago
Refining the SAT decision ordering for bounded model checking
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio So...
146
Voted
CVPR
2010
IEEE
15 years 11 months ago
Combining Discriminative and Generative Methods for 3D Deformable Surface and Articulated Pose Reconstruction
Historically non-rigid shape recovery and articulated pose estimation have evolved as separate fields. Recent methods for non-rigid shape recovery have focused on improving the a...
Mathieu Salzmann, Raquel Urtasun
117
Voted
ACMICEC
2006
ACM
157views ECommerce» more  ACMICEC 2006»
15 years 9 months ago
Adaptive mechanism design: a metalearning approach
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
David Pardoe, Peter Stone, Maytal Saar-Tsechansky,...
3DPVT
2002
IEEE
169views Visualization» more  3DPVT 2002»
15 years 8 months ago
Compression of Isosurfaces for Structured Volumes with Context Modelling
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
Dietmar Saupe, Jens-Peer Kuska
MICCAI
1999
Springer
15 years 7 months ago
Extracting Features from Tactile Maps
Tactile imaging is a newly developed mechanical sensing technology for documenting the properties of hard lumps contained in soft tissue. An examiner strokes a scan head across tis...
Parris S. Wellman, Robert D. Howe