Sciweavers

4463 search results - page 336 / 893
» computing 2000
Sort
View
ACMMPC
2000
Springer
238views Mathematics» more  ACMMPC 2000»
15 years 11 months ago
Ordered Sets and Complete Lattices
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 ...
Hilary A. Priestley
DIAGRAMS
2000
Springer
15 years 11 months ago
Case Analysis in Euclidean Geometry: An Overview
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...
Nathaniel Miller
ICES
2000
Springer
91views Hardware» more  ICES 2000»
15 years 10 months ago
Dynamic Optimisation of Non-linear Feed Forward Circuits
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...
Ernesto Damiani, Valentino Liberali, Andrea Tettam...
ISER
2000
Springer
107views Robotics» more  ISER 2000»
15 years 10 months ago
Experimental Comparison of Techniques for Localization and Mapping Using a Bearing-Only Sensor
: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...
Matthew Deans, Martial Hebert
SIGUCCS
2000
ACM
15 years 10 months ago
Strategic Partnerships for Managing Labs
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 ...
Linda J. Hutchison, Dennis J. Engholm