3951 search results - page 157 / 791 » Automatic amortized analysis |
137
click to vote
JCDL
2003
ACM
15 years 10 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
144
Voted
HT
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
138
click to vote
ACL
2006
15 years 6 months ago
2006
Japanese dependency structure is usually represented by relationships between phrasal units called bunsetsus. One of the biggest problems with dependency structure analysis in spo...
137
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
165
Voted
CIVR
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we discuss the use of knowledge for the analysis and semantic retrieval of video. We follow a fuzzy relational approach to knowledge representation, based on which we...