719 search results - page 133 / 144 » A Possible World Approach to Uncertain Relational Data |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
PODS
2005
ACM
14 years 7 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
BMCBI
2007
13 years 7 months ago
2007
Background: We develop a Bayesian method based on MCMC for estimating the relative rates of pericentric and paracentric inversions from marker data from two species. The method al...
JUCS
2008
13 years 7 months ago
2008
: Feature selection methods are often applied in the context of document classification. They are particularly important for processing large data sets that may contain millions of...
AIPS
2011
12 years 11 months ago
2011
Applying learning techniques to acquire action models is an area of intense research interest. Most previous works in this area have assumed that there is a significant amount of...