Sciweavers

8724 search results - page 1517 / 1745
» Search result diversification
Sort
View
CORR
2011
Springer
115views Education» more  CORR 2011»
13 years 2 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...
FCCM
2011
IEEE
311views VLSI» more  FCCM 2011»
13 years 2 months ago
String Matching in Hardware Using the FM-Index
—String matching is a ubiquitous problem that arises in a wide range of applications in computing, e.g., packet routing, intrusion detection, web querying, and genome analysis. D...
Edward Fernandez, Walid Najjar, Stefano Lonardi
FGR
2011
IEEE
206views Biometrics» more  FGR 2011»
13 years 2 months ago
A SSIM-based approach for finding similar facial expressions
— There are various scenarios where finding the most similar expression is the requirement rather than just classifying one, for example, facial expression transfer and facial e...
Abhinav Dhall, Akshay Asthana, Roland Goecke
CVPR
2011
IEEE
13 years 2 months ago
Symmetric Piecewise Planar Object Reconstruction from a Single Image
Recovering 3D geometry from a single view of an object is an important and challenging problem in computer vision. Previous methods mainly focus on one specific class of objects ...
Tianfan XUE, Jianzhuang LIU
GLVLSI
2011
IEEE
351views VLSI» more  GLVLSI 2011»
13 years 2 months ago
Design of low-power multiple constant multiplications using low-complexity minimum depth operations
Existing optimization algorithms for the multiplierless realization of multiple constant multiplications (MCM) typically target the minimization of the number of addition and subt...
Levent Aksoy, Eduardo Costa, Paulo F. Flores, Jos&...
« Prev « First page 1517 / 1745 Last » Next »