2588 search results - page 84 / 518 » Applications of Kolmogorov complexity to computable model th... |
101
click to vote
AAAI
1994
15 years 3 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
145
click to vote
CLADE
2003
IEEE
15 years 7 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
105
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The study of biological systems demands computational support. If targeting a biological problem, the reuse of existing computational models can save time and effort. ...
174
click to vote
ALDT
2011
Springer
14 years 1 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...