Sciweavers

3379 search results - page 477 / 676
» Combinators for Interaction Nets
Sort
View
IEEECIT
2010
IEEE
15 years 5 months ago
Predicting Events for the Simulation of Hybrid Systems
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
Kerstin Bauer, Klaus Schneider
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
179
Voted
IJSR
2010
181views more  IJSR 2010»
15 years 5 months ago
Multi-Part People Detection Using 2D Range Data
People detection is a key capacity for robotics systems that have to interact with humans. This paper addresses the problem of detecting people using multiple layers of 2D laser ra...
Óscar Martínez Mozos, Ryo Kurazume, ...
IV
2010
IEEE
211views Visualization» more  IV 2010»
15 years 5 months ago
Taggram: Exploring Geo-data on Maps through a Tag Cloud-Based Visualization
Searching and exploring on digital maps are normally performed through simple text boxes and zoomand-pan interfaces. In this paper, however, we present a novel technique, namely T...
Dinh-Quyen Nguyen, Heidrun Schumann
IV
2010
IEEE
196views Visualization» more  IV 2010»
15 years 5 months ago
Extracting Events from Spatial Time Series
An important task in exploration of data about phenomena and processes that develop over time is detection of significant changes that happened to the studied phenomenon. Our rese...
Gennady L. Andrienko, Natalia V. Andrienko, Martin...