Sciweavers

8587 search results - page 231 / 1718
» Interactive dynamic abstraction
Sort
View
INTERACT
2003
15 years 7 months ago
Visualization and Analysis of Formula One Racing Results with InfoZoom - the Demo
Abstract: We show the application of the data analysis tool InfoZoom to a database of Formula One racing results. The user can interactively explore different tabular visualisation...
Michael Spenke, Christian Beilken
ICALP
1994
Springer
15 years 10 months ago
On some Relations between Dynamical Systems and Transition Systems
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
Eugene Asarin, Oded Maler
ESOP
2001
Springer
15 years 11 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 5 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
15 years 5 months ago
Towards dynamic team formation for robot ensembles
Abstract— We present an investigation of dynamic team formation strategies for robot ensembles performing a collection of nd two-robot tasks. Specifically, we consider the abstr...
T. William Mather, M. Ani Hsieh, Emilio Frazzoli