Sciweavers

3093 search results - page 217 / 619
» The Multi-perspective Process Explorer
Sort
View
ICRA
2010
IEEE
189views Robotics» more  ICRA 2010»
15 years 2 months ago
Affordable SLAM through the co-design of hardware and methodology
— Simultaneous localization and mapping (SLAM) is a prominent feature for autonomous robots operating in undefined environments. Applications areas such as consumer robotics app...
Stéphane Magnenat, Valentin Longchamp, Mich...
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 2 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
ISVC
2010
Springer
15 years 2 months ago
Visual Network Analysis of Dynamic Metabolic Pathways
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
Markus Rohrschneider, Alexander Ullrich, Andreas K...
IWC
2010
132views more  IWC 2010»
15 years 2 months ago
Audio makes a difference in haptic collaborative virtual environments
In this paper a study is presented which aimed at exploring the effects of audio feedback in a haptic and visual interface supporting collaboration among sighted and people who ca...
Jonas Moll, Yingying Huang, Eva-Lotta Sallnäs
JGS
2010
105views more  JGS 2010»
15 years 2 months ago
Testing for spatial association of qualitative data using symbolic dynamics
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
Manuel Ruiz, Fernando López, Antonio P&aacu...