333 search results - page 11 / 67 » Labels from Reductions: Towards a General Theory |
CHI
2010
ACM
15 years 6 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...
100
click to vote
TACAS
1997
Springer
15 years 3 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...
101
click to vote
PAMI
2007
14 years 11 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 ...
102
Voted
ICALP
2009
Springer
15 years 12 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 ...
114
Voted
ISBI
2007
IEEE
15 years 6 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...