Sciweavers

10802 search results - page 1775 / 2161
» Generative and developmental systems
Sort
View
APGV
2005
ACM
130views Visualization» more  APGV 2005»
16 years 11 days ago
Exploitation of human shadow perception for fast shadow rendering
In this paper we describe an experiment to obtain information about the perceptual potential of the human visual system regarding shadow perception. Shadows play an important part...
Mirko Sattler, Ralf Sarlette, Thomas Mücken, ...
HASKELL
2005
ACM
16 years 11 days ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
ISLPED
2005
ACM
85views Hardware» more  ISLPED 2005»
16 years 11 days ago
A low-power crossroad switch architecture and its core placement for network-on-chip
As the number of cores on a chip increases, power consumed by the communication structures takes significant portion of the overall power-budget. The individual components of the...
Kuei-Chung Chang, Jih-Sheng Shen, Tien-Fu Chen
MM
2005
ACM
139views Multimedia» more  MM 2005»
16 years 11 days ago
Multimodal affect recognition in learning environments
We propose a multi-sensor affect recognition system and evaluate it on the challenging task of classifying interest (or disinterest) in children trying to solve an educational pu...
Ashish Kapoor, Rosalind W. Picard
MM
2005
ACM
157views Multimedia» more  MM 2005»
16 years 11 days ago
Natural language processing of lyrics
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
Jose P. G. Mahedero, Alvaro Martinez, Pedro Cano, ...
« Prev « First page 1775 / 2161 Last » Next »