1717 search results - page 102 / 344 » A Computable Spectral Theorem |
126
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
129
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
129
click to vote
FOCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract. We show how to associate e ectively computableobstructions to a waitfree distributed decision task (I;O; ) in the asynchronous shared-memory, readwrite model. The key new...
115
click to vote
CSJM
2008
15 years 4 months ago
2008
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
112
click to vote
BIB
2007
15 years 4 months ago
2007
Being a relatively new addition to the ‘omics’ field, metabolomics is still evolving its own computational infrastructure and assessing its own computational needs. Due to its...