Sciweavers

614 search results - page 6 / 123
» aime 2003
Sort
View
WOA
2003
15 years 1 months ago
Experiencing AUML for the WINK Multi-Agent System
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
Sonia Bergamaschi, Gionata Gelati, Francesco Guerr...
WSCG
2003
163views more  WSCG 2003»
15 years 1 months ago
Virtual Dublin - A Framework for Real-Time Urban Simulation
We present a description of an urban simulation system work in progress. The goal is to create a large-scale immersive simulation of Dublin City that can then be used as a researc...
John Hamill, Carol O'Sullivan
DMTCS
2007
74views Mathematics» more  DMTCS 2007»
14 years 11 months ago
Words and Bisimulations of Dynamical Systems
In this paper we study bisimulations on dynamical systems through a given partition. Our aim is to give a new vision of the notion of bisimulation by using words. To achieve this g...
Thomas Brihaye
4OR
2004
84views more  4OR 2004»
14 years 11 months ago
Non-classical preference models in combinatorial problems: Models and algorithms for graphs
This is a summary of the most important results presented in the author's PhD thesis (Spanjaard, 2003). This thesis, written in French, was defended on 16 December 2003 and su...
Olivier Spanjaard
EUROPAR
2003
Springer
15 years 5 months ago
Replicated Placements in the Polyhedron Model
Abstract. Loop-carried code placement (LCCP) is able to remove redundant computations that cannot be recognized by traditional code motion techniques. However, this comes possibly ...
Peter Faber, Martin Griebl, Christian Lengauer