research involves the construction of a decision support system (DSS) to assist clinical managers in costing and contracting in the new internal market for neurosurgery in the UK National Health...
Margi Levy, Coventry Cv Al, Philip Powell, Philip Yetton
Little is understood about the process of alignment of information systems (IS). While the MIT90s model presents one view of how various firm elements are involved in alignment, other research...
Automatic verification of annotated code (2009)
Doron Peled, Hongyang Qu, Coventry Cv Al
1 Introduction Model checking [3] and testing [19] stand for two different ends of formal methods. The former tends to be more comprehensive in finding errors, while the latter only samples the...
School of Engineering, University of Warwick, (2009)
Christophe Y. Vincent, Coventry Cv Al
Obstacle detection by direct estimation of multiple motion and scene structure from a moving stereo rig*
Annual Postgraduate Progress (2008)
Coventry Cv Al, Nikolaos Papanikolaou, Supervisor Dr. R. Nagarajan, Advisor Dr. M. Jurdziński
Automatic Generation of Path Conditions for Concurrent Timed Systems (2008)
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis, Coventry Cv Al
United Kingdom Abstract. We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a...
676 SME TRANSFORMATION: MODELLING PROGRESSIONS ABSTRACT (2008)
Margi Levy, Philip Powell, Coventry Cv Al, Claverton Down, Bath Ba
Small firms (SMEs) are encouraged to embrace e-business. However, the mechanisms by which such business transformation occurs is not understood. IS transformation models suggest a single path,...
FINANCIAL DEPENDENCE AND THE ADOPTION OF THE INTERNET BY NON-PROFIT (2008)
Isabel Maria Macedo, Coventry Cv Al, José Carlos Pinho
Despite the increasing popularity and potential associated with the use of Internet, nonprofit organisations are not adopting this new information technology with the same speed other sectors like...
The Role of Biometrics in Virtual Communities (2008)
This chapter is intended to introduce the role of biometrics in virtual communities and digital governments. Key steps for a biometric system to complete an identification or verification /...
Printed by WarwickPrint, 2004. (2008)
Program Visualization Workshop, Ari Korhonen, Coventry Cv Al, Coventry Cv Al
ii The articles are c○2004 by the individual authors. Distribution:
Digital Watermarking for Multimedia Security Management (2008)
This chapter is intended to disseminate the concept of digital watermarking for multimedia security management in general, and multimedia copyright protection and content integrity verification in...
From Agent Theory to Agent Construction: A Case Study (2008)
Abstract. There is a growing body of work that concentrates on theoretical aspects of agents and multi-agent systems, and a complementary body of work concerned with building practical systems....
Digital Watermarking for Multimedia Security Management (2008)
This chapter is intended to disseminate the concept of digital watermarking for multimedia security management in general, and multimedia copyright protection and content integrity verification in...
Rajagopal Nagarajan, Nikolaos Papanikolaou, Coventry Cv Al, David Williams, Nagarajan Papanikolaou Williams
We present the SQRAM architecture for quantum computing, which is based on Knill’s QRAM model. We detail a suitable instruction set, which implements a universal set of quantum gates, and...
F.R.G. A. J. Pritchard Control Theory Centre (2008)
On spectral variations under bounded real matrix perturbations D. Hinrichsen Institut f"ur Dynamische Systeme
F.R.G. A. J. Pritchard Control Theory Centre (2008)
On the robustness of stable discrete time linear systems
Susan Hurley, Coventry Cv Al, Alva Noë
Abstract. We introduce a distinction between cortical dominance and cortical deference, and apply it to various examples of neural plasticity in which input is rerouted intermodally or intramodally...
Direct Evidence for the Cooperative Unfolding of (2008)
Cytochrome In Lipid, Hong Cheng, Steven H. Seeholzer, Heinrich Roder, Coventry Cv Al
ing *Corresponding author Introduction The interaction of water-soluble proteins with membranes is a common event occurring during the course of various cellular processes. Examples include the...
Spatio-Temporal Filtering For Moving Objects Tracking (2007)
Kung-Hao Liang, Tardi Tjahjadi, Coventry Cv Al
Motion field segmentation is an important stage in a real-time object tracking. The multi-point optical flow approach is a means to achieve this, but the approach is limited by uncertainty. This...
Multiscale Texture Segmentation based on Image Spectrum (2007)
Kung-Hao Liang, Tardi Tjahjadi, Coventry Cv Al, Yee-hong Yang
Texture Segmentation is a multiscale task because both the global and the local information of an image are required. The Multiscale Texture Segmentation (MTS) employs the Boltzmann probability to...
Multiresolution Random Fields and Their Application to Image Analysis (2007)
Roland Wilson, Chang-tsun Liy, Coventry Cv Al
In this paper, a new class of Random Field, dened on a multiresolution array structure, is dened. These combine earlier, tree based models with the more conventional MRF models. The fundamental...
Definitive Programming for Parallelism (2007)
Draft Paper Meurig, Meurig Beynon, Coventry Cv Al
Programming language principles are of fundamental importance in supporting major applications on multiprocessor architectures. Many different language paradigms for general-purpose parallel...
Improved Compressions of Cube-Connected Cycles Networks (2007)
We present a new technique for the embedding of large cube-connected cycles networks (CCC) into smaller ones, a problem that arises when algorithms designed for an architecture of an ideal size are...
Diffusing Through Spectres: Ridge Curves, Ghost Circles and a Partition of Phase Space (2007)
Mackay Muldoon, R. S. Mackay, M. R. Muldoon, Coventry Cv Al
The study of transport in Hamiltonian and related systems is greatly illuminated if one can construct a framework of "almost invariant" surfaces to organize the dynamics. This can be done...
Approximation of Spectral Value Sets (2007)
E. Gallestey, D. Hinrichsen, A.J. Pritchard, Coventry Cv Al
this paper we study the problem of how to determine spectral value sets for infinite dimensional linear operators. In [2] we showed that the sets can be characterized in terms of the norm of the...
Non-Uniformly Expanding Dynamics in Maps With Singularities and Criticalities (2007)
Stefano Luzzatto, Warwick Tucker, Coventry Cv Al
We investigate a one-parameter family of interval maps arising in the study of the geometric Lorenz flow for non-classical parameter values. Our conclusion is that for all parameters in a set of...
Elections and Strategic Positioning Games (2007)
Frank H. Page, Myrna H. Wooders, Coventry Cv Al
We formalize the interplay between expected voting behavior and stragetic positioning behavior of candidates as a common agency problem in which the candidates (i.e., the principals) compete for...
Computing With Abelian Sections of Finitely Presented Groups. (2007)
Sarah Rees, Sarah Rees, Derek F. Holt, Derek F. Holt, Derek F. Holt, Coventry Cv Al
Let G be a finitely presented group. This paper describes the theory and practice of a method for obtaining information about the finite and abelian-by-finite quotients of G, which often allows...
A Substructural Logic for Formal Verification (2007)
Sara Kalvala, Coventry Cv Al, Valeria De Paiva
sabelle is that it provides a quick route from a formal logic to a proof environment that can be applied directly in verification tasks. 1 Background We build on results from two active areas of...
Improved Compressions of Cube-Connected Cycles Networks (2007)
We present a new technique for the embedding of large cube-connected cycles networks (CCC) into smaller ones, a problem that arises when algorithms designed for an architecture of an ideal size are...
V. M. Gundlach, D. A. Rand, Coventry Cv Al
In a series of three papers, we study the geometrical and statistical structure of a class of coupled map lattices with natural couplings. These are infinite-dimensional analogues of Axiom A systems....
Spatio-Temporal Chaos. 2. Unique Gibbs States for Higher-Dimensional Symbolic Systems (2007)
V. M. Gundlach, D. A. Rand, Coventry Cv Al
In a series of three papers, we study the geometrical and statistical structure of a class of coupled map lattices with natural couplings. These are infinite-dimensional analogues of Axiom A systems....
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
We consider stochastic linear plants which are controlled by dynamic output feedback and subjected to both deterministic and stochastic perturbations. Our objective is to develop an H1 type theory...
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
This paper investigates the robustness of time--varying linear systems under a large class of complex time--varying perturbations. Previous results [8] which were restricted to bounded linear...
Spatio-Temporal Chaos. 3. Natural Spatio-Temporal Measures for Coupled Circle Map Lattices (2007)
V. M. Gundlach, D. A. Rand, Coventry Cv Al
In a series of three papers, we study the geometrical and statistical structure of a class of coupled map lattices with natural couplings. These are infinite-dimensional analogues of Axiom A systems....
A 30 MHz CMOS VLSI Programmable Short Signed Digit Coefficient Wave Digital Filter (2007)
S. Summerfield, Coventry Cv Al, A. J. Wicks
In prior work [4,6] the present authors have presented an algorithmic and architectural design technique for Lattice Wave Digital Filters that use coefficients taken from a short signed digit set; an...
TECHNOLOGICAL DIFFUSION AND THE FINANCIAL ENVIRONMENT By (2007)
Abstract: This paper considers reasons why financial factors may impact upon the diffusion of new technology and potential means of furthering research upon this topic. The main aim of this paper is...
This paper is preliminary and may be changed in light of comments received. Please do
The e¢ciency, equity and politics of emissions permit trading 1 (2007)
Myrna Wooders, Myrna Wooders, Ben Zissimos, Ben Zissimos, Coventry Cv Al
Abstract: This paper illustrates that an international permit trading system may hurt relatively poor countries by making associated economic activities una¤ordable. A model is constructed in which...
Arbitrage and Equilibrium in Economies with (2007)
Myrna Wooders, Cuong Le Van, Cuong Le Van, Myrna H. Wooders, Coventry Cv Al
∗ This paper is to appear in JournalofGlobalOptimization.The authors, in various combinations, are indebted to several institutions for hospitality and support. These include Paris 1 and the...
Department of Economics, University of Warwick, (2007)
Wiji Arulampalam, Coventry Cv Al
Abstract: This note points out to applied researchers what adjustments are needed to the coefficient estimates in a random effects probit model in order to make valid comparisons in terms of...
Philip A. Trostel, Coventry Cv Al
This study examines a crucial assumption in much of the recent work on endogenous growth, namely, constant returns to scale in the production of human capital. A simple model is constructed to show...
Myrna H. Wooders, Myrna H. Wooders, Coventry Cv Al
We formalize the interplay between expected voting behavior and stragetic positioning behavior of candidates as a common agency problem in which the candidates (i.e., the principals) compete for...
Cuong Le Van, Nizar Allouch, Nizar Allouch, Coventry Cv Al
In his seminal paper on arbitrage and competitive equilibrium in unbounded exchange economies, Werner (Econometrica, 1987) proved the existence of a competitive equilibrium, under a price noarbitrage...
Michael P. Clements, Jeremy Smith, Coventry Cv Al
In this paper we investigate the multi-period forecast performance of a number of empirical selfexciting threshold autoregressive (SETAR) models that have been proposed in the literature for...
Fast Food- the early years: Geography and the growth of a chain-store in the UK* (2007)
Joanne Sault, Otto Toivanen, Joanne Sault A, Otto Toivanen B, Michael Waterson A, Michael Waterson, ...
We examine the development of UK outlets of a major fast food chain, from inauguration in 1974 until 1990, after which industry structure changed somewhat. The chain effectively introduced the...
Myrna Wooders, Myrna Wooders, Coventry Cv Al, Coventry Cv Al
As female primates carry and nurse the fetus, it naturally falls on them to rear the o¤spring. On the assumption that males are at least equally adept at obtaining food, it follows that they...
Three Principles of Competitive Nonlinear Pricing (2007)
Coventry Cv Al, Paulo K. Monteiro, Paulo K. Monteiro
pklmfgv.br
2001) ``Networks and Farsighted Stability (2007)
Myrna H. Wooders, Myrna H. Wooders, Coventry Cv Al, Samir Kamat, Samir Kamat
The main contribution of this paper is to provide a framework in which the notion of farsighted stability for games, introduced by Chwe (1994), can be applied to directed networks. Then, using...
Michael P. Clements, Coventry Cv Al, Hans-martin Krolzig
We propose testing for business cycle asymmetries in Markov-switching autoregressive (MS-AR) models. We derive the parametric restrictions on MS-AR models that rule out types of asymmetries such as...
Nizar Allouch, Nizar Allouch, Coventry Cv Al, Cuong Le Van, Cuong Le Van
fpageuniv-parisl.fr
Norman J Ireland, Norman J Ireland, Coventry Cv Al
This paper considers a simple model of competition based on some buyers making price comparisons between two suppliers. The difficulties of making appropriate comparisons are made greater by...
i Maximum Sustainable Government Debt in the Overlapping Generations Model* (2007)
Neil Rankin, Coventry Cv Al, Barbara Roffia, Marcus Miller, O Pereira
* We are grateful for conversations with, and comments from, Gianluca Femminis, Laurence
Department of Economics, (2007)
Myrna Wooders, Myrna Wooders, Coventry Cv Al, Coventry Cv Al
The battle of the sexes over the distribution of male surplus ¤
Please address correspondence to (2007)
Noellie Brockdorff, Koen Lamberts, Evan Heit, Evan Heit, Coventry Cv Al
Two experiments combined the response-signal technique (Reed, 1973) with the DRM paradigm (e.g., McDermott & Roediger, 1998) to investigate the time course of false recognition memory, in...
Dwight Barkley, Coventry Cv Al
Results are reported from a three-dimensional computational stability analysis of flow over a backward-facing step with an expansion ratio (outlet to inlet height) of 2 at Reynolds numbers between...
T. C. Newcomb, A. W. Roscoe, Coventry Cv Al
model checking data-independent systems with arrays without reset
Please address correspondence to (2007)
Noellie Brockdorff, Koen Lamberts, Evan Heit, Evan Heit, Coventry Cv Al
An experiment investigated people’s ability to vary response criterion strategically in a recognition memory task, as a function of the length of time given to process test stimuli (from 100 ms to...
Computer-Assisted Assessment in Computer Science: Issues and (2007)
Simon Rawles, Mike Joy, Coventry Cv Al, Coventry Cv Al, Michael Evans
Software
Wilfried Meyer-viol, Maarten De Rijke, Coventry Cv Al
In this paper we introduce a description language for finite trees. Although we briefly note some of its intended applications, the main goal of the paper is to provide it with a sound and complete...
Interleaved Contractions Wiebe van der Hoek 1 (2007)
Maarten De Rijke, Coventry Cv Al
We study an approach to concurrent contractions, that is, to simultaneous contractions performed by multiple agents. Using ideas from the semantics of programming we adopt an interleaved approach to...
Maarten De Rijke, Coventry Cv Al
In many logics dealing with information one needs to make statements not only about cognitive states, but also about transitions between them. In this paper we analyze a dynamic modal logic that has...
Interleaved Contractions Wiebe van der Hoek 1 (2007)
Maarten De Rijke, Coventry Cv Al
We study an approach to concurrent contractions, that is, to simultaneous contractions performed by multiple agents. Using ideas from the semantics of programming we adopt an interleaved approach to...
Michael P. Devereux, Coventry Cv Al, Gauthier Lanot
This paper derives measures of the average and marginal incidence of a tax or subsidy in imperfect competition, in the context of the UK housing market. We argue that one form of mortgage, common in...
Department of Economics, (2007)
Myrna Wooders, Myrna Wooders, Coventry Cv Al, Coventry Cv Al
The battle of the sexes over the distribution of male surplus ¤
T. C. Newcomb, A. W. Roscoe, Coventry Cv Al
model checking data-independent systems with arrays without reset
Departments of Psychology & Linguistics (2007)
Morten H. Christiansen, Nick Chater, Coventry Cv Al
Capturing the empirical data
Dynamics of relative phases: generalised multibreathers (2007)
Taehoon Ahn, Robert S. Mackay, The Nonlinear Centre, Coventry Cv Al
c: New permanent address:
Safety criteria for aperiodically forced systems Z.Bishnani R.S.MacKay (2007)
The theory of uniform hyperbolicity is used to obtain realistic safety criteria on the set of forcing functions for which the response of a dynamical system remains in a prescribed safety region.
Department of Economics, University of Warwick, (2007)
Myrna Wooders, Myrna Wooders, Coventry Cv Al, Coventry Cv Al
The battle of the sexes over the distribution of male surplus ¤
AFormal Framework for Agency and Autonomy (2007)
With the recent rapid growth of interest in Multi-Agent Systems, both in arti cial intelligence and software engineering, has come an associated di culty concerning basic terms and concepts. In...
From Agent Theory to Agent Construction: A Case Study (2007)
Abstract. There is a growing body of work that concentrates on theoretical aspects of agents and multi-agent systems, and a complementary body of work concerned with building practical systems....
Expressiveness Revisited (2007)
Carlos Areces, Coventry Cv Al, Maarten De Rijke
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equivalent, and we...
A parabolic Yoccoz inequality. (2007)
Xavier Bu, Adam L. Epstein, Coventry Cv Al
Abstract. In a recent preprint [B], Bergweiler relates the number of critical points contained in the immediate basin of a multiple xed point of a rational map f: P 1
Jonathan P. Thomas, Coventry Cv Al
Abstract: The paper analyzes the Nash equilibria of two-person discounted repeated games with one-sided incomplete information. If the informed player is arbitrarily patient relative to the...
Please address correspondence to (2007)
Ulrike Hahn, Aidan Feeney, Evan Heit, Evan Heit, Coventry Cv Al
Why do some observations lead to broad generalizations whereas other observations do not have as much influence on people’s beliefs? One principle of evaluating evidence is the diversity principle,...
Andreas Voss, Jochen Voss, Coventry Cv Al
In this paper, we describe a new algorithmic approach for parameter estimation in Ratcliff’s (1978) diffusion model. This problem, especially if inter-trial variabilities of parameters are included...
Andreas Voss, Jochen Voss, Coventry Cv Al
In this paper, we describe a new algorithmic approach for parameter estimation in Ratcliff’s (1978) diffusion model. This problem, especially if inter-trial variabilities of parameters are included...
Relations between premise similarity and inductive strength (2005)
Coventry Cv Al, Evan Heit, Evan Heit, Aidan Feeney
According to the diversity principle, diverse evidence is strong evidence. There has been considerable evidence that people respect this principle in inductive reasoning. However, exceptions may be...
Race conditions in message sequence charts (2005)
Chien-an Chen, Sara Kalvala, Jane Sinclair, Coventry Cv Al
Abstract. Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment. The...
Ergodic Pumping: a mechanism to drive biomolecular conformation changes (2005)
We propose that a significant contribution to the power stroke of myosin and similar conformation changes in other biomolecules is the pressure of a single molecule (e.g. a phosphate ion) expanding a...
Ergodic Pumping: a mechanism to drive biomolecular conformation changes (2005)
It is proposed that a significant contribution to the power stroke of myosin and similar conformation changes in other biomolecules is the osmotic pressure of a single molecule (e.g. a phosphate ion)...
Chang-tsun Li, Chang-tsun Li, Coventry Cv Al
As the interconnected networks for instant transaction prevail and the power of digital multimedia processing tools for perfect duplication and manipulation increases, forgery and impersonation...
Model Based Optimal Bit Allocation (2004)
Nasir M. Rajpoot, Coventry Cv Al
Modeling of the operational rate-distortion characteristics of a signal can significantly reduce the computational complexity of an optimal bit allocation algorithm. In this report, such models are...
Jhr@maths.warwick.ac.uk (2004)
algebra (C (M)[[#]], #) which we shall write as Z(M, #). We have seen that when # is di#erential Z(M, #) contains all locally constant functions. If u = u 0 + u 1 # + u 2 # + # Z(M, #) then u # v - v...
Lectures on Slow Manifolds (2003)
The theory of slow manifolds is reviewed and extended, with special emphasis on the Hamiltonian context. For a broad range of dynamical systems with a small separation of timescales parameter ",...
Local Discriminant Wavelet Packet Basis (2003)
For Texture Classification, Nasir Rajpoot, Coventry Cv Al
Wavelet packets are well-known for their ability to compactly represent textures consiting of oscillatory patterns such as fingerprints or striped cloth. In this paper, we report recent work on...
Simplicity: A unifying principle in cognitive science? (2003)
Nick Chater, Paul Vitányi, Coventry Cv Al
This article reviews research exploring the idea that simplicity does, indeed, drive a wide range of cognitive processes. We outline mathematical theory, computational results, and empirical data...
Malcolm Mcintosh, Coventry Cv Al
We would like to thank the SIGMA organisational partners and other organisations which participated in this research. In some cases, due to the sensitivity of the research findings, the interviewees...
How Robust is the Foreign Policy/Kearney Index of Globalisation? (2001)
Ben Lockwood, Ben Lockwood, Coventry Cv Al
We argue that the Kearney/Foreign Policy (KFP) index of globalisation is constructed by making some problematic assumptions about the measurement, normalisation and weighting of the variables...
Diversity-based reasoning in children (2001)
Coventry Cv Al, Evan Heit, Evan Heit, Ulrike Hahn
One of the hallmarks of inductive reasoning by adults is the diversity effect, namely that people draw stronger inferences from a diverse set of evidence than from a more homogenous set of evidence....
Patterns of Oscillation in Coupled Cell Systems (2000)
Abstract Coupled oscillators or coupled cell systems are used as models in a variety of physical and biological contexts. Each of these models includes assumptions about the internal dynamics of a...
A note on graded modal logic (2000)
Maarten De Rijke, Coventry Cv Al
We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing...
Density Forecasting: A Survey (2000)
Anthony S. Tay, Kenneth F. Wallis, Coventry Cv Al
forthcoming A density forecast of the realization of a random variable at some future time is an estimate of the probability distribution of the possible future values of that variable. This chapter...
Heteroclinic cycles in rings of coupled cells (2000)
Pietro-luciano Buono, Coventry Cv Al, Martin Golubitsky, Antonio Palacios
Symmetry is used to investigate the existence and stability of heteroclinic cycles involving steady-state and periodic solutions in coupled cell systems with D n-symmetry. Using the lattice of...
Properties of Inductive Reasoning (2000)
Coventry Cv Al, Evan Heit, Evan Heit
This paper reviews the main psychological phenomena of inductive reasoning, covering 25 years of experimental and model-based research, in particular addressing four questions. First, what makes a...
A Note on Graded Modal Logic (2000)
Maarten De Rijke, Coventry Cv Al
We introduce a notion of bisimulation for graded modal logic. Using these bisimulations the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing...
A Secure On-Line Submission System (1999)
Michael Luck, Mike Joy, Coventry Cv Al
As student numbers on Computer Science courses continue to increase, the corresponding demands placed on teaching staff in terms of assessment grow ever stronger. In particular the submission and...
A Secure On-Line Submission System (1999)
Michael Luck, Mike Joy, Coventry Cv Al
As student numbers on Computer Science courses continue to increase, the corresponding demands placed on teaching staff in terms of assessment grow ever stronger. In particular the submission and...
Stephen R. Bond, Stephen R. Bond, Michael P. Devereux, Michael P. Devereux, Coventry Cv Al
This paper considers the relationship between two general neutral business tax structures, which we label the ‘…rm tax ’ and the ‘shareholder tax’. The well-known R-based and S-based cash...
Tiling multi-dimensional arrays (1999)
Jonathan P. Sharp, Coventry Cv Al
Abstract. We continue the study of the tiling problems introduced in [KMP98]. The rst problem we consider is: given a d-dimensional array of non-negative numbers and a tile limit p, partition the...
Image Matching Based On The Co-occurrence Matrix (1999)
Hsing-Wen Hseu, Abhir Bhalerao, Roland Wilson, Coventry Cv Al
Contents 1 Introduction 1 2 Toward Image Matching 2 2.1 Co-occurrence matrices . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Pyramid Structures in Mutiresolution methods . . . . . . . . ....
This paper adopts a network frame of analysis. Not only does this kind of analysis recognise the role of informal actors in decision making processes, it also accommodates the idea that think tanks...
Y. Cai, W. S. Kendall, Yuzhi Cai, Wilfrid S. Kendall, Coventry Cv Al
This document describes a C implementation of an algorithm for a perfect simulation of a Boolean model conditioned to cover a set of points S = fx 1 ; x 2 ; :::; x k g in a bounded window W . This is...
Learning Fixed-dimension Linear Thresholds From Fragmented Data (1999)
Paul W. Goldberg, Coventry Cv Al
We investigate PAC-learning in a situation in which examples (consisting of an input vector and 0/1 label) have some of the components of the input vector concealed from the learner. This is a...
Perfect Metropolis-Hastings simulation of locally stable point processes (1999)
Wilfrid S. Kendall, Jesper Møller, Coventry Cv Al
In this paper we investigate the application of perfect simulation, in particular Coupling from The Past (CFTP), to the simulation of random point processes. We give a general formulation of the...
Tiling Multi-Dimensional Arrays (1999)
Jonathan P. Sharp, Coventry Cv Al
. We continue the study of the tiling problems introduced in [KMP98]. The rst problem we consider is: given a d-dimensional array of non-negative numbers and a tile limit p, partition the array into...
A modal characterization of Peirce algebras (1998)
Maarten De Rijke, Coventry Cv Al
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This note offers a modal perspective on Peirce algebras. It uses modal logic to characterize the...
Methods and problems of wavelength-routing in all-optical networks (1998)
We give a survey of recent theoretical results obtained for wavelength-routing in all-optical networks. The survey is based on the previous survey in [Beauquier, B., Bermond, J-C., Gargano, L., Hell,...
The Unit of Selection in Viscous Populations and the Evolution of Altruism (1998)
Minus Van Baalen, Minus Van, David A. Rand, Keywords Evolution, Viscous Populations, ...
Group selection can overcome individual selection for selfishness and favor altruism if there is variation among the founders of spatially distinct groups, and groups with many altruists become...
A Two-component Model of Texture for Analysis and Synthesis (1998)
Tao-I Hsu, R Wilson, Chung Cheng, Coventry Cv Al
A model of natural texture based on a structural component which uses affine coordinate transformations and a stochastic residual component is presented. It is argued that the selection of an...
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
We consider stochastic linear plants which are controlled by dynamic output feedback and subjected to both deterministic and stochastic perturbations. Our objective is to develop an H 1 type theory...
A Modal Characterization of Peirce Algebras (1998)
Maarten De Rijke, Coventry Cv Al
To appear in E. Orlowska, editor, Logic at Work , Kluwer Academic Publishers. Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This note offers a...
Expressiveness Revisited (1998)
Carlos Areces, Coventry Cv Al, Maarten De Rijke
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equivalent, and we...
Image Segmentation Based On The Multiresolution Fourier Transform and Markov Random Fields (1998)
Guo-huei Chen, Roland Wilson, Coventry Cv Al
In this work, the Multiresolution Fourier Transform (MFT) and Markov Random Fields (MRFs) are combined to produce as a tool for image segmentation. Firstly, a Laplacian Pyramid is used as a high-pass...
Methods and Problems of Wavelength-Routing in All-Optical Networks (1998)
We give a survey of recent theoretical results obtained for wavelength-routing in all-optical networks. The survey is based on the previous survey in [Beauquier, B., Bermond, J-C., Gargano, L., Hell,...
Developing A Simulation Strategy For British Airways Or (1998)
Stewart Robinson, Mark Stanger, Coventry Cv Al
Many organisations have seen the use of simulation evolve, often in something of a piecemeal fashion. This may lead to some deficiencies in the way that simulation is employed. Therefore, it is...
Bergamo Italy, Andrew J. Oswald, Philip A. Trostel, Coventry Cv Al
Labour economics has produced more empirical evidence than most areas of economics. This article summarizes six examples of regularities in labour-market data which seem relevant for understanding...
Programs that Model Themselves (1998)
Work on reflection has frequently concentrated on programming languages and operating systems. This work either involves the use of tower reflection or meta-object protocols. The subject of this...
Deciding properties of message sequence charts (1998)
Anca Muscholl, Doron Peled, Coventry Cv Al
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also included, in a...
Rijke. Two-sorted metric temporal logic (1997)
Angelo Montanari, Maarten De Rijke, Coventry Cv Al
Temporal logic has been successfully used for modeling and analyzing the behavior of reactive and concurrent systems. Standard temporal logic is inadequate for real-time applications because it only...
Rijke. Why combine logics (1997)
Patrick Blackburn, Maarten De Rijke, Coventry Cv Al
Combining logics has become a rapidly expanding enterprise that is inspired mainly by concerns about modularity and the wish to join together tailored made logical tools into more powerful but still...
Rijke. Classifying description logics (1997)
Natasha Kurtonina, Maarten De Rijke, Coventry Cv Al
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness results for a wide...
From agent theory to agent construction: A case study (1997)
Michael Luck, Nathan Griffiths, Coventry Cv Al
Abstract. There is a growing body of work that concentrates on theoretical aspects of agents and multi-agent systems, and a complementary body of work concerned with building practical systems....
A Riccati Equation For Stochastic ... (1997)
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
In this note we report on a new kind of algebraic Riccati equation which we encountered when studying an H 1 type problem of disturbance attenuation for stochastic linear systems. The same equation...
Multiresolution Segmentation of Optical Flow Fields for Object Tracking (1997)
Kung-Hao Liang, Tardi Tjahjadi, Coventry Cv Al
The segmentation of optical flow fields is an important stage in real-time object tracking. The multi-point optical flow approach is a means to achieve this, but the approach is limited by...
Expressiveness of First-Order Description Logics (1997)
Natasha Kurtonina, Maarten De Rijke, Coventry Cv Al
We introduce a method for characterizing the expressive power of firstorder description logics. The method is essentially model-theoretic in nature in that it gives preservation results uniquely...
Classifying Description Logics (1997)
Natasha Kurtonina Center, Natasha Kurtonina, Maarten De Rijke, Coventry Cv Al
We describe a method for characterizing the expressive power of description logics. The method is essentially model-theoretic in nature, and it is applied to obtain expressiveness results for a wide...
From Agent Theory to Agent Construction: A Case Study (1997)
Michael Luck, Nathan Griffiths, Coventry Cv Al
. There is a growing body of work that concentrates on theoretical aspects of agents and multi-agent systems, and a complementary body of work concerned with building practical systems. However, the...
On The Spectral Value Set Problem In Infinite Dimensions (1997)
E. Gallestey, D. Hinrichsen, A.J. PRITCHARD, Coventry Cv Al
. We study how the spectrum of closed linear operators on infinite dimensional spaces change under the effect of perturbations. The spectral value set that can be achieved by perturbations of a given...
A Dynamic Semantics for Sense Extension (1997)
Carl Vogel, Catherine Collin, Buccleuch Place, Ulrike Hahn, Coventry Cv Al
This paper is about the problem of sense extension. "Sense" can be understood as its non-technical manifestation --- the sense or meaning of a word. Specifically, this paper deals with...
Computer-Assisted Learning Using the Web (1997)
Mike Joy, Michael Luck, Coventry Cv Al
As student numbers increase, and as more flexible methods of teaching are required both for traditional higher and further education courses and for more novel distance learning, the challenge facing...
On the Complexity of String Folding (1996)
Mike Paterson, Coventry Cv Al, Teresa Przytycka
A fold of a finite string S over a given alphabet is an embedding of S in some fixed infinite grid, such as the square or cubic mesh. The score of a fold is the number of pairs of matching string...
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
We consider linear plants controlled by dynamic output feedback which are subjected to blockdiagonal stochastic parameter perturbations. The stability radii of these systems are characterized and it...
A Monte Carlo study of the forecasting performance of empirical SETAR models (1996)
Michael P. Clements, Jeremy Smith, Coventry Cv Al
In this paper we investigate the multi-period forecast performance of a number of empirical selfexciting threshold autoregressive (SETAR) models that have been proposed in the literature for...
Rijke. Interleaved Contractions (1996)
Maarten De Rijke, Coventry Cv Al
We study an approach to concurrent contractions, that is, to simultaneous contractions performed by multiple agents. Using ideas from the semantics of programming we adopt an interleaved approach to...
Symmetry Detectives for SBR Attractors (1995)
We also present a density theorem for such detectives and we show that the detective for rings of p coupled cells (nearest neighbor coupling) with Dp symmetry first given in [1] is a detective for...
Formal Techniques in the Development of Blackboard Systems (1995)
The blackboard architecture has been an essentially informal construct from its inception. This has led to different, though essentially similar, interpretations of the original metaphor. In a recent...
On Tangential Star Products (1995)
For The Coadjoint, M. Cahen, S. Gutt, J. Rawnsley, Coventry Cv Al
We derive necessary conditions on a Lie algebra from the existence of a star product on a neighbourhood of the origin in the dual of the Lie algebra for the coadjoint Poisson structure which is both...
Computing inertial manifolds (1995)
James C. Robinson, Coventry Cv Al
Abstract. This paper discusses two numerical schemes that can be used to approximate inertial manifolds whose existence is given by one of the standard methods of proof. The methods considered are...
R. Wilson, H. Knutsson, Coventry Cv Al
This paper is concerned with the problem of attaching meaningful symbols to aspects of the visible environment in machine and biological vision. It begins with a review of some of the arguments...
Agents That Model Themselves (1994)
In this paper, we adopt a symbolic interactionist perspective on MultiAgent Systems. We investigate the uses and genesis of agent models, both Self and acquaintance models and argue that the symbolic...
Robust stability of linear evolution operators on Banach spaces (1994)
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
In this paper we introduce a stability radius for a wide class of linear infinite-dimensional time-varying systems under structured time--varying perturbations. A framework is presented which allows...
Curve Extraction in Images Using the (1994)
Multiresolution Fourier Transform, Coventry Cv Al
In this paper, a curve extraction algorithm which is de#ned within a multiresolution framework is described. An image model based on local features such as lines and edges is assumed and the...
Shrinkage of de Morgan formulae under restriction (1993)
Michael S. Paterson, Coventry Cv Al, Uri Zwick
It is shown that a random restriction leaving only a fraction " of the input variables unassigned reduces the expected de Morgan formula size of the induced function by a factor of O("...
Analysis of Structured Texture Using the Multiresolution Fourier Transform (1992)
Tao-I Hsu, A.D. Calway, R. Wilson, Coventry Cv Al
A multiresolution approach to the analysis of structural texture is presented. The multiresolution Fourier transform (MFT) is utilized as a framework to derive a robust algorithm which estimates...
The Asymptotic Complexity of Merging Networks (1992)
Peter Bro Miltersen, Mike Paterson, Jun Tarui, Coventry Cv Al
Let M (m; n) be the minimum number of comparators needed in a comparator network that merges m elements x 1 x 2 : : : xm and n elements y 1 y 2 : : : y n , where n m. Batcher's odd-even merge...
Destabilization By Output Feedback (1992)
D. Hinrichsen, A. J. Pritchard, Coventry Cv Al
In this paper we investigate the robustness of stability of linear systems x = Ax resp. x(t + 1) = Ax(t) under complex or real (i) time-varying linear, (ii) nonlinear, (iii) time-varying nonlinear,...
A Multiresolution Frequency Domain (1992)
Algorithm For Fast, A. D. Calway, H. Knutsson Y, R. Wilson, Coventry Cv Al
An image registration algorithm based on combining phase di#erences at uniformly distributed spatial frequencies is described. The scheme accomodates 2-d disparities and when incorporated within a...
DoNaLD: a line-drawing system based on definitive principles (1986)
Meurig Beynon David, David Angier, Tim Bissell, Steve Hunt, Coventry Cv Al, Coventry Cv Al
The DoNaLD line-drawing system has been designed to illustrate how a generalised spreadsheet (or "definitive notation") can provide a simple medium for interactive graphics. Novel features...
Spectral Value Sets of Closed Linear Operators
We study how the spectrum of a closed linear operator on a complex Banach space changes under affine perturbations of the form A ; A \Delta = A + D\DeltaE. Here A; D;E are given linear operators...
Spectral Value Sets of Closed Linear Operators
E. Gallestey, D. Hinrichsen, A.J. Pritchard, Coventry Cv Al
We study how the spectrum of a closed linear operator on a complex Banach space changes under affine perturbations of the form A ; A \Delta = A + D\DeltaE. Here A; D;E are given linear operators...