19922 search results - page 3681 / 3985 » Human Computer Interaction |
195
click to vote
CMSB
2003
Springer
15 years 12 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
212
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
197
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
182
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
211
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...