1717 search results - page 205 / 344 » A Computable Spectral Theorem |
204
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
181
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
176
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
186
click to vote
COMGEO
2012
ACM
14 years 1 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...
163
click to vote
JSYML
2007
15 years 5 months ago
2007
We consider embeddings of structures which preserve spectra: if g : M → S with S computable, then M should have the same Turing degree spectrum (as a structure) that g(M) has (a...