Sciweavers

5273 search results - page 234 / 1055
» Improving quality together
Sort
View
PRICAI
2004
Springer
16 years 15 days ago
Covisibility-Based Map Learning Method for Mobile Robots
In previous work, we proposed a unique landmark-based map learning method for mobile robots based on the “co-visibility” information i.e., very coarse qualitative information o...
Takehisa Yairi
ERCIMDL
2009
Springer
99views Education» more  ERCIMDL 2009»
15 years 11 months ago
Searching Archival Finding Aids: Retrieval in Original Order?
Archival principles as Provenance (keeping material from the same creator together) and its corollary Original Order (keeping the order of creation intact) could help improve acces...
Junte Zhang, Jaap Kamps
ISCAS
1999
IEEE
206views Hardware» more  ISCAS 1999»
15 years 11 months ago
Transimpedance amplifier with differential photodiode current sensing
This paper presents a balanced receiver structure suitable for wireless infrared data communications. The receiver provides a fixed photodiode bias voltage with the use of a regul...
B. Zand, K. Phang, D. A. Johns
EPIA
1999
Springer
15 years 11 months ago
Critical Agents Supporting Interactive Theorem Proving
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Christoph Benzmüller, Volker Sorge
ISSAC
1999
Springer
86views Mathematics» more  ISSAC 1999»
15 years 11 months ago
How Fast Can We Compute Products?
In this paper we consider the problem of fast computation of n-ary products, for large n, over arbitrary precision integer or rational number domains. The combination of loop unro...
V. Kislenkov, V. Mitrofanov, Eugene V. Zima