938 search results - page 57 / 188 » Coreference-inspired Coherence Modeling |
94
Voted
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
153
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
115
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we consider representing a musical signal as a dynamic texture, a model for both the timbral and rhythmical qualities of sound. We apply the new representation to t...
119
Voted
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
Most storytelling model approaches consider stories formed by sequences of a particular type of event. These sequences are mostly constructed using the inherent temporal characteri...
213
Voted
HUMO
2007
Springer
15 years 8 months ago
2007
Springer
This work presents a marker-less motion capture system that incorporates an approach to smoothly adapt a generic model mesh to the individual shape of a tracked person. This is don...