Sciweavers

5964 search results - page 338 / 1193
» A theory of speculative computation
Sort
View
IWAI
1999
Springer
15 years 11 months ago
Emotion and Facial Expression
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
Thomas Wehrle, Susanne Kaiser
CSCW
1998
ACM
15 years 11 months ago
Designing for the Dynamics of Cooperative Work Activities
CSCW seems to have a persistent problem of understanding the nature of “cooperative work”. This paper argues that this problem is a direct result of not looking at the dynamic...
Jakob Bardram
DEXAW
2004
IEEE
111views Database» more  DEXAW 2004»
15 years 11 months ago
A Complex Systems Approach to Service Discovery
Complex systems are those systems composed of many, often very simple, interacting autonomous entities. Interactions between these entities give rise to behaviour and patterns at t...
Ricky Robinson, Jadwiga Indulska
180
Voted
SIGGRAPH
1987
ACM
15 years 11 months ago
Elastically deformable models
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
Demetri Terzopoulos, John C. Platt, Alan H. Barr, ...
BIRTHDAY
2010
Springer
15 years 7 months ago
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
Christoph Benzmüller