Sciweavers

1839 search results - page 96 / 368
» Models of Coordination
Sort
View
SCP
2010
172views more  SCP 2010»
13 years 8 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
VR
2003
IEEE
163views Virtual Reality» more  VR 2003»
14 years 3 months ago
Ribbon Networks for Modeling Navigable Paths of Autonomous Agents in Virtual Urban Environments
This paper presents a real-time database modeling complex networks of intersecting roads and walkways in urban virtual environments. The database represents information about the ...
Peter Willemsen, Joseph K. Kearney, Hongling Wang
IPMI
2007
Springer
14 years 11 months ago
Population-Based Fitting of Medial Shape Models with Correspondence Optimization
A crucial problem in statistical shape analysis is establishing the correspondence of shape features across a population. While many solutions are easy to express using boundary re...
Timothy B. Terriberry, James N. Damon, Stephen M. ...
ECEASST
2008
91views more  ECEASST 2008»
13 years 10 months ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner
IEAAIE
2010
Springer
13 years 8 months ago
Knowledge-Based Framework for Workflow Modelling: Application to the Furniture Industry
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
Juan Carlos Vidal, Manuel Lama, Alberto Bugar&iacu...