136 search results - page 8 / 28 » About Duval's Conjecture |
152
click to vote
ICSE
2009
IEEE-ACM
16 years 23 days ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
125
click to vote
LATA
2009
Springer
16 years 23 days ago
2009
Springer
We present a new series of run-rich strings, and give a new lower bound 0.94457567 of the maximum number of runs in a string. We also introduce the general conjecture about a asymp...
133
click to vote
ANTS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
141
click to vote
STACS
2010
Springer
16 years 29 days ago
2010
Springer
We study the problem of recognizing graph powers and computing roots of graphs. We provide a polynomial time recognition algorithm for r-th powers of graphs of girth at least 2r + ...
152
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
Normative study of probability-agreeing orderings of propositions, much of it rooted in a false but evocative conjecture of Bruno de Finetti, has typically sought to credal ration...