Logic programming provides a high-level view of programming, giving implementors a vast latitude in what techniques to research towards obtaining the best performance for logic programs. One of the holy grails of logic programming has been to design computational models that could be executed eeciently and would allow for both a reduction of the search space and for exploiting all the available...

The Reinforcement Sensitivity Theory (RST) of personality is a theoretical account of the neural and psychological processes underlying the major dimensions of personality. The first of this introductory chapter traces the development of RST, from its official birth in 1970, through to Gray’s highly influential 1982 The Neuropsychology of Anxiety, and on to its major revision in 2000 with the s...

The purpose of this paper is to show that using decoupling techniques in a vector processor, the performance of vector programs can be greatly improved. We will show how, even for an ideal memory system with no latency, decoupling provides a signiicant advantage over standard mode of operation. We will also present data showing that for more realistic latencies, decoupled vector architectures p...

David Tax, Dick de Ridder and Robert P.W. Duin Pattern Recognition Group Faculty of Applied Physics, Delft University of Technology Lorentzweg 1, 2628 CJ Delft, The Netherlands fdavidt,[email protected]

In this paper, we introduce a new fragment of the rst-order temporal language, called the monodic fragment, in which all formulas beginning with a temporal operator (Since or Until) have at most one free variable. We show that the satissability problem for monodic formulas in various linear time structures can be reduced to the satissability problem for a certain fragment of classical rst-order...