Sciweavers

6059 search results - page 267 / 1212
» A Technique for Verifying Measurements
Sort
View
AUSDM
2008
Springer
229views Data Mining» more  AUSDM 2008»
15 years 8 months ago
Minors as Miners - Modelling and Evaluating Ontological and Linguistic Learning
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
David M. W. Powers
190
Voted
CVPR
2004
IEEE
16 years 8 months ago
Linear Model Hashing and Batch RANSAC for Rapid and Accurate Object Recognition
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...
Ying Shan, Bogdan Matei, Harpreet S. Sawhney, Rake...
POPL
2009
ACM
16 years 7 months ago
Formal certification of code-based cryptographic proofs
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
Benjamin Grégoire, Gilles Barthe, Santiago ...
CVPR
2000
IEEE
16 years 8 months ago
In Search of Illumination Invariants
We consider the problem of determining functions of an image of an object that are insensitive to illumination changes. We rst show that for an object with Lambertian r e e ctanc ...
Hansen F. Chen, Peter N. Belhumeur, David W. Jacob...
WWW
2004
ACM
16 years 7 months ago
Affinity rank: a new scheme for efficient web search
Maximizing only the relevance between queries and documents will not satisfy users if they want the top search results to present a wide coverage of topics by a few representative...
Yi Liu, Benyu Zhang, Zheng Chen, Michael R. Lyu, W...