5608 search results - page 293 / 1122 » On the Theory of Matchgate Computations |
164
click to vote
CSCW
1998
ACM
15 years 11 months ago
1998
ACM
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...
187
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
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...
145
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
Abstract: The theory of elasticity describes deformable materials such as rubber, cloth, paper, and flexible metals. We employ elasticity theory to construct differential equations...
197
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...