3228 search results - page 575 / 646 » Computationally Sound Proofs |
EDUTAINMENT
2007
Springer
14 years 2 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
ASSETS
2006
ACM
14 years 2 months ago
2006
ACM
This work is a part of an ongoing project that focuses on potential applications of an interactive system that helps children with autism. Autism is classified as a neurodevelopm...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
We present a metadata free system for the interaction with massive collections of music, the MusicSurfer. MusicSurfer automatically extracts descriptions related to instrumentatio...
ICS
2005
Tsinghua U.
14 years 2 months ago
2005
Tsinghua U.
Learning useful and predictable features from past workloads and exploiting them well is a major source of improvement in many operating system problems. We review known parallel ...