Sciweavers

945 search results - page 176 / 189
» Improved Boosting Algorithms using Confidence-Rated Predicti...
Sort
View
DAC
2004
ACM
14 years 9 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...
CVPR
2010
IEEE
14 years 5 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
ACMICEC
2006
ACM
157views ECommerce» more  ACMICEC 2006»
14 years 2 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»
14 years 1 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
14 years 1 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