339 search results - page 60 / 68 » Abstracting Interactions Based on Message Sets |
GECCO
2004
Springer
14 years 3 days ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
SPIN
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
ACNS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
AMDO
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...