3116 search results - page 151 / 624 » Positively dependent types |
120
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
140
click to vote
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
257
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
137
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Latent Layout Analysis (LLA) is a novel unsupervised learning technique to discover objects in unseen images using a set of un-annotated training images. LLA defines a generative ...
140
click to vote
ICTIR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. While the Probability Ranking Principle for Information Retrieval provides the basis for formal models, it makes a very strong assumption regarding the dependence between...