8838 search results - page 330 / 1768 » Generalizing Domain Theory |
140
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We propose a theory of eigenvalues, eigenvectors, singular values, and singular vectors for tensors based on a constrained variational approach much like the Rayleigh quotient for...
167
click to vote
TOPNOC
2008
15 years 6 months ago
2008
"How can we make sure our students learn what we want them to?" is the number one question in teaching. This paper is intended to provide the reader with: i) a general a...
140
click to vote
UC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
190
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
185
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...