6693 search results - page 430 / 1339 » Methods of Automatic Algorithm Generation |
195
click to vote
MM
2005
ACM
16 years 1 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
206
click to vote
CIVR
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
198
click to vote
ISMAR
2003
IEEE
16 years 27 days ago
2003
IEEE
We present a general method for real-time, visiononly single-camera simultaneous localisation and mapping (SLAM) — an algorithm which is applicable to the localisation of any ca...
207
click to vote
CAV
2003
Springer
16 years 26 days ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
220
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...