877 search results - page 32 / 176 » Annotated Revision Programs |
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
ECRTS
2002
IEEE
14 years 2 months ago
2002
IEEE
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
ISMIR
2005
Springer
14 years 2 months ago
2005
Springer
The focus of this paper is on ENP-expressions that can be used for annotating ENP scores with user definable information. ENP is a music notation program written in Lisp and CLOS...
CG
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. By developing an intelligent computer system that will provide commentary of chess moves in a comprehensible, user-friendly and instructive way, we are trying to use the ...