204 search results - page 9 / 41 » A Simple and Effective Measure for Complex Low-Level Depende... |
IJCV
2007
13 years 10 months ago
2007
The visual effects of rain are complex. Rain produces sharp intensity changes in images and videos that can severely impair the performance of outdoor vision systems. In this paper...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
EDCC
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
JMIV
2006
13 years 10 months ago
2006
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...
WECWIS
2007
IEEE
14 years 5 months ago
2007
IEEE
Reputation systems facilitate cooperation in open environments. Centrality-based reputation systems use centrality measures to rank individuals, i.e., compute their reputation bas...