1999 search results - page 152 / 400 » Dependently Typed Grammars |
151
click to vote
WMTE
2002
IEEE
15 years 11 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...
159
click to vote
SIGLEX
1991
15 years 10 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...
152
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...
165
click to vote
AAAI
2010
15 years 7 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 ...
144
click to vote
COLING
2008
15 years 7 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...