3690 search results - page 308 / 738 » Computation with classical sequents |
144
click to vote
BMVC
2001
15 years 8 months ago
2001
In order to develop a high-level description of events unfolding in a typical surveillance scenario, each successfully tracked event must be classified into type and behaviour. I...
132
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
151
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
We show that Kolmogorov complexity and such its estimators as universal codes (or data compression methods) can be applied for hypothesis testing in a framework of classical mathe...
156
click to vote
ESANN
2006
15 years 6 months ago
2006
We present a distributed spiking neuron network (SNN) for handling low-level visual perception in order to extract salient locations in robot camera images. We describe a new metho...
120
click to vote
ISMB
1997
15 years 6 months ago
1997
Sequencealignmentwithoutthe specification of gap penaltiesor a scoringmatrixis attainedbyusing Bayesianinferenceanda recursivealgorithm.Thisprocedure’srecursivealgorithmsumsover...