2237 search results - page 200 / 448 » Advanced Prosody Modelling |
137
click to vote
PADS
1996
ACM
15 years 8 months ago
1996
ACM
Recently, a considerable amount of effort in the U.S. Department of Defense has been devoted to defining the High Level Architecture (HLA) for distributed simulations. This paper ...
123
click to vote
SC
1993
ACM
15 years 8 months ago
1993
ACM
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
140
click to vote
KR
1992
Springer
15 years 8 months ago
1992
Springer
I argue that an action-based model of belief update is largely compatible with the proposals advanced in the literature on formal approaches to discourse interpretation, especiall...
134
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
153
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Dynamic group Diffie-Hellman protocols for Authenticated Key Exchange (AKE) are designed to work in a scenario in which the group membership is not known in advance but where parti...