Browsing Computer Science (CS) by Title
Now showing items 75-94 of 104
-
Non-Iterative, Feature-Preserving Mesh Smoothing
(2004-01)With the increasing use of geometry scanners to create 3D models, there is a rising need for fast and robust mesh smoothing to remove inevitable noise in the measurements. While most previous work has favored diffusion-based ... -
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 ... -
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 ... -
On Web Taxonomy Integration
(2004-01)We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only pervasive on the nowadays web, but also important to the emerging semantic web. A straightforward approach ... -
On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
(2005-01)A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one ... -
On-the-fly Race Detection for Programs with Recursive Spawn-Sync Parallelism
(2004-01)Detecting data race is very important for debugging shared-memory parallel programs, because data races result in unintended nondeterministic execution of the program. We propose a dynamic on-the-fly race detection mechanism ... -
PeerDB-Peering into Personal Databases
(2003-01)In this talk, we will present the design and evaluation of PeerDB, a peer-to-peer (P2P) distributed data sharing system. PeerDB distinguishes itself from existing P2P systems in several ways. First, it is a full-fledge ... -
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 ... -
A Privacy Conscious Bluetooth Infrastructure for Location Aware Computing
(2005-01)We present a low cost and easily deployed infrastructure for location aware computing that is built using standard Bluetooth® technologies and personal computers. Mobile devices are able to determine their location to ... -
Proactive Detection and Recovery of Lost Mobile Phones
(2005-01)This paper describes the successful implementation of a prototype software application that independently and proactively detects whether a mobile phone is lost or misused. When the mobile phone is detected as being lost ... -
Programming with Exceptions in JCilk
(2006-01)JCilk extends the Java language to provide call-return semantics for multithreading, much as Cilk does for C. Java's built-in thread model does not support the passing of exceptions or return values from one thread back ... -
Protein side-chain placement: probabilistic inference and integer programming methods
(2004-01)The prediction of energetically favorable side-chain conformations is a fundamental element in homology modeling of proteins and the design of novel protein sequences. The space of side-chain conformations can be approximated ... -
Provably Efficient Adaptive Scheduling for Parallel Jobs
(2007-01)Scheduling competing jobs on multiprocessors has always been an important issue for parallel and distributed systems. The challenge is to ensure global, system-wide efficiency while offering a level of fairness to user ... -
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 ... -
Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming
(2005-01)The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext ... -
Region Type Checking for Core-Java
(2004-01)Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first ... -
Relaxing Routing Table to Alleviate Dynamism in P2P Systems
(2006-01)In dynamic P2P networks, nodes join and depart from the system frequently, which partially damages the predefined P2P structure, and impairs the system performance such as basic lookup functionality. Therefore stabilization ... -
Similarity-Driven Cluster Merging Method for Unsupervised Fuzzy Clustering
(2004-01)In this paper, a similarity-driven cluster merging method is proposed for unsupervised fuzzy clustering. The cluster merging method is used to resolve the problem of cluster validation. Starting with an overspecified number ... -
Simple Bivalency Proofs of the Lower Bounds in Synchronous Consensus Problems
(2004-01)A fundamental problem of fault-tolerant distributed computing is for the reliable processes to reach a consensus. For a synchronous distributed system of n processes with up to t crash failures and f failures actually ... -
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 ...
