6042 search results - page 35 / 1209 » Repeated Observation Models |
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Varying illumination and partial occlusion are two main difficulties in visual tracking. Existing methods based on appearance information cannot solve these problems effectively s...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We present a novel, maximum likelihood framework for automatic spike-sorting based on a joint statistical model of action potential waveform shape and inter-spike interval duratio...
EPEW
2007
Springer
15 years 3 months ago
2007
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
PE
2010
Springer
14 years 4 months ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
81
Voted
CAV
2009
Springer
15 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...