4372 search results - page 120 / 875 » Algorithmic Theories of Everything |
TPHOL
2000
IEEE
14 years 13 days 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...
AAAI
2004
13 years 10 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
13 years 8 months 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...
DATE
2006
IEEE
14 years 2 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...
CONCUR
2003
Springer
14 years 2 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...