Sciweavers

3174 search results - page 606 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
RTS
2008
131views more  RTS 2008»
15 years 5 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
ICRA
2010
IEEE
87views Robotics» more  ICRA 2010»
15 years 4 months ago
DSAC - Dynamic, Single Actuated Climber: Local stability and bifurcations
— This paper investigates a novel mechanism, called DSAC for Dynamic, Single Actuated Climber, which propels itself upwards by oscillating its leg in a symmetric fashion using a ...
Amir Degani, Howie Choset, Matthew T. Mason
IV
2010
IEEE
193views Visualization» more  IV 2010»
15 years 4 months ago
Drawing Clustered Bipartite Graphs in Multi-circular Style
Abstract—Bipartite graphs are often used to illustrate relationships between two sets of data, such as web pages and visitors. At the same time, information is often organized hi...
Takao Ito, Kazuo Misue, Jiro Tanaka
IV
2010
IEEE
196views Visualization» more  IV 2010»
15 years 4 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...
SAB
2010
Springer
156views Optimization» more  SAB 2010»
15 years 4 months ago
Attentional Mechanisms for Lateral Line Sensing through Spectral Analysis
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
Otar Akanyeti, Maria-Camilla Fiazza, Paolo Fiorini