Sciweavers

2024 search results - page 141 / 405
» The Meaning of Ordered SOS
Sort
View
108
Voted
ICMCS
2000
IEEE
213views Multimedia» more  ICMCS 2000»
15 years 5 months ago
Extending Databases to Support Image Editing
In order to understand similarity between images, recent research has focused on adaptable searches [9] and fuzzy queries [4]. However, one of the best means for determining simil...
Gregory D. Speegle, Allen M. Gao, Shaowen Hu, Le G...
ICRA
2000
IEEE
95views Robotics» more  ICRA 2000»
15 years 5 months ago
Precision-Calibration of Fiber-Optics Gyroscopes for Mobile Robot Navigation
Fiber-optics gyroscopes (“gyros”) are gaining importance as a means for improving dead-reckoning accuracy in mobile robots. In the past, the relatively high drift rate of mode...
Lauro Ojeda, Hakyoung Chung, Johann Borenstein
91
Voted
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 5 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
97
Voted
IPPS
2000
IEEE
15 years 5 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
89
Voted
ITC
2000
IEEE
123views Hardware» more  ITC 2000»
15 years 5 months ago
Combinational logic synthesis for diversity in duplex systems
We describe logic synthesis techniques for designing diverse implementations of combinational logic circuits in order to maximize the data integrity of diverse duplex systems in t...
Subhasish Mitra, Edward J. McCluskey