5232 search results - page 69 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
101
click to vote
AAAI
2006
15 years 1 months ago
2006
In this paper, we describe an evolutionary approach to one of the most challenging problems in computer music: modeling the knowledge applied by a musician when performing a score...
IJCNN
2008
IEEE
15 years 6 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
107
click to vote
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...