Data platforms and analytics
Publication
Urban Computing with Taxicabs
Video
SOLOMON: Seeking the Truth Via Copying Detection
We live in the Information Era, with access to a huge amount of information from a variety of data sources. However, data sources are of different qualities, often providing conflicting, out-of-date and incomplete data. Data…
Publication
Driving with Knowledge from the Physical World
Video
Automated FPGA Verification and Debugging
Hardware simulations on FPGAs run more than three orders of magnitude faster than software simulations, but with much lower visibility into the circuit under test. To expedite the task of debugging and specification verification, we…
