Browsing Computer Science (CS) by Title

Now showing items 88-104 of 104

    • Real-time Mosaic for Multi-Camera Videoconferencing 

      Klechenov, Anton; Gupta, Aditya Kumar; Wong, Weng Fai; Ng, Teck Khim; Leow, Wee Kheng (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 

      Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (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 

      Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (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 

      Fang, Hui; Hsu, Wen Jing; Rudolph, Larry (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 

      Xiong, Xuejian; Tan, Kian Lee (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 

      Wang, Xianbing; Teo, Yong Meng; Cao, Jiannong (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 

      Andrei, Å tefan; Chin, Wei Ngan (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 ...

    • Solving Multiple Classes of Problems in Parallel with MATLAB*P 

      Choy, Ron; Edelman, Alan (2004-01)
      MATLAB [7] 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 ...

    • StreamIt: A Language and Compiler for Communication-Exposed Architectures 

      Thies, William; Gordon, Michael I.; Karczmarek, Michal; Maze, David; Amarasinghe, Saman P. (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 ...

    • Survival Techniques for Computer Programs 

      Rinard, Martin C. (2006-01)
      Programs developed with standard techniques often fail when they encounter any of a variety of internal errors. We present a set of techniques that prevent programs from failing and instead enable them to continue to ...

    • Towards An Automated Approach to Hardware/Software Decomposition 

      Qin, Shengchao; He, Jifeng; Chin, Wei Ngan (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 ...

    • Towards Grid-Wide Modeling and Simulation 

      Xie, Yong; Teo, Yong Meng; Cai, W.; Turner, S. J. (2005-01)
      Modeling and simulation permeate all areas of business, science and engineering. With the increase in the scale and complexity of simulations, large amounts of computational resources are required, and collaborative model ...

    • Transactions Everywhere 

      Kuszmaul, Bradley C.; Leiserson, Charles E. (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 ...

    • Using Cyclic Memory Allocation to Eliminate Memory Leaks 

      Nguyen, Huu Hai; Rinard, Martin C. (2006-01)
      We present and evaluate a new memory management technique for eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program on a sequence of training inputs to ...

    • Validating Co-Training Models for Web Image Classification 

      Zhang, Dell; Lee, Wee Sun (2005-01)
      Co-training is a semi-supervised learning method that is designed to take advantage of the redundancy that is present when the object to be identified has multiple descriptions. Co-training is known to work well when the ...

    • A Web-based Question Answering System 

      Zhang, Dell; Lee, Wee Sun (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 ...

    • Which Is The Best of Them All – Hard Decisions, Smart Choices 

      Leong, Tze Yun (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. ...