the analytic signal method is a semiautomatic method for estimating the location of causative bodies in magnetic and gravity methods. the application of analytic signal for interpretation of two dimensional (2d) structures was introduced by nabighian (1972). the analytic signal is defined as a complex function in which the real and imaginary parts are a pair of hilbert transforms. in other word...

We study complexity of methods using rigid variables, like the method of matings or the tableau method, on a decidable class of predicate calculus wi th equality. We show some intrinsic complications introduced by rigid variables. We also consider strategies for increasing multiplicity in rigid-variable methods, and formally show that the use of intelligent strategies can result in an essential...

In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of sc...

We address the problem of combining decision procedures for sets with decision procedures for objects that are not (necessarily) sets. We present Nelson-Oppen-based and tableau-based combination methods, we prove their correctness, analyze their complexity, and we describe heuristics that aim for efficiency.