4341 search results - page 539 / 869 » Quantitative Model checking |
170
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
210
Voted
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
We face the problem of novelty detection from stream data, that is, the identification of new or unknown situations in an ordered sequence of objects which arrive on-line, at cons...
165
click to vote
CNSR
2008
IEEE
16 years 1 months ago
2008
IEEE
Attacks and intrusions to information systems cause large revenue losses. The prevention of these attacks is not always possible by just considering information from isolated sour...
157
Voted
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...
208
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel algorithm for unsupervised texture segmentation. We incorporate a set of texture features under a segmentation framework, based on the active contour w...