Search
Now showing items 31-40 of 111
Automated Audio-visual Activity Analysis
(2005-09-20)
Current computer vision techniques can effectively monitor gross activities in sparse environments. Unfortunately, visual stimulus is often not sufficient for reliably discriminating between many types of activity. In ...
Collective Choice with Uncertain Domain Moldels
(2005-08-16)
When groups of individuals make choices among several alternatives, the most compelling social outcome is the Condorcet winner, namely the alternative beating all others in a pair-wise contest. Obviously the Condorcet ...
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
(2005-08-19)
We demonstrate how to carry out cryptographic security analysis ofdistributed protocols within the Probabilistic I/O Automata frameworkof Lynch, Segala, and Vaandrager.This framework provides tools for arguing rigorously ...
LabelMe: a database and web-based tool for image annotation
(2005-09-08)
Research in object detection and recognition in cluttered scenes requires large image collections with ground truth labels. The labels should provide information about the object classes present in each image, as well as ...
Spatial and Temporal Abstractions in POMDPs Applied to Robot Navigation
(2005-09-27)
Partially observable Markov decision processes (POMDPs) are a well studied paradigm for programming autonomous robots, where the robot sequentially chooses actions to achieve long term goals efficiently. Unfortunately, ...
Combining diagrammatic and symbolic reasoning
(2005-10-06)
We introduce a domain-independent framework for heterogeneous natural deduction that combines diagrammatic and sentential reasoning. The framework is presented in the form of a family of denotational proof languages (DPLs). ...
Secondary Structure Prediction of All-Helical Proteins Using Hidden Markov Support Vector Machines
(2005-10-06)
Our goal is to develop a state-of-the-art predictor with an intuitive and biophysically-motivated energy model through the use of Hidden Markov Support Vector Machines (HM-SVMs), a recent innovation in the field of machine ...
Slicing the Onion: Anonymous Routing Without PKI
(2005-08-15)
Recent years have witnessed many proposals for anonymous routing in overlay peer-to-peer networks. The proposed protocols either expose the receiver and the message content, or require the overlay nodes to have public-private ...
The Symmetriad: A Journey of Discovery Through the Land of the Polychora
(2005)
I devised and implemented a method for constructing regular andsemiregular geometric objects in n-dimensional Euclidean space.Given a finite reflection group (a Coxeter group) G, there is a standard way to give G a group ...
Deformation behaviour of bitumen and bituminous mixes
(University of Cambridge, 2005-03-15)
The main goal of this dissertation is to develop simple and accurate models for the
transient monotonic and cyclic deformation behaviour of bitumen and asphalt mixes.
The first part of this dissertation is concerned with ...