20573 search results - page 341 / 4115 » The Computer's New Clothes |
122
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
163
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an...
166
click to vote
IJON
2006
15 years 6 months ago
2006
This paper studies new spike-based models for winner-take-all computation and coincidence detection. In both cases, very fast convergence is achieved independent of initial condit...
118
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
196
click to vote
JAPLL
2006
15 years 6 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...