4341 search results - page 705 / 869 » Quantitative Model checking |
117
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Several analog-to-digital conversion methods for bandlimited signals used in applications, such as quantization schemes, employ coarse quantization coupled with oversampling. The...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
150
click to vote
DEBU
2008
15 years 6 months ago
2008
We present the SQL Performance Analyzer, a novel approach in Oracle Database 11g to testing database changes, such as upgrades, parameter changes, schema changes, and gathering op...
198
click to vote
IJCV
2006
15 years 6 months ago
2006
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...
203
click to vote
IVC
2008
15 years 6 months ago
2008
This paper generalizes Markov Random Field (MRF) stereo methods to the generation of surface relief (height) fields rather than disparity or depth maps. This generalization enable...