Sciweavers

562 search results - page 22 / 113
» Algorithm Visualization: The State of the Field
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 1 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
DSSCV
2005
Springer
15 years 3 months ago
From Stochastic Completion Fields to Tensor Voting
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...
Markus van Almsick, Remco Duits, Erik Franken, Bar...
ICMCS
2005
IEEE
90views Multimedia» more  ICMCS 2005»
15 years 3 months ago
A spatial-temporal de-interlacing algorithm
In this paper, we proposed a spatial-temporal de-interlacing algorithm for conversion of interlaced video to progressive video. Our proposed algorithm estimates the motion traject...
Tak-Song Chong, Oscar C. Au, Tai-Wai Chan, Wing-Sa...
ICPR
2000
IEEE
15 years 1 months ago
Hidden Markov Random Field Based Approach for Off-Line Handwritten Chinese Character Recognition
This paper presents a Hidden Markov Mesh Random Field (HMMRF) based approach for off-line handwritten Chinese characters recognition using statistical observation sequences embedd...
Qing Wang, Rongchun Zhao, Zheru Chi, David Dagan F...
ICML
2010
IEEE
14 years 10 months ago
A Conditional Random Field for Multiple-Instance Learning
We present MI-CRF, a conditional random field (CRF) model for multiple instance learning (MIL). MI-CRF models bags as nodes in a CRF with instances as their states. It combines di...
Thomas Deselaers, Vittorio Ferrari