1717 search results - page 291 / 344 » A Computable Spectral Theorem |
85
Voted
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
115
Voted
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
89
Voted
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
In this work a marker-controlled and regularized watershed segmentation is proposed. Only a few previous studies address the task of regularizing the obtained watershed lines from ...
113
Voted
STOC
2006
ACM
15 years 6 months ago
2006
ACM
It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by...
SIGECOM
2005
ACM
15 years 6 months ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...