1546 search results - page 254 / 310 » Context-Aware Computing with Sound |
129
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
160
click to vote
CAIP
2007
Springer
15 years 10 months 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...
139
click to vote
DAWAK
2007
Springer
15 years 10 months 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...
150
click to vote
EPIA
2007
Springer
15 years 10 months 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...
120
click to vote
GECCO
2007
Springer
15 years 10 months 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ï...