Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
Abstract. Collaborative search engines (CSE) let users pool their resources and share their experiences when seeking information on the web. However, when shared, search terms and ...
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...
We describe an algorithm for rendering animated smoke particle systems in a cartoon style. This style includes outlines and celshading. For efficient self-shadowing effects, we in...
A virtual database system is software that provides unified access to multiple information sources. If the sources are overlapping in their contents and independently maintained,...