Sciweavers

31686 search results - page 245 / 6338
» Resource typing in Guru
Sort
View
AIIDE
2006
14 years 4 days ago
CrowdMixer: Multiple Agent Types in Situation-Based Crowd Simulations
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...
Shannon Blyth, Howard J. Hamilton
FMOODS
2003
14 years 3 days ago
The Kell Calculus: Operational Semantics and Type System
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...
Philippe Bidinger, Jean-Bernard Stefani
COLING
2000
14 years 3 days ago
Learning Word Clusters from Data Types
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. ...
Paolo Allegrini, Simonetta Montemagni, Vito Pirrel...
ACL
1997
14 years 2 days ago
Generative Power of CCGs with Generalized Type-Raised Categories
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 ...
Nobo Komagata
AAIP
2009
13 years 12 months ago
Enumerating Well-Typed Terms Generically
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...
Alexey Rodriguez Yakushev, Johan Jeuring