3228 search results - page 415 / 646 » Computationally Sound Proofs |
144
Voted
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
143
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
Automatically extracting semantic content from audio streams can be helpful in many multimedia applications. Motivated by the known limitations of traditional supervised approache...
137
Voted
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Context photography consists of capturing context when taking a still picture, by sensing physical input in addition to light and representing it visually in real time. With this ...
131
Voted
VW
1998
Springer
15 years 7 months ago
1998
Springer
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
175
Voted
CI
2000
15 years 3 months ago
2000
Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which prop...