759 search results - page 12 / 152 » A Perspective on Knowledge Compilation |
146
Voted
AIPS
2006
15 years 5 months ago
2006
We present a new algorithm for conformant probabilistic planning, which for a given horizon produces a plan that maximizes the probability of success under quantified uncertainty ...
116
Voted
PODS
2002
ACM
16 years 3 months ago
2002
ACM
COLING
1994
15 years 5 months ago
1994
133
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
142
Voted
SFP
2003
15 years 5 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...