124 search results - page 12 / 25 » Quantum entanglement analysis based on abstract interpretati... |
JBI
2007
14 years 10 months ago
2007
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
SMC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Some of the established approaches to evaluating text clustering algorithms for information retrieval show theoretical flaws. In this paper, we analyze these flaws an...
CASSIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
102
click to vote
ICFP
2002
ACM
15 years 10 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
CRYPTO
2011
Springer
13 years 9 months ago
2011
Springer
We present a somewhat homomorphic encryption scheme that is both very simple to describe and analyze, and whose security (quantumly) reduces to the worst-case hardness of problems ...