271 search results - page 42 / 55 » A Framework for Testing Model Composition Engines |
85
Voted
PAMI
2008
14 years 11 months ago
2008
We propose a new two-stage framework for joint analysis of head gesture and speech prosody patterns of a speaker toward automatic realistic synthesis of head gestures from speech p...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
SIGSOFT
1998
ACM
15 years 4 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
TAPSOFT
1997
Springer
15 years 3 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
100
click to vote
TCIAIG
2010
14 years 6 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...