Sciweavers

3918 search results - page 51 / 784
» Probabilistic model of triangulation
Sort
View
99
Voted
JMLR
2006
143views more  JMLR 2006»
14 years 11 months ago
Segmental Hidden Markov Models with Random Effects for Waveform Modeling
This paper proposes a general probabilistic framework for shape-based modeling and classification of waveform data. A segmental hidden Markov model (HMM) is used to characterize w...
Seyoung Kim, Padhraic Smyth
ISMVL
2005
IEEE
90views Hardware» more  ISMVL 2005»
15 years 4 months ago
Test Generation and Fault Localization for Quantum Circuits
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
Marek A. Perkowski, Jacob Biamonte, Martin Lukac
77
Voted
RTA
2005
Springer
15 years 4 months ago
Proving Positive Almost-Sure Termination
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
Olivier Bournez, Florent Garnier
CONCUR
2011
Springer
13 years 10 months ago
A Spectrum of Behavioral Relations over LTSs on Probability Distributions
Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavi...
Silvia Crafa, Francesco Ranzato
GLOBECOM
2009
IEEE
15 years 2 months ago
Stochastic Network Calculus Models under Max-Plus Algebra
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
Jing Xie, Yuming Jiang