1953 search results - page 249 / 391 » Embedded Probabilistic Programming |
111
click to vote
APLAS
2006
ACM
15 years 8 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
136
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
108
Voted
ICTAC
2005
Springer
15 years 7 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
137
Voted
UM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose an approach for modeling the navigational behavior of Web users based on task-level patterns. The discovered “tasks” are characterized probabilistically as...
119
click to vote
AUSAI
2004
Springer
15 years 7 months ago
2004
Springer
We propose a multivariate decision tree inference scheme by using the minimum message length (MML) principle (Wallace and Boulton, 1968; Wallace and Dowe, 1999). The scheme uses MM...