Sciweavers

284 search results - page 34 / 57
» hybrid 2003
Sort
View
RTSS
2003
IEEE
15 years 2 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
90
Voted
GECCO
2003
Springer
141views Optimization» more  GECCO 2003»
15 years 2 months ago
Finding the Optimal Gene Order in Displaying Microarray Data
The rapid advances of genome-scale sequencing have brought out the necessity of developing new data processing techniques for enormous genomic data. Microarrays, for example, can g...
Seung-Kyu Lee, Yong-Hyuk Kim, Byung Ro Moon
73
Voted
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 2 months ago
Path-dependent gaze control for obstacle avoidance in vision guided humanoid walking
Abstract— This article presents a novel gaze control strategy for obstacle avoidance in the context of vision guided humanoid walking. The generic strategy is based on the maximi...
Javier F. Seara, Klaus H. Strobl, Günther Sch...
IPPS
2003
IEEE
15 years 2 months ago
Semi-Structured Portable Library for Multiprocessor Servers
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
Georgios Tsilikas, Martin Fleury
ISCAS
2003
IEEE
99views Hardware» more  ISCAS 2003»
15 years 2 months ago
Time-delay modelling for multi-layer power systems
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
Ian A. Hiskens