5084 search results - page 118 / 1017 » Proving Possibility Properties |
184
click to vote
VMCAI
2010
Springer
16 years 14 days ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
137
click to vote
SYNASC
2007
IEEE
15 years 11 months ago
2007
IEEE
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
136
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
183
click to vote
FCS
2006
15 years 6 months ago
2006
We prove an upper bound on the convergence rate of Markov Chain Monte Carlo (MCMC) algorithms for the important special case when the state space can be aggregated into a smaller ...
131
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...