3228 search results - page 75 / 646 » Computationally Sound Proofs |
COST
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Being aware of the gap between technological offers and user expectations, the paper aims to illustrate the necessity of anthropocentric designs ("user-pulled")...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
CGF
2008
13 years 9 months ago
2008
We present an acoustic rendering approach visualizing the listener-specific contribution of frequency-dependent pressure fields on a scene geometry with acoustic reflection and sc...
MUE
2007
IEEE
14 years 3 months ago
2007
IEEE
Recently, communication, digital music creation, and computer storage technology has led to the dynamic increasing of online music repositories in both number and size, where auto...
EVOW
2010
Springer
14 years 2 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...