4850 search results - page 199 / 970 » Proof and Computation in Geometry |
144
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
163
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
Quantum key distribution is the best known application of quantum cryptography. Previously proposed proofs of security of quantum key distribution contain various technical subtle...
200
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
167
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
184
click to vote
ICSAP
2010
15 years 8 months ago
2010
- This paper describes a novel algorithm designed for tamper proofing of 3D models. Fragile watermarking is a known technique for detecting location of tamper in the artwork. Howev...