29152 search results - page 91 / 5831 » A Model of Computation for MapReduce |
141
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
116
Voted
ACL
2007
15 years 5 months ago
2007
We propose a computational model of text reuse tailored for ancient literary texts, available to us often only in small and noisy samples. The model takes into account source alte...
132
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Computer Supported Collaborative Learning activities involve combination of complex software tools that often need to interoperate in a wider context of learning. This paper propo...
153
Voted
APWEB
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
131
click to vote
TITB
2002
15 years 3 months ago
2002
This paper presents a computational model for studying the mechanical properties of skin with aging. In particular, attention is given to the folding capacity of skin, which may b...