6201 search results - page 847 / 1241 » Implementation of Axiomatic Language |
182
click to vote
MM
2005
ACM
16 years 13 days ago
2005
ACM
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
142
click to vote
PASTE
2005
ACM
16 years 13 days ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
190
click to vote
TLDI
2005
ACM
16 years 13 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
161
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
166
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...