Sciweavers

1329 search results - page 97 / 266
» Constraint-based model synthesis
Sort
View
HYBRID
2001
Springer
15 years 8 months ago
Semi-decidable Synthesis for Triangular Hybrid Systems
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...
Omid Shakernia, George J. Pappas, Shankar Sastry
ISSS
2000
IEEE
128views Hardware» more  ISSS 2000»
15 years 8 months ago
Hardware Synthesis from SPDF Representation for Multimedia Applications
Even though high-level hardware synthesis from dataflow graphs becomes popular in designing DSP systems, currently used dataflow models are inefficient to deal with emerging multi...
Chanik Park, Soonhoi Ha
SIBGRAPI
1999
IEEE
15 years 8 months ago
Deterministic Texture Analysis and Synthesis Using Tree Structure Vector Quantization
Texture analysis and synthesis is very important for computer graphics, vision, and image processing. This paper describes an algorithm which can produce new textures with a matchi...
Li-Yi Wei
VLSID
1999
IEEE
111views VLSI» more  VLSID 1999»
15 years 8 months ago
A New Approach for CMOS Op-Amp Synthesis
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the rst order behavior of a MOS transistor in the saturation regi...
Pradip Mandal, V. Visvanathan
FGR
1998
IEEE
74views Biometrics» more  FGR 1998»
15 years 8 months ago
Synthesis of Facial Images with Lip Motion from Several Real Views
The synthesis of facial images by computer graphics is very important for many applications such as human interface and visual entertainment. The lip motion is an essential factor...
Lei Gao, Yasuhiro Mukaigawa, Yuichi Ohta