4372 search results - page 120 / 875 » Algorithmic Theories of Everything |
104
click to vote
TPHOL
2000
IEEE
15 years 4 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
93
Voted
AAAI
2004
15 years 2 months ago
2004
In this paper we report some of the research endeavors we are embarking on as part of the Doctoral research of the first author. We have already completed an investigation of some...
IJCV
2000
15 years 18 days ago
2000
The aim of this paper is to explore a linear geometric algorithm for recovering the three dimensional motion of a moving camera from image velocities. Generic similarities and diff...
77
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper derives the multi-layer heat conduction Green’s function, by integrating the eigen-expansion technique and the classic transmission line theories, and presents a loga...
110
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...