13026 search results - page 102 / 2606 » Probabilistic Relational Models |
115
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
: The MASC model is a multi-SIMD model that uses control parallelism to coordinate the interaction of data parallel threads. It supports a generalized associative style of parallel...
122
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
141
click to vote
RP
2009
Springer
15 years 9 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
115
click to vote
COGSCI
2008
15 years 3 months ago
2008
This study presents a probabilistic model of melody perception, which infers the key of a melody and also judges the probability of the melody itself. (A "melody" is def...
233
click to vote
LSSC
2007
Springer
15 years 9 months ago
2007
Springer
The Ant Colony Optimization (ACO) algorithms are being applied successfully to a wide range of problems. ACO algorithms could be good alternatives to existing algorithms for hard c...