426 search results - page 48 / 86 » SAT-Based Techniques in System Synthesis |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
: This paper addresses the issue of designing scalable prototypes for multi input multi output (MIMO) wireless channel emulation. To date, emulators are extending single input sing...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Automatic non-rigid registration of 3D time-varying data is fundamental in many vision and graphics applications such as facial expression analysis, synthesis, and recognition. De...
ACCV
2010
Springer
13 years 3 months ago
2010
Springer
In this paper, we propose a computational model for social interaction between three people in a conversation, and demonstrate results using human video motion synthesis. We utilis...
SIGGRAPH
2010
ACM
14 years 28 days ago
2010
ACM
This paper describes a method for animating the appearance of clothing, such as pants or a shirt, that fits closely to a figure’s body. Compared to flowing cloth, such as loo...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...