3994 search results - page 329 / 799 » A Linear Logical Framework |
188
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, an efficiently DWT-based watermarking technique is proposed to embed signatures in images to attest the owner identification and discourage the unauthorized copying...
212
click to vote
DLOG
2010
15 years 5 months ago
2010
Abstract. Inconsistency and incoherency are two sorts of erroneous information in a DL ontology which have been widely discussed in ontology-based applications. For example, they h...
197
click to vote
DLOG
2010
15 years 5 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...
284
Voted
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
238
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...