882 search results - page 53 / 177 » Allowing State Changes in Specifications |
157
click to vote
ITP
2002
15 years 5 months ago
2002
``Virtual'' is a potent buzzword, freely applied to many situations, with many meanings. In this exploratory study, we develop a more precise understanding of ``virtual&#...
146
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
166
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This work proposes a way to use a-priori knowledge on motion dynamics for markerless human motion capture (MoCap). Specifically, we match tracked motion patterns to training patte...
127
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Collaborative systems provide a rich but potentially chaotic environment for their users. This paper presents a system that allows users to control collaboration by enacting polic...
140
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a methodology to transfer self-timed circuit specifications into sequential quantum Boolean circuits (SQBCs) and composable SQBCs (CQBCs). State graphs (SGs) a...