3235 search results - page 167 / 647 » Partial Redundant Modeling |
134
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
147
click to vote
ENC
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a compression technique for semistructured documents, called SCMPPM, which combines the Prediction by Partial Matching technique with Structural Contexts Model (SCM) t...
148
click to vote
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
Belief functions, possibility measures and Choquet capacities of order 2, which are special kinds of coherent upper or lower probability, are amongst the most popular mathematical...
121
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
We develop a similarity measure to detect repeatedly occurring Out-of-Vocabulary words (OOV), since these carry important information. Sub-word sequences in the recognition output...
163
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
We present an object recognition algorithm that uses model and image line features to locate complex objects in high clutter environments. Finding correspondences between model an...