Sciweavers

5671 search results - page 706 / 1135
» A Semantic Approach to Interpolation
Sort
View
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
16 years 16 days ago
Detection of Key Change in Classical Piano Music
Tonality is an important aspect of musical structure. Detecting key of music is one of the major tasks in tonal analysis and will benefit semantic segmentation of music for indexi...
Wei Chai, Barry Vercoe
UML
2005
Springer
16 years 15 days ago
Ontology-Based Model Transformation
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
Stephan Roser, Bernhard Bauer
DOCENG
2004
ACM
16 years 14 days ago
The lifecycle of a digital historical document: structure and content
This paper describes the lifecycle of a digital historical document, from template-based structure definition through to content extraction from the scanned pages and its final re...
Apostolos Antonacopoulos, Dimosthenis Karatzas, He...
CONCUR
2004
Springer
16 years 13 days ago
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
Corina Cîrstea, Dirk Pattinson
IFM
2004
Springer
116views Formal Methods» more  IFM 2004»
16 years 12 days ago
Formalising Behaviour Trees with CSP
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
Kirsten Winter