8450 search results - page 1462 / 1690 » Interactively Modeling with Photogrammetry |
123
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
130
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
141
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
150
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
124
click to vote
ESTIMEDIA
2009
Springer
15 years 11 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...