We review the design and implementation of UltraGrid, a new high definition video conferencing system, and present some experimental results. UltraGrid was the first system to s...
Ladan Gharai, Tom Lehman, Alvaro Saurin, Colin Per...
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Matching people based on their imaged face is hard because of the well known problems of illumination, pose, size and expression variation. Indeed these variations can exceed those...
Multimedia information retrieval systems design is currently considered a complex task since it requires an understanding of users specific way of searching, processing and using ...