4460 search results - page 556 / 892 » Formal methods for interactive systems |
184
click to vote
GD
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the GEOMI system, a visual analysis tool for the visualisation and analysis of large and complex networks. GEOMI provides a collection of network analysis meth...
152
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Pathways in biological system often cooperate with each other to function. Changes of interactions among pathways tightly associate with alterations in the properties ...
228
click to vote
HAPTICS
2006
IEEE
16 years 22 days ago
2006
IEEE
Biometric systems identify users based on behavioral or physiological characteristics. The advantages of such systems over traditional authentication methods such as passwords are...
197
click to vote
MMM
2006
Springer
16 years 20 days ago
2006
Springer
We present a method for real-time simulation of 3dimensional fire inspired by an old mechanical trick known as the “silk torch”. Motivated by the proven illusive effect of si...
175
click to vote
KI
2005
Springer
16 years 5 days ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...