485 search results - page 66 / 97 » The Sounds of Physical Shapes |
ISMIR
2005
Springer
15 years 5 months ago
2005
Springer
The singing voice is the oldest and most complex musical instrument. A familiar singer’s voice is easily recognizable for humans, even when hearing a song for the first time. O...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
FOSSACS
2010
Springer
15 years 3 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
135
click to vote
OPODIS
2004
15 years 1 months ago
2004
Secure location verification is a recently stated problem that has a number of practical applications. The problem requires a wireless sensor network to confirm that a potentially...
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...