2432 search results - page 104 / 487 » Cryptographic logical relations |
DATESO
2004
15 years 2 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
89
Voted
JAIR
2011
14 years 7 months ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
83
Voted
WLP
1997
Springer
15 years 4 months ago
1997
Springer
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
113
Voted
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
108
Voted
AAAI
2007
15 years 2 months ago
2007
Transfer learning addresses the problem of how to leverage knowledge acquired in a source domain to improve the accuracy and speed of learning in a related target domain. This pap...