A procedure is developed to quantify and improve the signal-to-noise ratio (SNR) of Magnetic Resonance images. The image SNR is quanti ed using the correlation function of two independent acquisitions of an image. To test the performance of the quanti cation, SNR measurement data are tted to theoretically expected curves. The proposed correlation technique is also used to improve the SNR by est...

Kowalski and Sergot s Event Calculus EC is a simple tempo ral formalism that given a set of event occurrences derives the maximal validity intervals MVIs over which properties initi ated or terminated by these events hold It does so in polyno mial time with respect to the number of events Extensions of its query language with Boolean connectives and operators from modal logic have been shown to...

A multiperson decision-making problem, where the information about the alternatives provided by the experts can be presented by means of di€erent preference representation structures (preference orderings, utility functions and multiplicative preference relations) is studied. Assuming the multiplicative preference relation as the uniform element of the preference representation, a multiplicativ...

This article describes a corpus-based investigation of quantiŽer scope preferences. Following recent work on multimodular grammar frameworks in theoretical linguistics and a long history of combining multiple information sources in natural language processing, scope is treated as a distinct module of grammar from syntax. This module incorporates multiple sources of evidence regarding themost li...

It is part of the tradition and folklore of automated reasoning that the intractability of Cooper s decision procedure for Presburger in teger arithmetic makes is too expensive for practical use More than years of work has resulted in numerous approximate procedures via rational arithmetic all of which are incom plete and restricted to the quanti er free frag ment In this paper we report on an ...

In this paper, we consider the problem of expressing and computing queries on relational deductive databases in a purely declarative query language, called SHQL (Semi-Horn Query Language). Assuming the relational databases in question are ordered, we show that all SHQL queries are computable in PTIME (polynomial time) and the whole class of PTIME queries is expressible in SHQL. Although similar...

We present a sound and complete, tractable inference method for reasoning with localized closed world assumptions (LCWA's) which can be used in applications where a reasoning or planning agent can not assume complete information about planning or reasoning states. This Open World Assumption is generally necessary in most realistic robotics applications. The inference procedure subsumes that des...

This paper addresses the modeling of certain rate-dependent mechanisms which contribute to hysteresis inherent to piezoelectric materials operating at low frequencies. While quasistatic models are suitable for initial material characterization in some applications, the reduction in coercive eld and polarization values which occur as frequencies increase must be accommodated to achieve the full ...

Hypergraph Operations, and Logi al Types A. Blumensath 1 Universität Darmstadt Fa hberei h Mathematik, AG 1 S hloÿgartenstraÿe 7 64289 Darmstadt Germany B. Cour elle LaBRI Bordeaux 1 University 351, Cours de la Libération 33405 Talen e edex Fran e Abstra t We study several algebras of graphs and hypergraphs and the orresponding notions of equational sets and re ognizable sets. We generalize and...