Sciweavers

1063 search results - page 105 / 213
» Programming Methodologies in GCLA
Sort
View
ISMIR
2004
Springer
99views Music» more  ISMIR 2004»
14 years 1 months ago
A Hybrid Graphical Model for Aligning Polyphonic Audio with Musical Scores
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
Christopher Raphael
UML
2004
Springer
14 years 1 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
14 years 1 months ago
New Software Development Paradigms and Possible Adoption for Security
EGovernment would be a lot easier if it could be handled like eBusiness. Unfortunately there are organizational and legal obstacles that make it virtually impossible. The security...
Matthias Günter, Michael Gisler, Bianca von B...
ICRA
2003
IEEE
143views Robotics» more  ICRA 2003»
14 years 1 months ago
Cooperative task planning of multi-robot systems with temporal constraints
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
Feng-Li Lian, Richard M. Murray
IPPS
2003
IEEE
14 years 1 months ago
Task Graph Scheduling Using Timed Automata
In this paper we develop a methodology for treating the problem of scheduling partially-ordered tasks on parallel machines. Our framework is based on the timed automaton model, or...
Yasmina Abdeddaïm, Abdelkarim Kerbaa, Oded Ma...