Sciweavers

2233 search results - page 248 / 447
» On the Complexity of Theory Curbing
Sort
View
FAC
2002
66views more  FAC 2002»
15 years 6 months ago
Shallow Linear Action Graphs and their Embeddings
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...
James J. Leifer, Robin Milner
TGIS
2002
137views more  TGIS 2002»
15 years 6 months ago
Spatio-Temporal Object-Oriented Data Model for Disaggregate Travel Behavior
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
Ali Frihida, Danielle J. Marceau, Marius Thé...
ICRA
2010
IEEE
113views Robotics» more  ICRA 2010»
15 years 5 months ago
Geometric formation control for autonomous underwater vehicles
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
Huizhen Yang, Fumin Zhang
TCS
2010
15 years 4 months ago
Analyzing the dynamics of stigmergetic interactions through pheromone games
The concept of stigmergy provides a simple framework for interaction and coordination in multi-agent systems. However, determining the global system behavior that will arise from ...
Peter Vrancx, Katja Verbeeck, Ann Nowé
DSTEP
2010
15 years 4 months ago
A Discussion of Three Visualisation Approaches to Providing Cognitive Support in Variability Management
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
Ciarán Cawley, Patrick Healy, Goetz Botterw...