Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

MAPPER, a low-level geographic information system

A Low-Level Geographic Information System (LL-GIS) was developed to provide a simple low-cost mapping program which can be executed in any personal computer, by individuals with different levels of knowledge in computing. MAPPER is an add-on module of FishBase - a global database with key information on the biology of fish - where it creates on-screen maps with information on biodiversity and the occurrence of species. In another application, MAPPER is used to display and analyzed geographical information on the Philippines.

A Test of Computer-assisted Matching Using the North Pacific Humpback Whale, Megaptera novaeangliae, Tail Flukes Photograph Collection

Testing was conducted of a computer-assisted system for matching humpback whale tail flukes photographs. Trials with a 12,000-photographs database found no differences in match success between matching by computer and matching by comparing smaller catalogs ranging in size from 200 to 400 photographs. Tests with a 24,000-photographs database showed that, on average, the first match was found after examining about 130 photographs whether the photograph quality was excellent, good, or poor. Match success did not appear to be strongly related to whether the tail flukes had especially distinctive markings or pigment patterns (recognition quality). An advantage of computer-assisted matching is the ability to compare new photographs to the entire North Pacific collection, where no bias is introduced based on expectation of resightings within or between specific areas, or based on expectation of behavioral role (e.g. matching “known” females to “known” females).

TWO TUTORIAL EXAMPLES OF MULTIVARIABLE CONTROL SYSTEM DESIGN.

Two tutorial examples are presented which illustrate different methods of designing practical multivariable control systems using frequency-domain techniques. In the first case eigenvector alignment techniques are used to manipulate and shape the generalized Nyquist diagrams, while in the second case LQG theory in conjunction with singular value plots is employed. In both cases the designs are carried out on a modern computer-aided control-system design package.

The use of syntax and multiple alternatives in the VODIS voice operated database inquiry system

The paper describes the architecture of VODIS, a voice operated database inquiry system, and presents some experiments which investigate the effects on performance of varying the level of a priori syntactic constraints. The VODIS system includes a novel mechanism for incorporating context-free grammatical constraints directly into the word recognition algorithm. This allows the degree of a priori constraint to be smoothly varied and provides for the controlled generation of multiple alternatives. The results show that when the spoken input deviates from the predefined task grammar, a combination of weak a priori syntax rules in conjunction with full a posteriori parsing on a lattice of alternative word matches provides the most robust recognition performance. © 1991.

Corpus design for a unit selection TtS system with application to Bulgarian

In this paper we present the process of designing an efficient speech corpus for the first unit selection speech synthesis system for Bulgarian, along with some significant preliminary results regarding the quality of the resulted system. As the initial corpus is a crucial factor for the quality delivered by the Text-to-Speech system, special effort has been given in designing a complete and efficient corpus for use in a unit selection TTS system. The targeted domain of the TTS system and hence that of the corpus is the news reports, and although it is a restricted one, it is characterized by an unlimited vocabulary. The paper focuses on issues regarding the design of an optimal corpus for such a framework and the ideas on which our approach was based on. A novel multi-stage approach is presented, with special attention given to language and speaker dependent issues, as they affect the entire process. The paper concludes with the presentation of our results and the evaluation experiments, which provide clear evidence of the quality level achieved. © 2011 Springer-Verlag.