3229 search results - page 291 / 646 » The Theory of Timed Automata |
151
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
In theory, it should be possible to infer realistic genetic networks from time series microarray data. In practice, however, network discovery has proved problematic. The three ma...
157
click to vote
WSC
2000
15 years 8 months ago
2000
In the this paper, we study the problem of collective resource management. We first introduce the problem through realworld examples. Then we generalize the problem and build an a...
170
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
: This paper describes the theory of feedback control in the class inputs which allow delta-functions and their derivatives. It indicates a modification of dynamic programming tech...
176
click to vote
IPL
2006
15 years 6 months ago
2006
This paper addresses the problem of bandwidth allocation under the weighted maximum rate constrained link sharing policy and proves a key theory in the condition of allocation ter...
182
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...