559 search results - page 6 / 112 » Dependency Inference |
POPL
2010
ACM
14 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
CIE
2007
Springer
14 years 1 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
UAI
2008
13 years 9 months ago
2008
Many algorithms and applications involve repeatedly solving variations of the same inference problem; for example we may want to introduce new evidence to the model or perform upd...
SETN
2010
Springer
14 years 2 months ago
2010
Springer
The preservation of digital objects is a topic of prominent importance for archives and digital libraries. This paper focuses on the problem of preserving the performability of tas...
CSFW
1998
IEEE
13 years 11 months ago
1998
IEEE
Existing work on inference detection for database systems mainly employ functional dependencies in the database schema to detect inferences. It has been noticed that analyzing the...