3228 search results - page 479 / 646 » Computationally Sound Proofs |
132
click to vote
MM
2003
ACM
15 years 8 months ago
2003
ACM
Effective use of multimedia collections requires efficient and intuitive methods of searching and browsing. This work considers databases which store music and explores how these...
114
click to vote
CSL
2003
Springer
15 years 8 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
133
Voted
ECOOP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
114
click to vote
ISMIR
2003
Springer
15 years 8 months ago
2003
Springer
Music alignment links events in a score and points on the audio performance time axis. All the parts of a recording can be thus indexed according to score information. The automat...
139
click to vote
HAPTICS
2010
IEEE
15 years 8 months ago
2010
IEEE
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...