18716 search results - page 181 / 3744 » Automatic |
123
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
155
click to vote
ISSAC
2004
Springer
15 years 10 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
187
click to vote
MICAI
2004
Springer
15 years 10 months ago
2004
Springer
Three-dimensional (3D) registration is the process aligning the range data sets form different views in a common coordinate system. In order to generate a complete 3D model, we nee...
149
Voted
VECPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
120
click to vote
CSMR
2003
IEEE
15 years 10 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...