575 search results - page 60 / 115 » A Note on Karr's Algorithm |
SIGMOD
1993
ACM
15 years 3 months ago
1993
ACM
The OO7 Benchmark represents a comprehensive test of OODBMS performance. In this report we describe the benchmark and present performance results from its implementation in four O...
EURODAC
1995
IEEE
15 years 2 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
ACL
2004
15 years 18 days ago
2004
This paper describes an algorithm for detecting empty nodes in the Penn Treebank (Marcus et al., 1993), finding their antecedents, and assigning them function tags, without access...
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
We present a novel music signal processing task of classifying the tuning of a harpsichord from audio recordings of standard musical works. We report the results of a classificat...
ENTCS
2008
14 years 11 months ago
2008
In this note we consider the computability of the solution of the initial-value problem for ordinary differential equations with continuous right-hand side. We present algorithms ...