2607 search results - page 90 / 522 » Complete Functional Synthesis |
118
Voted
CF
2008
ACM
15 years 5 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
113
Voted
CVPR
1997
IEEE
16 years 5 months ago
1997
IEEE
We present a new method for synthesizing novel views of a 3D scene from few model images in full correspondence. The core of this work is the derivation of a tensorial operator th...
133
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
110
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
141
Voted
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...