6045 search results - page 243 / 1209 » Computable Linearizations of Well-partial-orderings |
150
click to vote
COMGEO
2011
ACM
14 years 11 months ago
2011
ACM
In this note, we show that the size of the perimeter of (α, β)-covered objects is a linear function of the diameter. Specifically, for an (α, β)-covered object O, per(O) ≤ c...
225
click to vote
SCL
2011
14 years 11 months ago
2011
In this paper we present a technique for design of decentralized controllers for mean square stability of a large scale system with cascaded clusters of subsystems. Each subsystem...
166
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
149
click to vote
EUROGP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We discuss here empirical comparation between model selection methods based on Linear Genetic Programming. Two statistical methods are compared: model selection based on ...
126
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...