Technical Reports
2005
Fast Implementation of Lemke's Algorithm for Rigid Body Contact Simulation
Probability and Equality: A Probabilistic Model of Identity Uncertainty
Empirical Testing of Fast Kernel Density Estimation Algorithms
Toward indicative discussion fora summarization
Fostering Student Learning and Motivation: an Interactive Educational Tool for AI
Empirically Efficient Verification for a Class of Infinite-State Systems
Nonparametric BLOG
The Twiddler: A Haptic Teaching Tool: Low-Cost Communication and Mechanical Design
Generalized Constraint-Based Inference
A Framework for Multiparty Communication Types
Role-Based Policies to Control Shared Application Views
Perceiving Ordinal Data Haptically Under Workload
A Generalization of Generalized Arc Consistency: From Constraint Satisfaction to Constraint-Based Inference
A Trust-based Model for Collaborative Intrusion Response
Improving Backbone Routing for Transient Communication in Mobile Ad Hoc Networks
Hot Coupling: A Particle Approach to Inference and Normalization on Pairwise Undirected Graphs of Arbitrary Topology
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs
Coping With an Open Bug Repository
Theory, Software, and Psychophysical Studies for the Tactile Handheld Miniature Bimodal Device
Go with the Flow: How Users Monitor Incoming Email
Remaining Oriented During Software Development Tasks: An Exploratory Field Study
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Visual Mining of Power Sets with Large Alphabets
Material Aware Mesh Deformations
The Role of Prototyping Tools for Haptic Behavior Design
Co-locating Haptic and Graphic Feedback in Manual Controls
Building a Haptic Language: Communication Through Touch
TopoLayout: Graph Layout by Topological Features
Exact regularization of linear programs