781 search results - page 80 / 157 » Self-Organizing Operator Maps in Complex System Analysis |
135
click to vote
CCR
2004
15 years 3 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
111
click to vote
JLP
2006
15 years 4 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
156
Voted
CANDC
2004
ACM
15 years 3 months ago
2004
ACM
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...
143
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
152
Voted
TIM
2010
14 years 10 months ago
2010
A distributed telerobotic system is proposed based on a master-arm station that is interconnected by a computer network to a slave-arm station. The distributed telerobotic system i...