5608 search results - page 803 / 1122 » On the Theory of Matchgate Computations |
180
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
158
click to vote
ACMACE
2006
ACM
16 years 21 days ago
2006
ACM
Mosaic Textile is a wearable ambient display using nonemissive color-changing textiles. The system consists of textile modules, their controllers and substrate fabric. The textile...
196
click to vote
ACMDIS
2006
ACM
16 years 21 days ago
2006
ACM
Storyboarding is a common technique in HCI and design for demonstrating system interfaces and contexts of use. Despite its recognized benefits, novice designers still encounter ch...
144
click to vote
ACMSE
2006
ACM
16 years 21 days ago
2006
ACM
This paper describes the idea of embodied data objects. Using this concept, everyday objects can be used to represent bits and bytes of active information. These data objects can ...
144
click to vote
CSCW
2006
ACM
16 years 21 days ago
2006
ACM
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...