3951 search results - page 93 / 791 » Automatic amortized analysis |
122
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
In this paper, we present a variant of the dependency pair method for analysing runtime complexities of term rewrite systems automatically. This method is easy to implement, but si...
118
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, a cross-media browsing demonstrator named InfoLink is described. InfoLink automatically links the content of Dutch broadcast news videos to related information sour...
127
Voted
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
122
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
180
click to vote
CMMR
2009
Springer
15 years 7 months ago
2009
Springer
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...