43264 search results - page 301 / 8653 » Comparing models of computation |
151
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
173
click to vote
PAMI
2011
14 years 7 months ago
2011
—We present a discriminative part-based approach for human action recognition from video sequences using motion features. Our model is based on the recently proposed hidden condi...
125
click to vote
ACL
2012
13 years 6 months ago
2012
This paper presents a novel way of improving POS tagging on heterogeneous data. First, two separate models are trained (generalized and domain-specific) from the same data set by...
164
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
When one scans a document page from a thick bound volume, the curvature of the page to be scanned results in two kinds of distortion in the scanned document images: i) shade along...
142
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we present a novel method for efficient 3D model comparison. The method matches highly deformed models by comparing topological and geometric features. First, we pr...