3228 search results - page 329 / 646 » Computationally Sound Proofs |
106
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
We report an experiment with an acoustic surveillance system comprised of a computer and microphone situated in a typical office environment. The system continuously analyzes the...
132
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...
107
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
120
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
The video game heritage is being preserved especially on the Web: comments, screenshots, sounds, videos, etc. But one important element is missing: the environment in which we pla...
142
Voted
DSSCV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Several image processing algorithms imitate the lateral interaction of neurons in the visual striate cortex V1 to account for the correlations along contours and lines. H...