Sciweavers

498 search results - page 44 / 100
» Model Validation using Automatically Generated Requirements-...
Sort
View
ISMIR
2005
Springer
135views Music» more  ISMIR 2005»
14 years 1 months ago
Automatic X Traditional Descriptor Extraction: the Case of Chord Recognition
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
Giordano Ribeiro de Eulalio Cabral, Françoi...
DAGM
2007
Springer
14 years 1 months ago
A Multi-view Camera System for the Generation of Real-Time Occlusion-Free Scene Video
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
Alparslan Yildiz, Yusuf Sinan Akgul
EMSOFT
2008
Springer
13 years 9 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
NLPRS
2001
Springer
14 years 1 days ago
Linguistic Techniques to Improve the Performance of Automatic Text Categorization
This paper presents a method for incorporating natural language processing into existing text categorization procedures. Three aspects are considered in the investigation: (i) a m...
Akiko N. Aizawa
APCCM
2008
13 years 9 months ago
A Practical Guide to Testing the Understandability of Notations
Model-driven development is the process of creating models of a software system and transforming them into source code. Since the stepwise transformations can be done automaticall...
Susanne Patig