935 search results - page 69 / 187 » A Framework for Obfuscated Interpretation |
185
click to vote
CASCON
2001
15 years 7 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
219
click to vote
ISIWI
2004
15 years 7 months ago
2004
Bibliometric analysis has a long tradition in the context of scientific communication (Hood and Wilson 2001). In current discussions related to the impact of research results one ...
151
click to vote
FSS
2007
15 years 6 months ago
2007
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
161
click to vote
SIAMIS
2008
15 years 6 months ago
2008
We present novel wavelet-based inpainting algorithms. Applying ideas from anisotropic regularization and diffusion our models can better handle degraded pixels at edges. We interp...
144
click to vote
APAL
2005
15 years 6 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...