3481 search results - page 356 / 697 » Exploration in Relational Worlds |
163
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper provides a description of designers' work practices in a software company. We describe a participatory analysis of the diversity of working relations and roles of ...
188
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...
157
click to vote
PODS
2003
ACM
16 years 7 months ago
2003
ACM
We formalize the problem of maintaining time-decaying aggregates and statistics of a data stream: the relative contribution of each data item to the aggregate is scaled down by a ...
149
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
264
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We address an unsupervised object detection and segmentation problem that goes beyond the conventional assumptions of one-to-one object correspondences or model-test settings betwe...