450 search results - page 72 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
ECAI
1992
Springer
14 years 21 days ago
1992
Springer
ABSTRACT. This paper investigates the problem of finding subclasses of nonmonotonic reasoning which can be implemented efficiently. The ability to "define" propositions u...
SIGGRAPH
1993
ACM
14 years 21 days ago
1993
ACM
The Fourier projection-slice theorem allows projections of volume data to be generated in O(n2 log n) time for a volume of size n3 . The method operates by extracting and inverse ...
ICIP
2007
IEEE
14 years 14 days ago
2007
IEEE
The search for alias-free sampling lattices for a given frequency support, in particular those lattices achieving minimum sampling densities, is a fundamental issue in various app...
ASIAN
2006
Springer
14 years 11 days ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
COCO
2006
Springer
14 years 10 days ago
2006
Springer
Let C be a class of distributions over {0, 1}n . A deterministic randomness extractor for C is a function E : {0, 1}n {0, 1}m such that for any X in C the distribution E(X) is sta...