3690 search results - page 307 / 738 » Computation with classical sequents |
152
click to vote
MM
1995
ACM
15 years 9 months ago
1995
ACM
We describe a new approach to the detection and classication of scene breaks in video sequences. Our method can detect and classify a variety of scene breaks, including cuts, fade...
147
click to vote
STOC
1995
ACM
15 years 9 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
185
click to vote
STACS
1991
Springer
15 years 9 months ago
1991
Springer
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
149
click to vote
EENERGY
2010
15 years 8 months ago
2010
Energy-efficient communication has recently become a key challenge for both researchers and industries. In this paper, we propose a new model in which a Content Provider and an In...
141
click to vote
BMVC
2001
15 years 8 months ago
2001
This paper presents an iterative maximum likelihood framework for motion segmentation via the pairwise checking of pixel blocks. We commence from a characterisation of the motion ...