Sciweavers

526 search results - page 45 / 106
» On the Number of Minimal Addition Chains
Sort
View
DAC
2005
ACM
15 years 10 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
ECOOP
2009
Springer
15 years 10 months ago
Loci: Simple Thread-Locality for Java
This paper presents a simple type system for thread-local data in Java. Classes and types are annotated to express thread-locality and unintended leaks are detected at compile-time...
Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zha...
ICASSP
2009
IEEE
15 years 4 months ago
L1 regularized super-resolution from unregistered omnidirectional images
In this paper, we address the problem of super-resolution from multiple low-resolution omnidirectional images with inexact registration. Such a problem is typically encountered in...
Zafer Arican, Pascal Frossard
SCALESPACE
2009
Springer
15 years 4 months ago
Generic Scene Recovery Using Multiple Images
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
Kuk-Jin Yoon, Emmanuel Prados, Peter F. Sturm
CDC
2008
IEEE
104views Control Systems» more  CDC 2008»
15 years 4 months ago
Delta modulation for multivariable centralized linear networked controlled systems
—This paper investigates the closed-loop properties of multivariable (MIMO1 ) linear systems where the sensed information is centralized and coded on the basis of a ∆-modulatio...
Jonathan Jaglin, Carlos Canudas de Wit, Cyrille Si...