Sciweavers

4781 search results - page 827 / 957
» Online algorithms for network design
Sort
View
STACS
1991
Springer
15 years 5 months ago
Optimal Parallel Recognition of Bracket Languages on Hypercubes
Bracket languages play an important role in the syntax analysis of programming languages. We investigate the parallel recognition and analysis of these languages as a first step ...
Gisela Pitsch, Elmar Schömer
AAAI
2008
15 years 3 months ago
Generating Application-Specific Benchmark Models for Complex Systems
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
Jun Wang, Gregory M. Provan
FOSSACS
2008
Springer
15 years 3 months ago
Robust Analysis of Timed Automata via Channel Machines
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
Patricia Bouyer, Nicolas Markey, Pierre-Alain Reyn...
ISTA
2007
15 years 3 months ago
Intelligent System for Computer-assisted Clinical Cancer Image Analysis
: We present CaDiS - a new multimedia medical workstation, which helps early and precise diagnosis and treatment of cervical cancer. The workstation is developed with the close par...
Anatoly N. Bondarenko, Andrei V. Katsuk
EUSFLAT
2001
125views Fuzzy Logic» more  EUSFLAT 2001»
15 years 2 months ago
Computational intelligence approaches for parametric estimation and feature extraction of power spectral density
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...
Da Ruan, Davide Roverso, Paolo F. Fantoni