1635 search results - page 53 / 327 » Reasoning from Data Rather than Theory |
ICAD
2004
13 years 10 months ago
2004
We propose an ambient communication system that modulates the reverberance applied to music with a single variable in order to communicate non-musical information to the listener....
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Automatic classification of the aesthetic content of a picture is one of the challenges in the emerging discipline of computational aesthetics. Any suitable solution must cope wit...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
SBIA
1998
Springer
14 years 1 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...