1626 search results - page 33 / 326 » Computing the Types of the Relationships between Autonomous ... |
AINA
2007
IEEE
14 years 20 days ago
2007
IEEE
Crowd simulations require both rendering visually plausible images and managing the behavior of autonomous agents. Therefore, these applications need an efficient design that allo...
INTETAIN
2005
Springer
14 years 2 months ago
2005
Springer
Here we present a model of a subtype of one-line jokes (not puns) that describes the relationship between the connector (part of the setup) and the disjunctor (often called the pun...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
BMCBI
2002
13 years 8 months ago
2002
Background: The availability of biomedical literature in electronic format has made it possible to implement automatic text processing methods to expose implicit relationships amo...
TACS
1997
Springer
14 years 5 days ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...