states that if fl accepts a program then it is well typed. We also discuss extending these results to richer languages; a type-checking algorithm based on w is in fact already implemented and working, for the metalanguage ML in the Edinburgh LCF system, 1.

to regional neural activity. Magnetic resonance imaging (MRI) is a widely accepted modality for providing anatomical information. Current research (1) involves extending MRI methods to provide information about biological function, in addition to the concomitant anatomical information. In addition

Agent software is a rapidly developing area of research. However, the overuse of the word ‘agent ’ has tended to mask the fact that, in reality, there is a truly heterogeneous body of research being carried out under this banner. This overview paper presents a typology of agents. Next, it places

the theory of reasoned action (TRA) as applied to a technology-driven environment, technology acceptance model (TAM) variables (perceived usefulness and ease of use) are posited as key drivers of e-commerce acceptance. The practical utility of TAM stems from the fact that e-commerce is technology

The idea that wages rise relative to alternatives as job seniority accumulates is the foundation of the theory of specific human capital, as well as other widely accepted theories of compensation. The fact that persons with longer job tenures typically earn higher wages tends to support these views

suitable algorithm. Description Logics have proved useful in a range of applications but their wider acceptance has been hindered by their limited expressiveness and the intractability of their subsumption algorithms. This paper addresses both these issues by describing a sound and complete tableaux

properties, the conditions that excite one neuron are likely to excite a considerable fraction of its afferent input as well (Mountcastle, 1978; Peters and Sethares, 1991), creating a scenario in which saturation of the neuron's firing rate could easily occur. This problem is exacerbated by the fact

examples of its operation in several practical contexts. Possible explanations are considered, and the question of its utility or disutility is discussed. When men wish to construct or support a theory, how they torture facts into their service! (Mackay, 1852/ 1932, p. 552) Confirmation bias is perhaps

of the economy.4 For some purposes it is useful to characterize an economy in terms of its leading sectors; and a part of the technical basis for the stages of growth lies in the changing sequence of leading sectors. In essence it is the fact that sectors tend to have a rapid growth phase, early in their life

In this paper, we address the problem of robust data association for simultaneous vehicle localization and map building. We show that the classical gated nearest neighbor approach, which considers each matching between sensor observations and features independently, ignores the fact