333 search results - page 11 / 67 » Labels from Reductions: Towards a General Theory |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
In an online experiment, I apply theory from psychology and communications to find out whether group information management tasks are governed by the same communication processes...
TACAS
1997
Springer
13 years 12 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
PAMI
2007
13 years 7 months ago
2007
A new framework is presented for both understanding and developing graph-cut based combinatorial algorithms suitable for the approximate optimization of a very wide class of MRFs ...
ICALP
2009
Springer
14 years 8 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 ...
ISBI
2007
IEEE
14 years 2 months ago
2007
IEEE
According to the recent theory of compressed sensing, accurate reconstruction is possible even from data samples dramatically smaller than Nyquist sampling limit as long as the un...