1301 search results - page 47 / 261 » Bounded Version Vectors |
100
click to vote
APAL
2007
15 years 4 months ago
2007
In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation...
148
click to vote
APAL
2011
14 years 11 months ago
2011
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
114
Voted
ICIP
1998
IEEE
16 years 5 months ago
1998
IEEE
Velocity spectra of a flow can be made by ultrasound Doppler measurements. Using only part of the information in these spectra, it is possible to reconstruct the solenoid part and...
143
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
In data dominated applications, loop transformations have a huge impact on the lifetime of array data and therefore on memory footprint. Since a locally optimal loop transformatio...
121
Voted
AUTOMATICA
2006
15 years 4 months ago
2006
This paper considers the robustness of stochastic stability of Markovian jump linear systems in continuous- and discrete-time with respect to their transition rates and probabilit...