5144 search results - page 993 / 1029 » Enhancing Search with Structure |
128
click to vote
IPTPS
2005
Springer
15 years 7 months ago
2005
Springer
— We propose here an analysis of a rich dataset which gives an exhaustive and dynamic view of the exchanges processed in a running eDonkey system. We focus on correlation in term...
100
click to vote
ISMIR
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes a music analyzing system called the automatic time-span tree analyzer (ATTA), which we have developed. The ATTA derives a time-span tree that assigns a hierar...
140
click to vote
LOPSTR
2005
Springer
15 years 7 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
113
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
115
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...