Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
k one-way heads cannot do string-matching
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
A General Theory of Composition for a Class of "Possibilistic" Properties
IEEE Transactions on Software Engineering
Re-estimation of software reliability after maintenance
ICSE '97 Proceedings of the 19th international conference on Software engineering
Performance of Neural Net Heuristics for Maximum Clique on DiverseHighly Compressible Graphs
Journal of Global Optimization
Cosmological lower bound on the circuit complexity of a small problem in logic
Journal of the ACM (JACM)
Computational Complexity, Genetic Programming, and Implications
EuroGP '01 Proceedings of the 4th European Conference on Genetic Programming
Measuring and Optimizing Behavioral Complexity for Evolutionary Reinforcement Learning
ICANN '09 Proceedings of the 19th International Conference on Artificial Neural Networks: Part II
The very particular structure of the very hard instances
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Functional programs as compressed data
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
A Strange Application of Kolmogorov Complexity
Theory of Computing Systems
Hi-index | 0.00 |