Browsing by Title

Now showing items 1-20 of 4535

  • 11SIM Reference Manual 

    Unknown author (1972-02-01)
    A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...

  • 11SIM Reference Manual 

    Unknown author (1971-12-01)
    A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...

  • 1968-1969 Progress Report 

    Unknown author (1970-01-01)
    This report mainly summarizes the Project MAC A.I. Group work between July 1968 and June 1969 but covers some work up to February 1970. The work on computer vision is described in detail. This summary should be read ...

  • The 1990 AI Fair 

    Unknown author (1990-08-01)
    This year, as the finale to the Artificial Intelligence Laboratory's annual Winter Olympics, the Lab staged an AI Fair ??night devoted to displaying the wide variety of talents and interests within the laboratory. The ...

  • 2D-3D Rigid-Body Registration of X-Ray Fluoroscopy and CT Images 

    Unknown author (2001-08-01)
    The registration of pre-operative volumetric datasets to intra- operative two-dimensional images provides an improved way of verifying patient position and medical instrument loca- tion. In applications from orthopedics ...

  • 3-manifolds everywhere 

    Calegari, Danny; Wilton, Henry John
    A random group contains many subgroups which are isomorphic to the fundamental group of a compact hyperbolic 3-manifold with totally geodesic boundary. These subgroups can be taken to be quasi-isometrically embedded. This ...

  • 3D Object Recognition: Symmetry and Virtual Views 

    Unknown author (1992-12-01)
    Many 3D objects in the world around us are strongly constrained. For instance, not only cultural artifacts but also many natural objects are bilaterally symmetric. Thoretical arguments suggest and psychophysical ...

  • 3D Pose from Three Corresponding Points Under Weak-Perspective Projection 

    Unknown author (1992-07-01)
    Model-based object recognition commonly involves using a minimal set of matched model and image points to compute the pose of the model in image coordinates. Furthermore, recognition systems often rely on the ...

  • 3D Tracking via Body Radio Reflections 

    Unknown author (2013-12-11)
    This paper introduces WiTrack, a system that tracks the 3D motion of a user from the radio signals reflected off her body. It works even if the person is occluded from the WiTrack device or in a different room. WiTrack ...

  • 4D Frequency Analysis of Computational Cameras for Depth of Field Extension 

    Unknown author (2009-05-08)
    Depth of field (DOF), the range of scene depths that appear sharp in a photograph, poses a fundamental tradeoff in photography---wide apertures are important to reduce imaging noise, but they also increase defocus blur. ...

  • 5D Covariance Tracing for Efficient Defocus and Motion Blur 

    Fredo Durand (2012-11-16)
    The rendering of effects such as motion blur and depth-of-field requires costly 5D integrals. We dramatically accelerate their computation through adaptive sampling and reconstruction based on the prediction of the anisotropy ...

  • 60th anniversary programme 

    Klaar, Elisabeth (2008-07-29)
    Programme for the presentations given at the 60th anniversary

  • A $C^0$ discontinuous Galerkin formulation for thin shells 

    Dung, N T; Wells, G N (2007)
    This paper presents a C 0 discontinuous Galerkin formulation for the simulation of thin shells. The method is based on Koiter’s shell model and allows finite element solutions to be obtained by using standard $C^0$ Lagrange ...

  • A 1020-Node Modular Microphone Array and Beamformer for Intelligent Computing Spaces 

    Unknown author (2004-04-14)
    Ubiquitous computing environments are characterized by an unboundedamount of noise and crosstalk. In these environments, traditionalmethods of sound capture are insufficient, and array microphones areneeded in order to ...

  • A 2-adic automorphy lifting theorem for unitary groups over CM fields 

    Thorne, Jack Arfon (SpringerMathematische Zeitschrift, 2016)
    We prove a ‘minimal’ type automorphy lifting theorem for 2-adic Galois representations of unitary type, over imaginary CM fields. We use this to improve an automorphy lifting theorem of Kisin for GL_2.

  • A 3-manifold group which is not four dimensional linear 

    Button, Jack (ElsevierJournal of Pure and Applied Algebra, 2014-01-28)
    We give examples of closed orientable graph 3-manifolds having a fundamental group which is not a subgroup of GL(4, F) for any field F. This answers a question in the Kirby problem list from 1977 which is credited to the ...

  • A Balanced Approach to IT Project Management 

    Smith, Derek (University of Cape TownFaculty of CommerceDept. of Information Systems, 2007)
    The primary objectives of this study were to identify how IT projects can be managed using the Balanced Scorecard approach. Although the research is positioned to have potential application within international project ...

  • A biosynthetic approach to the discovery of novel bioactive peptides 

    Wright, Oliver Evan (University of CambridgeDepartment of Chemical Engineering and Biotechnology, 2012-05-08)
    Peptides represent a source of novel therapeutics for recalcitrant human diseases, but screening for bioactivity from natural or synthetic sources can be uneconomic. In contrast, in vivo expression of peptides from DNA ...

  • A combined experimental-numerical study to tensile behaviour of limestone 

    De Proft, K; Wells, Garth Nathan; Sluys, LJ; De Wilde, WP (Proceedings of the 3rd International Conference on Emerging Technologies in Non Destructive TestingProceedings of the 3rd International Conference on Emerging Technologies in Non Destructive Testing, 2003-01-01)
    In this paper, a combined experimental-computational study of double-edge notched stone specimen subject to cyclic tensile loading is presented. In the experimental part, the load-deformation response and the local ...

  • A Combined Pointer and Purity Analysis for Java Programs 

    Unknown author (2004-05-17)
    We present a new method purity analysis for Java programs.A method is pure if it does not mutate any location that exists in the program state right before method invocation.Our analysis is built on top of a combined pointer ...