2557 search results - page 204 / 512 » Structures of the Environment in Colonies |
SIGMOD
2003
ACM
14 years 10 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...
ESAW
2009
Springer
14 years 5 months ago
2009
Springer
In multi-agent system literature, the role concept is getting ngly researched to provide an abstraction to scope beliefs, norms, goals of agents and to shape relationships of the a...
CRV
2008
IEEE
14 years 5 months ago
2008
IEEE
Recent advancements in laser and visible light sensor technology allows for the collection of photorealistic 3D scans of large scale spaces. This enables the technology to be used...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper introduces an adaptive parallel pipeline pattern which follows the GRASP (Grid-Adaptive Structured Parallelism) methodology. GRASP is a generic methodology to incorpora...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...