525 search results - page 37 / 105 » Using Checkable Types in Automatic Protocol Analysis |
IJSC
2008
13 years 7 months ago
2008
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
DAC
2007
ACM
14 years 8 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
MM
2006
ACM
14 years 1 months ago
2006
ACM
We present a framework to synchronize pop music to corresponding text lyric. We refine line level alignment achievable by existing work to syllabic level by using a dynamic progra...
MOBICOM
2000
ACM
14 years 3 days ago
2000
ACM
An on-demand routing protocol for wireless ad hoc networks is one that searches for and attempts to discover a route to some destination node only when a sending node originates a...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Performance of cross-layer protocols that recommend the relay of corrupted packets to higher layers can be improved significantly by accurately inferring/predicting the bit erro...