461 search results - page 8 / 93 » Bounds for Validation |
IJRR
2010
13 years 7 months ago
2010
The bounding gait for the Platform for Ambulating Wheels (PAW), a new and unique hybrid wheeled-leg system is presented here. Two hypotheses are tested and discussed: first, that ...
ISLPED
1998
ACM
14 years 2 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
— This paper considers the quantization problem on the Grassmann manifold with dimension n and p. The unique contribution is the derivation of a closed-form formula for the volum...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
MICRO
2010
IEEE
13 years 7 months ago
2010
IEEE
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...