11808 search results - page 457 / 2362 » Isometries and Computability Structures |
183
click to vote
ISTCS
1993
Springer
15 years 11 months ago
1993
Springer
We pursue a particular approach to analog computation, based on dynamical systems of the type used in neural networks research. Our systems have a xed structure, invariant in time...
166
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
209
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...
179
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
150
click to vote
SIGCSE
2005
ACM
16 years 11 days ago
2005
ACM
Research on learning suggests the importance of helping students organize their knowledge around meaningful patterns of information. This paper reports on a multi-institutional st...