INTRODUCTION Automatically measuring the location of a person or device for ubiquitous computing always involves the conversion of a raw measurement into a location measurement. While this process is a prepackaged part of some sensors (e.g. GPS and cell phones), researchers are often faced with making this conversion on their own as part of their efforts to deploy novel sensing technologies. Th...

Cognitive-linguistic research on metonymy has argued cogently that is a crucial factor guaranteeing discourse coherence. Barcelona (forthcoming) includes detailed study of the metonymies guiding pragmatic inferences claimed to be invited by reading brief text. The analysis fragment, though internally consistent, based my own close In paper I report qualitative investigating whether native speak...

| In this paper, we describe the design and implementation of a scientiic database for the map assembly tasks performed by the geneticists at the University of Michigan Human Genome Center. Our system managescomplex genomicdata and supportsthe automationof the associatedmap assembly tasks. For this purpose, we have developed an overlap reenement hierarchy characterizing the types of overlap and...

The paper describes an active research project at Intel’s High Volume Manufacturing (HVM) facility located at Leixlip, Co. Kildare, Ireland. The project explores the practical aspects of deploying RFID transponders, subtle sensing platforms and machine learning based inferencing in a harsh, realworld environment. The key features of the sensing platform, the data collection process and the tran...

The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if one does not employ the full power of the used type systems. We present a complete type inferencing algorithm that covers the polymorphic order-sorted types in PROTOS-L, a logic programming language that allows for po...