3228 search results - page 329 / 646 » Computationally Sound Proofs |
138
click to vote
ICMCS
2005
IEEE
16 years 10 days 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...
162
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days 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...
150
click to vote
BIRTHDAY
2005
Springer
16 years 9 days 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...
162
click to vote
DIGRA
2005
Springer
16 years 8 days 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...
189
click to vote
DSSCV
2005
Springer
16 years 8 days 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...