Sciweavers

998 search results - page 76 / 200
» From Feasible Proofs to Feasible Computations
Sort
View
ICASSP
2009
IEEE
14 years 3 months ago
CMOS compressed imaging by Random Convolution
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
Laurent Jacques, Pierre Vandergheynst, Alexandre B...
LAWEB
2009
IEEE
14 years 3 months ago
An Architecture for Finding Entities on the Web
Abstract—Recent progress in research fields such as Information Extraction and Information Retrieval enables the creation of systems providing better search experiences to web u...
Gianluca Demartini, Claudiu S. Firan, Mihai George...
CAIP
2009
Springer
246views Image Analysis» more  CAIP 2009»
14 years 3 months ago
Human Age Estimation by Metric Learning for Regression Problems
Abstract. The estimation of human age from face images is an interesting problem in computer vision. We proposed a general distance metric learning scheme for regression problems, ...
Yangjing Long
ICMT
2009
Springer
14 years 3 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
QEST
2007
IEEE
14 years 3 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns