UAS Flight Planning Support
Data integration supporting drone flights.
UAS Emergency Systems
Control logic related to unusual attitudes.
TaskCash
Sold
Probabilistic proofs of computation.
Graph partitioning
1+B node graph partitioned in main memory.
Object probability system
1+B node graph and 50+ billion properties for statistics with better than 1ms access time.
Distributed Text-to-speech synthesis system
Sold
Data Sanitization
Parallel data re-writing for third-party distribution.
Persistence of Identity Through Time
Embracing time in knowledge representation.
Distributed Resource Reservation
Sold
Scalable and private.
Production System Trends
Analysis of trends in profiling output from production systems.
SensorNets
Managing resource use in sensor networks.
(MC)4
Sold
MultiCore Metropolis-coupled Markov Chain Monte Carlo algorithm.
Annunciation Allocator
Sold
When you have too many notifications.
Reconometrics™
Economic data representation and integration.
Route Verification
How to demonstrate that you went that way.
RecordBet
Something like a Prediction market that supports arbitrary positions.
Dammit
Sold
Graphical navigation of very large datasets.
KBAC
Sold
Keyword-based access control that's simple, dynamic, and content-driven.
Tagosaurus
Shared tagging service. Tuplebase application.
Flashtables
Sold
Hashtables tuned for flash memory.
PMC
Experiments with parallel Monte Carlo techniques for approximating crazy integrals. Good for Bayesians.
Dangit
Sold
Text-to-speech synthesis of dynamic textual information with support for mobile users.
Prosody models
Defining, learning, and selecting prosody models for better text-to-speech synthesis.
Discrepancy detection
Posterior probability of problems (with sensor data).