Sciweavers

223 search results - page 16 / 45
» Novel View Specification and Synthesis
Sort
View
BIRTHDAY
2007
Springer
15 years 1 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
POPL
2010
ACM
15 years 4 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh
ICIP
2000
IEEE
15 years 2 months ago
Individual 3D Face Synthesis Based on Orthogonal Photos and Speech-Driven Facial Animation
In the paper, a methodology for individual face synthesis using given orthogonal photos is proposed. And an integrated speech-driven facial animation system is presented. Firstly,...
Shiguang Shan, Wen Gao, Jie Yan, Hongming Zhang, X...
GRAPHITE
2004
ACM
15 years 3 months ago
Statistical synthesis of facial expressions for the portrayal of emotion
This paper presents a novel technique for the generation of ‘video textures’ to display human emotion. This is achieved by a method which uses existing video footage to synthe...
Lisa Gralewski, Neill W. Campbell, Barry T. Thomas...
ICCAD
2009
IEEE
87views Hardware» more  ICCAD 2009»
14 years 7 months ago
The synthesis of combinational logic to generate probabilities
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
Weikang Qian, Marc D. Riedel, Kia Bazargan, David ...