9521 search results - page 468 / 1905 » Compiling with continuations, continued |
105
Voted
EATCS
2002
15 years 4 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
152
Voted
MOC
2000
15 years 4 months ago
2000
Abstract. Complexity theoretic aspects of continuation methods for the solution of square or underdetermined systems of polynomial equations have been studied by various authors. I...
147
Voted
RSA
2000
15 years 4 months ago
2000
A succinct series expression is derived for describing the limit distribution of the number of times r consecutive elements are all records (in a sequence of independent and ident...
145
Voted
ACTA
1998
15 years 4 months ago
1998
We will give a survey on results related to scheduling problems where machines are not continuously available for processing. We will deal with single and multi machine problems an...
170
click to vote
AML
1999
15 years 4 months ago
1999
We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the mon...