492 search results - page 73 / 99 » Simplifying Probabilistic Programs Using Computer Algebra |
184
click to vote
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
IEEECIT
2010
IEEE
14 years 9 months ago
2010
IEEE
—This paper compares parallel and distributed implementations of an iterative, Gibbs sampling, machine learning algorithm. Distributed implementations run under Hadoop on facilit...
ICPR
2006
IEEE
15 years 12 months ago
2006
IEEE
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
95
Voted
FM
2006
Springer
15 years 2 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
111
click to vote
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
Although evolutionary algorithms (EAs) are widely used in practical optimization, their theoretical analysis is still in its infancy. Up to now results on the (expected) runtime ar...