1717 search results - page 302 / 344 » A Computable Spectral Theorem |
92
Voted
IJCV
2007
15 years 12 days ago
2007
We derive a family of kernels on dynamical systems by applying the Binet-Cauchy theorem to trajectories of states. Our derivation provides a unifying framework for all kernels on d...
TCS
2008
15 years 11 days ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
114
Voted
TKDE
2008
15 years 11 days ago
2008
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
112
click to vote
COMBINATORICS
2000
15 years 9 days ago
2000
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on ...
105
Voted
EATCS
2000
15 years 9 days ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...