2588 search results - page 189 / 518 » Applications of Kolmogorov complexity to computable model th... |
151
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
218
click to vote
ECCB
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
100
click to vote
GRID
2007
Springer
15 years 1 months ago
2007
Springer
It is often difficult to perform efficiently a collection of jobs with complex job dependencies due to temporal unpredictability of the grid. One way to mitigate the unpredictabili...
130
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...
125
Voted
COCO
2009
Springer
15 years 8 months ago
2009
Springer
—Consider the following Simultaneous Message Passing (SMP) model for computing a relation f ⊆ X ×Y ×Z. In this model Alice, on input x ∈ X and Bob, on input y ∈ Y, send o...