1626 search results - page 185 / 326 » Subtyping with Power Types |
116
Voted
WSCG
2003
15 years 6 months ago
2003
Visualizations are a crucial component in CAD systems, typically displaying design layout or physical behavior. In this paper we introduce in an innovative way visualizations, tha...
177
Voted
BCEC
1997
15 years 6 months ago
1997
Social insects provide us with a powerful metaphor to create decentralized systems of simple interacting, and often mobile, agents. The emergent collective intelligence of social i...
160
Voted
PPSC
1997
15 years 6 months ago
1997
We present the preliminary design for a C++ template library to enable the compositional construction of matrix classes suitable for high performance numerical linear algebra comp...
122
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
128
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...