2432 search results - page 397 / 487 » Cryptographic logical relations |
151
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
148
click to vote
FUIN
2008
15 years 2 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
141
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Systems based on statistical and machine learning methods have been shown to be extremely effective and scalable for the analysis of large amount of textual data. However, in the r...
166
click to vote
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
155
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...