Sciweavers

12257 search results - page 434 / 2452
» Analysis of Algorithms
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 9 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
PLDI
1993
ACM
15 years 9 months ago
Dependence-Based Program Analysis
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
Richard Johnson, Keshav Pingali
COCO
2006
Springer
113views Algorithms» more  COCO 2006»
15 years 8 months ago
On the Complexity of Numerical Analysis
We study two quite different approaches to understanding the complexity of fundamental problems in numerical analysis. We show that both hinge on the question of understanding the...
Eric Allender, Peter Bürgisser, Johan Kjeldga...
HIS
2008
15 years 6 months ago
Bio-Inspired Parameter Tunning of MLP Networks for Gene Expression Analysis
The performance of Artificial Neural Networks is largely influenced by the value of their parameters. Among these free parameters, one can mention those related with the network a...
André L. D. Rossi, André C. P. L. F....
IFIP12
2007
15 years 6 months ago
Semantic Multimedia Analysis based on Region Types and Visual Context
In this paper previous work on the detection of high-level concepts within multimedia documents is extended by introducing a mid-level ontology as a means of exploiting the visual ...
Evaggelos Spyrou, Phivos Mylonas, Yannis S. Avrith...