1029 search results - page 19 / 206 » Dependence Anti Patterns |
129
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
125
Voted
FORTE
2010
15 years 3 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
NIPS
2000
15 years 3 months ago
2000
In memory consolidation, declarative memories which initially require the hippocampus for their recall, ultimately become independent of it. Consolidation has been the focus of nu...
200
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
245
Voted
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper investigates the discovery of conditional functional dependencies (CFDs). CFDs are a recent extension of functional dependencies (FDs) by supporting patterns of semantic...