Sciweavers

4353 search results - page 81 / 871
» Expressiveness of Process Algebras
Sort
View
ECOOP
1995
Springer
15 years 3 months ago
Time and Asynchrony in Interactions among Distributed Real-Time Objects
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
Ichiro Satoh, Mario Tokoro
TSD
2007
Springer
15 years 6 months ago
Identifying Expressions of Emotion in Text
Saima Aman, Stan Szpakowicz
DAGM
2001
Springer
15 years 4 months ago
Facial Expression Recognition with Pseudo-3D Hidden Markov Models
Frank Hülsken, Frank Wallhoff, Gerhard Rigoll