Sciweavers

4930 search results - page 902 / 986
» Learning minimal abstractions
Sort
View
95
Voted
CAV
2012
Springer
243views Hardware» more  CAV 2012»
13 years 3 months ago
SPT: Storyboard Programming Tool
elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in...
Rishabh Singh, Armando Solar-Lezama
125
Voted
CVPR
2012
IEEE
13 years 3 months ago
Meta-class features for large-scale object categorization on a budget
In this paper we introduce a novel image descriptor enabling accurate object categorization even with linear models. Akin to the popular attribute descriptors, our feature vector ...
Alessandro Bergamo, Lorenzo Torresani
PKC
2012
Springer
255views Cryptology» more  PKC 2012»
13 years 3 months ago
Strongly Secure Authenticated Key Exchange from Factoring, Codes, and Lattices
Abstract. An unresolved problem in research on authenticated key exchange (AKE) is to construct a secure protocol against advanced attacks such as key compromise impersonation and ...
Atsushi Fujioka, Koutarou Suzuki, Keita Xagawa, Ka...
110
Voted
ECCV
2008
Springer
16 years 2 months ago
Compressive Sensing for Background Subtraction
Abstract. Compressive sensing (CS) is an emerging field that provides a framework for image recovery using sub-Nyquist sampling rates. The CS theory shows that a signal can be reco...
Volkan Cevher, Aswin C. Sankaranarayanan, Marco F....
ECCV
2006
Springer
16 years 2 months ago
Database-Guided Simultaneous Multi-slice 3D Segmentation for Volumetric Data
Abstract. Automatic delineation of anatomical structures in 3-D volumetric data is a challenging task due to the complexity of the object appearance as well as the quantity of info...
Wei Hong, Bogdan Georgescu, Xiang Sean Zhou, Srira...