Advanced Search
DSpace@MIT

Browsing Computer Science (CS) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science (CS) by Title

Sort by: Order: Results:

  • Yu, Xiaoxue; Hsu, Wynne; Lee, Wee Sun; Lozano-Pérez, Tomás (2004-01)
    The implementation of data mining techniques in the medical area has generated great interest because of its potential for more efficient, economic and robust performance when compared to physicians. In this paper, we focus ...
  • Rinard, Martin C. (2004-01)
    We discuss a new approach to the construction of software systems. Instead of attempting to build a system that is as free of errors as possible, the designer instead identifies key properties that the execution must satisfy ...
  • Chieu, Hai Leong; Lee, Wee Sun; Kaelbling, Leslie P. (2006-01)
    We describe the application of conditional random fields (CRF) to physiological data modeling for the application of activity recognition. We use the data provided by the Physiological Data Modeling Contest (PDMC), a ...
  • Chung, Shin Yee; Hsu, Wen Jing (2004-01)
    Modern processors rely on cache memories to reduce the latency of data accesses. Extensive cache misses would thus compromise the usefulness of the scheme. Cache-aware algorithms make use of the knowledge about the cache, ...
  • Lim, Hock Beng; Lam, Vinh The; Foo, Mao Ching; Zeng, Yulian (2006-01)
    Wireless sensor networks have emerged as a promising technology for a wide range of important applications. A major research challenge in this field is the distributed resource allocation problem, which concerns how the ...
  • Sen, Siddhartha; Agrawal, Kunal (2004-01)
    The problem of allocating processor resources fairly and efficiently to parallel jobs has been studied extensively in the past. Most of this work, however, assumes that the instantaneous parallelism of the jobs is known ...
  • Zhu, Hongwei; Madnick, Stuart E. (2006-01)
    In this paper, we first identify semantic heterogeneities that, when not resolved, often cause serious data quality problems. We discuss the especially challenging problems of temporal and aggregational ontological ...
  • Huang, Albert (2004-01)
    The use of technology as an effective educational tool has been an elusive goal in the past. Specifically, previous attempts at using small personal computers in the classroom to aid students as collaborative and note-taking ...
  • Bender, Michael A.; Farach-Colton, Martin; He, Simai; Kuszmaul, Bradley C.; Leiserson, Charles E. (2004-01)
    Backoff strategies have typically been analyzed by making statistical assumptions on the distribution of problem inputs. Although these analyses have provided valuable insights into the efficacy of various backoff strategies, ...
  • Teo, Yong Meng (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, ...
  • Chang, Yu-Han; Ho, Tracey; Kaelbling, Leslie P. (2004-01)
    In large multiagent games, partial observability, coordination, and credit assignment persistently plague attempts to design good learning algorithms. We provide a simple and efficient algorithm that in part uses a linear ...
  • Zhao, Qin; Wong, Weng Fai (2005-01)
    Dynamic optimization has several key advantages. This includes the ability to work on binary code in the absence of sources and to perform optimization across module boundaries. However, it has a significant disadvantage ...
  • Li, Xiaoli; Leong, Tze Yun (2004-01)
    We propose an information extraction framework to support automated construction of decision models in biomedicine. Our proposed technique classifies text-based documents from a large biomedical literature repository, e.g., ...
  • Nguyen, Huu Hai; David, Cristina; Qin, Shengchao; Chin, Wei Ngan (2007-01)
    Despite their popularity and importance, pointer based programs remain a major challenge for program verification. In this paper, we propose an automated verification system that is concise, precise and expressive for ...
  • Jagadish, H.V.; Ooi, Beng Chin; Rinard, Martin C.; Vu, Quang Hieu (2006-01)
    We propose a balanced tree structure overlay on a peer-to-peer network capable of supporting both exact queries and range queries efficiently. In spite of the tree structure causing distinctions to be made between nodes ...
  • Agrawal, Kunal; Amarasinghe, Saman P.; Wong, Weng Fai (2003-01)
    StreamIt is a language specifically designed for modern streaming applications. A certain important class of these applications operates on streams of bits. This paper presents the motivation for a bit-packing optimization ...
  • Ding, Yang; Wong, Weng Fai (2005-01)
    It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ...
  • Nigham, Anshul; Hsu, David; Latombe, Jean-Claude (2007-01)
    In this work, we propose a radical approach for exploring the space of all possible protein structures. We present techniques to explore the clash-free conformation space, which comprises all protein structures whose atoms ...
  • Ooi, Beng Chin; Yu, Bei; Li, Guoliang (2007-01)
    In this paper, we present a folksonomy-based collaborative data publishing and searching system. The system accepts data objects described with user-created metadata, called data units. The system supports flexible structure ...
  • Kim, Hana; Kho, Nancy; Yan, Emily; Rudolph, Larry (2004-01)
    A speech controlled animation system is both a useful application program as well as a laboratory in which to investigate context aware applications as well as controlling errors. The user need not have prior knowledge or ...
MIT-Mirage