955 search results - page 134 / 191 » Model Checking Operator Procedures |
102
Voted
CIVR
2007
Springer
15 years 8 months ago
2007
Springer
The retrieval performance of content-based image retrieval (CBIR) systems is often disappointingly low, mainly due to the subjectivity of human perception. Relevance feedback (RF)...
126
click to vote
CGI
2000
IEEE
15 years 6 months ago
2000
IEEE
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
102
click to vote
CARTOGRAPHICA
2010
14 years 11 months ago
2010
Shaded relief derived automatically from digital elevation models differs distinctly from traditional manual shading. Particularly at small scales, many small topographic details ...
137
Voted
JMLR
2010
14 years 9 months ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...
122
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...