475 search results - page 50 / 95 » A Framework for Expressing and Combining Preferences |
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
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...
COLCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
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 ...
APGV
2006
ACM
14 years 2 months ago
2006
ACM
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...
NPAR
2006
ACM
14 years 2 months ago
2006
ACM
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...
IQIS
2004
ACM
14 years 2 months ago
2004
ACM
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,...