Sciweavers

967 search results - page 8 / 194
» Probabilistic Predicative Programming
Sort
View
SAS
2005
Springer
162views Formal Methods» more  SAS 2005»
15 years 5 months ago
Boolean Heaps
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
Andreas Podelski, Thomas Wies
ECOOP
2010
Springer
15 years 4 months ago
Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 3 months ago
A Probabilistic Framework for Vague Queries and Imprecise Information in Databases
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
Norbert Fuhr
ICDT
1995
ACM
91views Database» more  ICDT 1995»
15 years 3 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
Ke Wang
ACL
2003
15 years 1 months ago
Parsing with Generative Models of Predicate-Argument Structure
The model used by the CCG parser of Hockenmaier and Steedman (2002b) would fail to capture the correct bilexical dependencies in a language with freer word order, such as Dutch. T...
Julia Hockenmaier