9521 search results - page 77 / 1905 » Compiling with continuations, continued |
AAAI
1997
14 years 11 months ago
1997
We present empirical evidence that the distribution of e ort required to solve CSPs randomly generated at the 50% satis able point, when using a backtracking algorithm, can be app...
AUTOMATICA
2006
14 years 10 months ago
2006
In this paper, we propose to regulate the output of an auto-catalytic bioprocess (a biological process associated with a growth of a micro-organism) by means of a recirculation lo...
TPDS
2008
14 years 9 months ago
2008
We consider the Continuous Delivery Message Dissemination (CDMD) problem over the n-processor single-port complete (all links are present and are bidirectional) static network with...
101
click to vote
JCSC
1998
14 years 9 months ago
1998
: Continuous and hybrid Petri nets can be seen as relaxation of discrete nets, in which the firing of some or of all transitions is approximated with a fluid model. Several analysi...
IJBC
2010
14 years 7 months ago
2010
In this paper we characterize topologically the empty interior subsets of a compact surface S which can be -limit sets of recurrent orbits (but of no nonrecurrent ones) of continu...