Sciweavers

8587 search results - page 231 / 1718
» Interactive dynamic abstraction
Sort
View
162
Voted
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 9 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 10 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...
160
Voted
CORR
2010
Springer
173views Education» more  CORR 2010»
15 years 4 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...
153
Voted
ICRA
2010
IEEE
96views Robotics» more  ICRA 2010»
15 years 4 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