3116 search results - page 160 / 624 » Positively dependent types |
218
click to vote
DAPSYS
2004
Springer
15 years 10 months ago
2004
Springer
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
127
click to vote
WMTE
2002
IEEE
15 years 9 months ago
2002
IEEE
‘Mobile Learning’ is a type of application/service that generally presumes to use mobile Internet technology for learning purposes. This paper focuses on discussing basic usab...
131
Voted
SIGLEX
1991
15 years 8 months ago
1991
This paper argues that there is no reason to distinguish between lexical information and real-world information on the basis of the formalisms used; that both types of knowledge c...
126
click to vote
FPLAY
2008
15 years 6 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...
134
click to vote
AAAI
2010
15 years 6 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 ...