3228 search results - page 357 / 646 » Computationally Sound Proofs |
126
click to vote
MM
2005
ACM
15 years 9 months ago
2005
ACM
We present the MusicSurfer, a metadata free system for the interaction with massive collections of music. MusicSurfer automatically extracts descriptions related to instrumentatio...
120
Voted
MM
2005
ACM
15 years 9 months ago
2005
ACM
With seven-league boots through the Internet - when you take a stroll through the physical world in this wireless LAN footwear, you might meet people who happen to be spending som...
151
click to vote
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
130
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
137
click to vote
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...