Search
Now showing items 1-10 of 104
Generative Temporal Planning with Complex Processes
(2004-05-18)
Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates the use of model-based ...
Learning Commonsense Categorical Knowledge in a Thread Memory System
(2004-05-18)
If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that ...
BioJADE: A Design and Simulation Tool for Synthetic Biological Systems
(2004-05-28)
The next generations of both biological engineering and computer engineering demand that control be exerted at the molecular level. Creating, characterizing and controlling synthetic biological systems may provide us ...
On Spatial Conjunction as Second-Order Logic
(2004-10-25)
Spatial conjunction is a powerful construct for reasoning about dynamically allocateddata structures, as well as concurrent, distributed and mobile computation. Whileresearchers have identified many uses of spatial ...
Capacity Allocation in Wireless LANs
(2004-11-12)
Today's access point based wireless LANs (WLANs) are inefficient and unfair. For many traffic loads they provide far less total throughput than they should, and do a poor job allocating what throughput they do deliver. ...
Comparing Network Coding with Multicommodity Flow for the k-pairs Communication Problem
(2004-11-24)
Given a graph G = (V,E) and k source-sink pairs of vertices, this papers investigates the maximum rate r at which all pairs can simultaneously communicate. We view this problem from two perspectives and compare their ...
Neural Network Models for Zebra Finch Song Production and Reinforcement Learning
(2004-11-09)
The zebra finch is a standard experimental system for studying learning and generation of temporally extended motor patterns. The first part of this project concerned the evaluation of simple models for the operation and ...
Availability-Consistency Trade-Offs in a Fault-Tolerant Stream Processing System
(2004-11-22)
processing. In contrast to previous techniques that handlenode failures, our approach also tolerates network failuresand network partitions. The approach is based on a principledtrade-off between consistency and availability ...
Learning with Matrix Factorizations
(2004-11-22)
Matrices that can be factored into a product of two simpler matricescan serve as a useful and often natural model in the analysis oftabulated or high-dimensional data. Models based on matrixfactorization (Factor Analysis, ...
Methods and Experiments With Bounded Tree-width Markov Networks
(2004-12-30)
Markov trees generalize naturally to bounded tree-width Markov networks, onwhich exact computations can still be done efficiently. However, learning themaximum likelihood Markov network with tree-width greater than 1 is ...