1953 search results - page 177 / 391 » Embedded Probabilistic Programming |
182
click to vote
ICALP
1994
Springer
15 years 9 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
188
click to vote
ICALP
2011
Springer
14 years 9 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
166
click to vote
JMLR
2012
13 years 8 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...
151
click to vote
RTSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
275
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...