7623 search results - page 1086 / 1525 » Constructive Volume Modeling |
195
click to vote
TLDI
2003
ACM
16 years 2 days ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
168
click to vote
VRST
2003
ACM
16 years 2 days ago
2003
ACM
We investigate several techniques that partition a crowded virtual environment into regions that can be managed by separate servers or mapped onto different multicast groups. When...
183
click to vote
ALS
2003
Springer
16 years 2 days ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
178
click to vote
FSE
2003
Springer
16 years 1 days ago
2003
Springer
In this paper, we investigate the security, in the Luby-Rackoff security paradigm, of blockcipher modes of operation allowing to expand a one-block input into a longer t-block ou...
188
click to vote
GD
2003
Springer
16 years 1 days ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...