3238 search results - page 538 / 648 » On the Computational Interpretation of Negation |
159
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
In the last decades several tools and environments defined and introduced languages for querying, navigating sforming abstract syntax trees. These environments were meant to supp...
172
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
134
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
169
click to vote
GREC
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
151
click to vote
ISMIR
2003
Springer
15 years 11 months ago
2003
Springer
Music alignment links events in a score and points on the audio performance time axis. All the parts of a recording can be thus indexed according to score information. The automat...