5599 search results - page 462 / 1120 » Abstract State Services |
162
click to vote
KES
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new method to estimate human change of concentration from multiple camera views of the human. In our method, human state of concentration is observed as self...
164
click to vote
SSS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
174
click to vote
VMCAI
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
151
click to vote
AOSE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
154
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...