5754 search results - page 691 / 1151 » Multi-class Model M |
177
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we consider the problem of sampling far below the Nyquist rate signals that are sparse linear superpositions of shifts of a known, potentially wide-band, pulse. This...
207
click to vote
ICDAR
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a new enhanced text extraction algorithm from degraded document images on the basis of the probabilistic models. The observed document image is considered as a...
194
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
212
click to vote
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
203
click to vote
AAIM
2009
Springer
16 years 2 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...