1855 search results - page 73 / 371 » Composing model programs for analysis |
247
click to vote
AAMAS
2012
Springer
14 years 1 months ago
2012
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...
164
click to vote
PCM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
157
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
Lips segmentation is a very important step in many applications such as automatic speech reading, MPEG-4 compression, special effects, facial analysis and emotion recognition. In ...
171
click to vote
NAR
2006
15 years 6 months ago
2006
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
151
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...