Geochannels
Global communications bus for UAVs.
Conjunction Streaming Service
Streaming geospatial index and related gear.
Agent-based risk management models
Sheens tools
Verification, performance analysis, IDE for this automation engine.
Automated media commentary system
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).