4880 search results - page 742 / 976 » Manuals as Structured Programs |
148
click to vote
ICWL
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...
155
click to vote
ISMIR
2005
Springer
16 years 4 days 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...
145
click to vote
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes a fast audio detection method for specific audio retrieval in the AV stream. The method is a histogram matching algorithm based on structural and perceptual f...
184
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
198
click to vote
UM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...