Browsing Computer Science (CS) by Issue Date
Now showing items 1-20 of 104
-
Knowledge Integration to Overcome Ontological Heterogeneity: Challenges from Financial Information Systems
(2003-01)The shift towards global networking brings with it many opportunities and challenges. In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including ... -
StreamIt: A Language and Compiler for Communication-Exposed Architectures
(2003-01)With the increasing miniaturization of transistors, wire delays are becoming a dominant factor in microprocessor performance. To address this issue, a number of emerging architectures contain replicated processing units ... -
Increasing and Detecting Memory Address Congruence
(2003-01)A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence information at compile-time enables new classes ... -
Financial Information Integration In the Presence of Equational Ontological Conflicts
(2003-01)While there are efforts to establish a single international accounting standard, there are strong current and future needs to handle heterogeneous accounting methods and systems. We advocate a context-based approach to ... -
Towards An Automated Approach to Hardware/Software Decomposition
(2003-01)We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set ... -
Which Is The Best of Them All – Hard Decisions, Smart Choices
(2003-01)How do we make the best decisions in face of voluminous, complex, changing, and uncertain information? We describe a multi-disciplinary effort in developing the next generation decision analytic and engineering technologies. ... -
Transactions Everywhere
(2003-01)Arguably, one of the biggest deterrants for software developers who might otherwise choose to write parallel code is that parallelism makes their lives more complicated. Perhaps the most basic problem inherent in the ... -
On the Detection of Retinal Vessels in Fundus Images
(2003-01)Ocular fundus image can provide information on pathological changes caused by local ocular diseases and early signs of certain systemic diseases. Automated analysis and interpretation of fundus images has become a necessary ... -
Data Prefetching via Off-line Learning
(2003-01)The widely acknowledged performance gap between processors and memory has been the subject of much research. In the Explicitly Parallel Instruction Computing (EPIC) paradigm, the combination of in-order issue and the ... -
Playing is believing: the role of beliefs in multi-agent learning
(2003-01)We propose a new classification for multi-agent learning algorithms, with each league of players characterized by both their possible strategies and possible beliefs. Using this classification, we review the optimality of ... -
MATLAB*P 2.0: A unified parallel MATLAB
(2003-01)MATLAB is one of the most widely used mathematical computing environments in technical computing. It is an interactive environment that provides high performance computational routines and an easy-to-use, C-like scripting ... -
A Web-based Question Answering System
(2003-01)The Web is apparently an ideal source of answers to a large variety of questions, due to the tremendous amount of information available online. This paper describes a Web-based question answering system LAMP, which is ... -
OmniMerge: A Systematic Approach to Constrained Conformational Search
(2003-01)OmniMerge performs a systematic search to enumerate all conformations of a molecule (at a given level of torsion-angle resolution) that satisfy a set of local geometric constraints. Constraints would typically come from ... -
ALiCE: A Java-based Grid Computing System
(2003-01)A computational grid is a hardware and software infrastructure that provides dependable, consistent, pervasive, and inexpensive access to high-end computational capabilities. This talk is divided into three parts. Firstly, ... -
Credible Compilation *
(2003-01)This paper presents an approach to compiler correctness in which the compiler generates a proof that the transformed program correctly implements the input program. A simple proof checker can then verify that the program ... -
Discovering Network Neighborhoods Using Peer-to-Peer Lookups
(2003-01)In many distributed applications, end hosts need to know the network locations of other nearby participating hosts in order to enhance overall performance. Potential applications that can benefit from the location information ... -
The Interplay of Web Aggregation and Regulation
(2003-01)The development of web technology has led to the emergence of web aggregation, a service that collects existing web data and turns them into more useful information. We review the development of both comparison and ... -
Real-time Mosaic for Multi-Camera Videoconferencing
(2003-01)This paper describes a system for high resolution video conferencing. A number of camcorders are used to capture the video, which are then mosaiced to generate a wide angle panoramic view. Furthermore this system is made ... -
Solving a Class of Higher-Order Equations over a Group Structure
(2003-01)In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the ... -
Learning object boundary detection from motion data
(2003-01)A significant barrier to applying the techniques of machine learning to the domain of object boundary detection is the need to obtain a large database of correctly labeled examples. Inspired by developmental psychology, ...
