9267 search results - page 1695 / 1854 » Expectation-Oriented Analysis and Design |
161
click to vote
ISSTA
2004
ACM
16 years 17 hour ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
177
click to vote
MM
2004
ACM
16 years 17 hour ago
2004
ACM
This paper describes SwarmArt, a collaborative project between computer science and art, which resulted in two installations of interactive art that incorporates swarm intelligenc...
193
click to vote
MM
2004
ACM
16 years 16 hour ago
2004
ACM
A novel solution to the reliable multicast problem is the “digital fountain” approach, in which data is encoded with an erasure protection code before transmission, and receiv...
175
click to vote
MM
2004
ACM
16 years 16 hour ago
2004
ACM
We propose a novel technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. Our technique uses a combination of harmonic content a...
162
click to vote
MM
2004
ACM
16 years 16 hour ago
2004
ACM
In this paper, we propose a Web image search result organizing method to facilitate user browsing. We formalize this problem as a salient image region pattern extraction problem. ...