6054 search results - page 815 / 1211 » Implementation of Andorra-based Languages |
165
click to vote
AOSD
2005
ACM
16 years 10 days ago
2005
ACM
Aspect-oriented programming (AOP) promises to benefit engineering by providing a layer of abstraction that can modularize system-level concerns. AOP is still a very young area of ...
164
click to vote
KCAP
2005
ACM
16 years 10 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
178
click to vote
MM
2005
ACM
16 years 10 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...
139
click to vote
PASTE
2005
ACM
16 years 10 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...
185
click to vote
TLDI
2005
ACM
16 years 10 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 ...