13489 search results - page 571 / 2698 » Operating System |
203
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
179
click to vote
JC
2008
15 years 7 months ago
2008
We show several estimates on the probability distribution of some data at points in real complete intersection varieties: norms of real affine solutions, condition number of real ...
208
click to vote
CSREAESA
2009
15 years 8 months ago
2009
: Space is a hazardous environment for both man and machine and to explore such a terrain a rugged, yet easily implementable, platform is needed. Low-cost, low-power embedded syste...
135
click to vote
USS
2008
15 years 9 months ago
2008
There are many advantages to voting schemes in which voters rank all candidates in order, rather than just choosing their favourite. However, these schemes inherently suffer from ...
195
click to vote
FAST
2009
15 years 4 months ago
2009
The advent of cloud computing provides a cheap and convenient mechanism for scientists to share data. The utility of such data is obviously enhanced when the provenance of the dat...