967 search results - page 7 / 194 » Probabilistic Predicative Programming |
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
LANMR
2004
13 years 8 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
SSD
2005
Springer
14 years 26 days ago
2005
Springer
We study the problem of answering spatial queries in databases where objects exist with some uncertainty and they are associated with an existential probability. The goal of a thre...
CSL
2004
Springer
14 years 24 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Recently a new human authentication scheme called PAS (predicate-based authentication service) was proposed, which does not require the assistance of any supplementary device. T...