2742 search results - page 342 / 549 » Deriving Category Theory from Type Theory |
SIGGRAPH
1999
ACM
14 years 1 months ago
1999
ACM
We introduce a method for predicting a control signal from another related signal, and apply it to voice puppetry: Generating full facial animation from expressive information in ...
ACMACE
2004
ACM
14 years 2 months ago
2004
ACM
This paper discusses the design of audio games, a quite new computer game category that originates from games for players with visual impairments, as well as mainstream music game...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
This CHI Note proposes a new research initiative for the HCI community: multi-lifespan information system design. The central idea begins with the identification of categories of ...
CIKM
2007
Springer
14 years 3 months ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
CIVR
2007
Springer
14 years 3 months ago
2007
Springer
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...