Sciweavers

3824 search results - page 241 / 765
» Geometry Constructions Language
Sort
View
PPOPP
2005
ACM
15 years 10 months ago
Teleport messaging for distributed stream programs
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
William Thies, Michal Karczmarek, Janis Sermulins,...
CHI
2009
ACM
16 years 5 months ago
Difficulties in establishing common ground in multiparty groups using machine translation
When people communicate in their native languages using machine translation, they face various problems in constructing common ground. This study investigates the difficulties of ...
Naomi Yamashita, Rieko Inaba, Hideaki Kuzuoka, Tor...
AOSD
2006
ACM
15 years 10 months ago
Towards supporting on-demand virtual remodularization using program graphs
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
David Shepherd, Lori L. Pollock, K. Vijay-Shanker
PPDP
2009
Springer
15 years 9 months ago
Context-based proofs of termination for typed delimited-control operators
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
Malgorzata Biernacka, Dariusz Biernacki
NAACL
2007
15 years 5 months ago
A Comparison of Pivot Methods for Phrase-Based Statistical Machine Translation
We compare two pivot strategies for phrase-based statistical machine translation (SMT), namely phrase translation and sentence translation. The phrase translation strategy means t...
Masao Utiyama, Hitoshi Isahara