Sciweavers

1957 search results - page 177 / 392
» Multimedia Analysis and Synthesis
Sort
View
PG
2002
IEEE
15 years 4 months ago
May I talk to you? : -)" - Facial Animation from Text
We introduce a facial animation system that produces real-time animation sequences including speech synchronization and non-verbal speech-related facial expressions from plain tex...
Irene Albrecht, Jörg Haber, Kolja Kähler...
ASPDAC
1999
ACM
107views Hardware» more  ASPDAC 1999»
15 years 4 months ago
New Multilevel and Hierarchical Algorithms for Layout Density Control
Certain manufacturing steps in very deep submicron VLSI involve chemical-mechanical polishing CMP which has varying e ects on device and interconnect features, depending on loca...
Andrew B. Kahng, Gabriel Robins, Anish Singh, Alex...
ICECCS
2007
IEEE
89views Hardware» more  ICECCS 2007»
15 years 3 months ago
Just-in-Time Certification
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
John M. Rushby
COODBSE
1994
85views more  COODBSE 1994»
15 years 1 months ago
Understanding Software Systems Using Reverse Engineering Technology
Software engineering research has focused primarily on software construction, neglecting software maintenance and evolution. Observed is a shift in research from synthesis to anal...
Hausi A. Müller, Kenny Wong, Scott R. Tilley
JAR
2006
97views more  JAR 2006»
14 years 11 months ago
Decidability Issues for Extended Ping-Pong Protocols
We use some recent techniques from process algebra to draw several conclusions about the well studied class of ping-pong protocols introduced by Dolev and Yao. In particular we sho...
Hans Hüttel, Jirí Srba