— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
Detecting and eliminating fuzzy duplicates is a critical data cleaning task that is required by many applications. Fuzzy duplicates are multiple seemingly distinct tuples which re...
There has been significant interest lately in the task of constructing codes that are testable with a small number of random probes. Ben-Sasson and Sudan show that the repeated te...
Processing data streams with Quality-ofService (QoS) guarantees is an emerging area in existing streaming applications. Although it is possible to negotiate the result quality and...
MAX-SAT, the optimisation variant of the satisfiability problem in propositional logic, is an important and widely studied combinatorial optimisation problem with applications in ...