Sciweavers

1079 search results - page 148 / 216
» Mereology of Visual Form
Sort
View
EUROPAR
1995
Springer
14 years 22 days ago
Relating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
Manuel V. Hermenegildo, Manuel Carro
ANTSW
2008
Springer
13 years 11 months ago
Autonomous Reconfiguration in a Self-assembling Multi-robot System
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
Rehan O'Grady, Anders Lyhne Christensen, Marco Dor...
FASE
2008
Springer
13 years 11 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
FASE
2008
Springer
13 years 11 months ago
A Logic of Graph Constraints
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...
Fernando Orejas, Hartmut Ehrig, Ulrike Prange
APVIS
2010
13 years 10 months ago
Adaptive proxy geometry for direct volume manipulation
This paper introduces a new design to allow interactive, direct manipulation of volume data on volumetrically rendered images. We present an adaptive volume proxy mesh which serve...
Megumi Nakao, Kei Wai Cecilia Hung, Satoshi Yano, ...