Sciweavers

10890 search results - page 37 / 2178
» Automatic Complexity Analysis
Sort
View
KES
2006
Springer
13 years 7 months ago
Neural Network Classification of Diesel Spray Images
This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...
Simon D. Walters, Shaun H. Lee, Cyril Crua, Robert...
EMSOFT
2006
Springer
13 years 11 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing
KBSE
1999
IEEE
13 years 12 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
ICDAR
2003
IEEE
14 years 27 days ago
Automatic Filter Selection Using Image Quality Assessment
Andrea Souza, Mohamed Cheriet, Satoshi Naoi, Ching...
ICDAR
1999
IEEE
13 years 12 months ago
EXTRAFOR: Automatic EXTRAction of Mathematical FORmulas
Afef Kacem, Abdel Belaïd, Mohamed Ben Ahmed