1717 search results - page 136 / 344 » A Computable Spectral Theorem |
153
click to vote
FOCM
2011
14 years 8 months ago
2011
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
143
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Recent technological advances in mass spectrometry pose challenges in computational mathematics and statistics to process the mass spectral data into predictive models...
170
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
The management of large databases of hierarchical (e.g., multi-scale or multilevel) image features is a common problem in object recognition. Such structures are often represented ...
142
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
194
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...