Search Sciweavers | Sciweavers

2038 search results - page 44 / 408

» Probabilistic Agent Programs

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 4 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

click to vote

B
1998
Springer

101views Software Engineering» more B 1998»

The Generalised Substitution Language Extended to Probabilistic Programs

15 years 4 months ago

Download www.cse.unsw.edu.au

Let predicate P be converted from Boolean to numeric type by writing P , with false being 0 and true being 1, so that in a degenerate sense P can be regarded as `the probability th...

Carroll Morgan

claim paper

Read More »

click to vote

CPAIOR
2006
Springer

101views Operations Research» more CPAIOR 2006»

Event-Driven Probabilistic Constraint Programming

15 years 3 months ago

Download 4c.ucc.ie

Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...

Armagan Tarim, Brahim Hnich, Steven David Prestwic...

claim paper

Read More »

click to vote

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

15 years 1 months ago

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »