546 search results - page 16 / 110 » Extended Null-Move Reductions |
ICDE
2006
IEEE
14 years 2 months ago
2006
IEEE
: Handling with large amount of data is common now. Employing extendible array to deal with increasing data is really effective. But in the conventional extendible arrays all of th...
PROVSEC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
EACL
1993
ACL Anthology
13 years 9 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
We are investigating methods to reduce partial volume effect (PVE) in medical images acquired as a series of thick slices, in particular Magnetic Resonance Imaging (MRI) of the hu...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...