4463 search results - page 336 / 893 » computing 2000 |
315
click to vote
ACMMPC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
150
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
157
click to vote
ICES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16-bit address space into an 8-bit one. The target technolog...
187
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
:We present a comparison of an extended Kalman lter and an adaptation of bundle adjustment from computer vision for mobile robot localization and mapping using a bearing-only senso...
130
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
At Iowa State University, the Office of Academic Information Technologies, the English Department, and the Department of Residence have developed a strategic alliance to plan and ...