9405 search results - page 1104 / 1881 » Computing a Model of Set Theory |
197
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
208
click to vote
HIPC
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
239
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Image classification and annotation are important problems
in computer vision, but rarely considered together. Intuitively,
annotations provide evidence for the class label,
and...
231
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...
214
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Markov random fields (MRFs) are popular and generic probabilistic models of prior knowledge in low-level vision. Yet their generative properties are rarely examined, while applica...