2432 search results - page 346 / 487 » Cryptographic logical relations |
163
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
155
click to vote
DLOG
2007
15 years 8 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
157
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
133
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates reconfigurable architectures suitable for chip multiprocessors (CMPs). Prior research has established that augmenting a conventional processor with reconfi...
127
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...