11455 search results - page 1803 / 2291 » The Rayset and Its Applications |
178
click to vote
IICS
2010
Springer
15 years 11 months ago
2010
Springer
Started in 1998, the search engine Google estimates page importance using several parameters. PageRank is one of those. Precisely, PageRank is a distribution of probability on the ...
197
click to vote
ITP
2010
15 years 11 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
189
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
180
click to vote
FMICS
2007
Springer
15 years 11 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
215
click to vote
CVPR
2009
IEEE
15 years 11 months ago
2009
IEEE
Nonnegative Matrix Factorization (NMF) approximates a given data matrix as a product of two low rank nonnegative matrices, usually by minimizing the L2 or the KL distance between ...