31686 search results - page 245 / 6338 » Resource typing in Guru |
AIIDE
2006
14 years 4 days ago
2006
This paper presents a scalable approach to crowd simulation that can generate complex and varied simulations by using multiple types of individuals in a crowd. Efficiency is attai...
FMOODS
2003
14 years 3 days ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
COLING
2000
14 years 3 days ago
2000
The paper illustrates a linguistic knowledge acquisition model making use of data types, innite memory, and an inferential mechanism for inducing new information from known data. ...
ACL
1997
14 years 2 days ago
1997
This paper shows that a class of Combinatory Categorial Grammars (CCGs) augmented with a linguistically-motivated form of type raising involving variables is weakly equivalent to ...
AAIP
2009
13 years 12 months ago
2009
We use generic programming techniques to generate well-typed lambda terms. We encode well-typed terms by generalized algebraic datatypes (GADTs) and existential types. The Spine a...