Sciweavers

4609 search results - page 695 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
MICRO
2010
IEEE
175views Hardware» more  MICRO 2010»
15 years 4 months ago
Efficient Selection of Vector Instructions Using Dynamic Programming
Accelerating program performance via SIMD vector units is very common in modern processors, as evidenced by the use of SSE, MMX, VSE, and VSX SIMD instructions in multimedia, scien...
Rajkishore Barik, Jisheng Zhao, Vivek Sarkar
DLOG
2009
15 years 4 months ago
Explaining by Example: Model Exploration for Ontology Comprehension
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
Johannes Bauer, Ulrike Sattler, Bijan Parsia
CVPR
1999
IEEE
16 years 8 months ago
Extracting Textured Vertical Facades From Controlled Close-Range Imagery
We are developing a system to extract geodetic, textured CAD models from thousands of initially uncontrolled, close-range ground and aerial images of urban scenes. Here we describ...
Satyan R. Coorg, Seth J. Teller
CVPR
1999
IEEE
16 years 8 months ago
Radiometric Self Calibration
A simple algorithm is described that computes the radiometric responsefunction of an imaging system,from images of an arbitrar), scene taken using different exposures. The exposur...
Tomoo Mitsunaga, Shree K. Nayar
CVPR
2001
IEEE
16 years 8 months ago
A Weighted Non-Negative Matrix Factorization for Local Representations
This paper presents an improvement of the classical Non-negative Matrix Factorization (NMF) approach, for dealing with local representations of image objects. NMF, when applied to...
David Guillamet, Jordi Vitrià, Marco Bressa...