Sciweavers

9316 search results - page 98 / 1864
» Analysis of traceback techniques
Sort
View
TACAS
2000
Springer
121views Algorithms» more  TACAS 2000»
15 years 5 months ago
Using Static Analysis to Improve Automatic Test Generation
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
CORR
2010
Springer
83views Education» more  CORR 2010»
14 years 11 months ago
List Factoring and Relative Worst Order Analysis
Relative worst order analysis is a supplement or alternative to competitive analysis which has been shown to give results more in accordance with observed behavior of online algori...
Martin R. Ehmsen, Jens S. Kohrt, Kim S. Larsen
ECCV
2010
Springer
15 years 2 months ago
Texture Regimes for Entropy-Based Multiscale Image Analysis
We present an approach to multiscale image analysis. It hinges on an operative definition of texture that involves a "small region", where some (unknown) statistic is agg...
Sylvain Boltz, Frank Nielsen, Stefano Soatto
FCS
2009
14 years 11 months ago
Spectral Analysis of Attractors in Random Boolean Network Models
Circuits and loops in graph systems can be used to model the attractors in gene-regulatory networks. The number of such attractors grows very rapidly with network size and even fo...
Kenneth A. Hawick
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 11 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur