9521 search results - page 77 / 1905 » Compiling with continuations, continued |
123
click to vote
AAAI
1997
15 years 4 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...
102
click to vote
AUTOMATICA
2006
15 years 3 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
15 years 2 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...
163
click to vote
JCSC
1998
15 years 2 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...
80
Voted
IJBC
2010
15 years 8 days 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...