1056 search results - page 11 / 212 » A Probabilistic Applied Pi-Calculus |
AAAI
1992
13 years 8 months ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
ENTCS
2007
13 years 7 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
FLAIRS
2000
13 years 9 months ago
2000
In this note we present and discuss results of experiments comparing the performance of six neural network architectures (back propagation, recurrent network with dampened feedbac...
AAAI
1994
13 years 8 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
MPC
2004
Springer
14 years 26 days ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.