3228 search results - page 470 / 646 » Computationally Sound Proofs |
196
click to vote
CAIP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Cardiac dynamics suppression is a main issue for visual improvement and computation of tissue mechanical properties in IntraVascular UltraSound (IVUS). Although in recent...
167
click to vote
DAWAK
2007
Springer
16 years 21 days ago
2007
Springer
Representative-based clustering algorithms are quite popular due to their relative high speed and because of their sound theoretical foundation. On the other hand, the clusters the...
184
click to vote
EPIA
2007
Springer
16 years 21 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
150
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
184
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...