1982 search results - page 143 / 397 » Parametricity and dependent types |
155
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper describes World of Warcraft as a ludic cyborg -- an entity that exists for play and depends on both artificial and organic components to survive. We argue that the popu...
169
click to vote
AAAI
2010
15 years 8 months ago
2010
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
150
click to vote
COLING
2008
15 years 8 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
165
click to vote
TCS
2010
15 years 5 months ago
2010
This paper concerns learning binary-valued functions defined on IR, and investigates how a particular type of ‘regularity’ of hypotheses can be used to obtain better generali...
163
click to vote
FOSSACS
2004
Springer
16 years 6 hour ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...