6149 search results - page 167 / 1230 » Revealing the programming process |
119
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
153
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
109
Voted
ACL
2008
15 years 4 months ago
2008
We present a discriminative structureprediction model for the letter-to-phoneme task, a crucial step in text-to-speech processing. Our method encompasses three tasks that have bee...
110
click to vote
BILDMED
2008
15 years 4 months ago
2008
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...
125
click to vote
ACL
1997
15 years 4 months ago
1997
This paper presents a new approach to bitext correspondence problem (BCP) of noisy bilingual corpora based on image processing (IP) techniques. By using one of several ways of est...