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:

  • Learning object boundary detection from motion data 
    Ross, Michael G.; Kaelbling, Leslie P. (2004-01)
    This paper describes the initial results of a project to create a self-supervised algorithm for learning object segmentation from video data. Developmental psychology and computational experience have demonstrated that the ...
  • Learning object boundary detection from motion data 
    Ross, Michael G.; Kaelbling, Leslie P. (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, ...
  • Learning Three-Dimensional Shape Models for Sketch Recognition 
    Kaelbling, Leslie P.; Lozano-Pérez, Tomás (2005-01)
    Artifacts made by humans, such as items of furniture and houses, exhibit an enormous amount of variability in shape. In this paper, we concentrate on models of the shapes of objects that are made up of fixed collections ...
  • Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures 
    Wang, Xianbing; Teo, Yong Meng; Cao, Jiannong (2005-01)
    In this paper, we discuss the consensus problem for synchronous distributed systems with orderly crash failures. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, ...
  • Mapping Unstructured Parallelism to Series-Parallel DAGs 
    Pan, Yan; Hsu, Wen Jing (2004-01)
    Many parallel programming languages allow programmers to describe parallelism by using constructs such as fork/join. When executed, such programs can be modeled as directed graphs, with nodes representing a computation and ...
  • Matching Interest Points Using Projective Invariant Concentric Circles 
    Chiu, Han-Pang; Lozano-Pérez, Tomás (2005-01)
    We present a new method to perform reliable matching between different images. This method exploits a projective invariant property between concentric circles and the corresponding projected ellipses to find complete region ...
  • MATLAB*G: A Grid-Based Parallel MATLAB 
    Chen, Ying; Tan, Suan Fong (2004-01)
    This paper describes the design and implementation of MATLAB*G, a parallel MATLAB on the ALiCE Grid. ALiCE (Adaptive and scaLable internet-based Computing Engine), developed at NUS, is a lightweight grid-computing middleware. ...
  • MATLAB*P 2.0: A unified parallel MATLAB 
    Choy, Ron; Edelman, Alan (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 Media Player for Use in Distance Education 
    Huang, Kai; Leiserson, Charles E.; Sarmenta, Luis F.G. (2004-01)
    We have developed a media player for use in distance education. The player can incorporate several time-indexed sources, including video, audio, PowerPoint, and text index. We have converted all the SMA 5503 Introduction ...
  • Memory Hierarchy Hardware-Software Co-design in Embedded Systems 
    Ge, Zhiguo; Lim, H. B.; Wong, Weng Fai (2005-01)
    The memory hierarchy is the main bottleneck in modern computer systems as the gap between the speed of the processor and the memory continues to grow larger. The situation in embedded systems is even worse. The memory ...
  • Memory Usage Inference for Object-Oriented Programs 
    Nguyen, Huu Hai; Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2005-01)
    We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...
  • Mobile P2Ping: A Super-Peer based Structured P2P System Using a Fleet of City Buses 
    Seet, Boon-Chong (2005-01)
    Recently, researchers have introduced the notion of super-peers to improve signaling efficiency as well as lookup performance of peer-to-peer (P2P) systems. In a separate development, recent works on applications of mobile ...
  • Modeling Information Flow in Face-to-Face Meetings while Protecting Privacy 
    Rudolph, Larry; Zhenghao, Chen (2006-01)
    Social networks have been used to understand how information flows through an organization as well as identifying individuals that appear to have control over this information flow. Such individuals are identified as being ...
  • MPEG-2 in a Stream Programming Language 
    Drake, Matthew; Hoffmann, Hank; Rabbah, Rodric; Amarasinghe, Saman P. (2006-01)
    Image and video codecs are prevalent in multimedia applications, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncommon however for developers create (from ...
  • A New Constructive Method for the One-Letter Context-Free Grammars 
    Andrei, Åžtefan; Chin, Wei Ngan (2004-01)
    Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars for which this is always ...
  • Non-Iterative, Feature-Preserving Mesh Smoothing 
    Jones, Thouis R.; Durand, Frédo; Desbrun, Mathieu (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 
    Tucker-Kellogg, Lisa; Lozano-Pérez, Tomás (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 
    Fang, Bin; Hsu, Wynne; Lee, Mong Li (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-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs 
    Bender, Michael A.; Fineman, Jeremy T.; Gilbert, Seth; Leiserson, Charles E. (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 
    He, Yuxiong; Wang, Junqing (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 ...
MIT-Mirage