91 search results - page 7 / 19 » Extended Stigmergy in Collective Construction |
HASKELL
2005
ACM
15 years 5 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
104
click to vote
ICCL
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
104
click to vote
CGF
2002
14 years 11 months ago
2002
With the advent of sketch-based methods for shape construction, there's a new degree of power available in the rapid creation of approximate shapes. Sketch [Zeleznik, 1996] s...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Autonomous systems situated in the real world often need to recognize, track, and reason about various types of physical objects. In order to allow reasoning at a symbolic leve...