Sciweavers

1013 search results - page 140 / 203
» The Bayesian inference of phase
Sort
View
CVPR
1999
IEEE
14 years 10 months ago
Explaining Optical Flow Events with Parameterized Spatio-Temporal Models
A spatio-temporal representation for complex optical flow events is developed that generalizes traditional parameterized motion models (e.g. affine). These generative spatio-tempo...
Michael J. Black
FLAIRS
2007
13 years 11 months ago
Pattern-Constrained Test Case Generation
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
Martin Atzmüller, Joachim Baumeister, Frank P...
MIAR
2006
IEEE
14 years 2 months ago
Pulsative Flow Segmentation in MRA Image Series by AR Modeling and EM Algorithm
Segmentation of CSF and pulsative blood flow, based on a single phase contrast MRA (PC-MRA) image can lead to imperfect classifications. In this paper, we present a novel automated...
Ali Gooya, Hongen Liao, Kiyoshi Matsumiya, Ken Mas...
SAFECOMP
1999
Springer
14 years 1 months ago
Towards Statistical Control of an Industrial Test Process
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
Gaetano Lombardi, Emilia Peciola, Raffaela Mirando...
POPL
2010
ACM
14 years 6 months ago
Dependent Types from Counterexamples
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
Tachio Terauchi