Sciweavers

3760 search results - page 42 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ICIP
2009
IEEE
16 years 27 days ago
On The Role Of Context In Probabilistic Models Of Visual Saliency
In recent years, many principled probabilistic definitions for the determination of visual saliency have been proposed. Moreover, there has been increased focus on the role of con...
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 5 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
RTA
2005
Springer
15 years 5 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 11 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