6155 search results - page 907 / 1231 » A language for multiple models of computation |
143
click to vote
COLING
2010
15 years 1 months ago
2010
Sense annotation and lexicon building are costly affairs demanding prudent investment of resources. Recent work on multilingual WSD has shown that it is possible to leverage the a...
208
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
165
click to vote
CIE
2010
Springer
15 years 10 months ago
2010
Springer
In the theory of algorithmic randomness, one of the central notions is that of computable randomness. An infinite binary sequence X is computably random if no recursive martingale...
167
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
A reduction is a computation in which a common operation, such as a sum, is to be performed across multiple pieces of data, each supplied by a separate task. We introduce phaser a...
173
click to vote
ISSAC
1995
Springer
15 years 10 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...