461 search results - page 8 / 93 » Bounds for Validation |
IJRR
2010
14 years 9 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
15 years 4 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...
94
Voted
CORR
2007
Springer
14 years 11 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...
98
Voted
KBSE
2010
IEEE
14 years 10 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
14 years 9 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 ...