Sciweavers

2052 search results - page 61 / 411
» Direct Combination
Sort
View
DIAL
2006
IEEE
167views Image Analysis» more  DIAL 2006»
15 years 9 months ago
Tree clustering for layout-based document image retrieval
We describe a system for the retrieval on the basis of layout similarity of document images belonging to collections stored in digital libraries. Layout regions are extracted and ...
Simone Marinai, Emanuele Marino, Giovanni Soda
DATE
1999
IEEE
86views Hardware» more  DATE 1999»
15 years 7 months ago
Glitch Power Minimization by Gate Freezing
This paper presents a technique for glitch power minimization in combinational circuits. The total number of glitches is reduced by replacing some existing gates with functionally...
Luca Benini, Giovanni De Micheli, Alberto Macii, E...
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 3 months ago
Compressed Sensing: How sharp is the Restricted Isometry Property
Compressed sensing is a recent technique by which signals can be measured at a rate proportional to their information content, combining the important task of compression directly ...
Jeffrey D. Blanchard, Coralia Cartis, Jared Tanner
FASE
2010
Springer
15 years 10 months ago
Analyzing the Impact of Change in Multi-threaded Programs
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath ...
CSL
2001
Springer
15 years 7 months ago
Uniform Derivation of Decision Procedures by Superposition
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
Alessandro Armando, Silvio Ranise, Michaël Ru...