Sciweavers

4163 search results - page 264 / 833
» A comprehensive combination framework
Sort
View
ISCIS
2004
Springer
15 years 12 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
FSR
2003
Springer
89views Robotics» more  FSR 2003»
15 years 11 months ago
An Enhanced Robotic Library System for an Off-Site Shelving Facility
This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...
Jackrit Suthakorn, Sangyoon Lee, Yu Zhou, G. Sayee...
ICVS
2003
Springer
15 years 11 months ago
A Software Architecture for Distributed Visual Tracking in a Global Vision Localization System
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
Sinisa Segvic, Slobodan Ribaric
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
15 years 11 months ago
A Robotic Library System for an Off-Site Shelving Facility
This paper describes a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a growing array of digital ...
Jackrit Suthakorn, Sangyoon Lee, Yu Zhou, Rory Tho...
WISE
2002
Springer
15 years 11 months ago
Evaluating and Enhancing Meta-Search Performance in Digital Libraries
Applying meta search systems is a suitable method to support the user if there are many different retrieval services available in the Web. Due to information splitting strategies ...
Bethina Schmitt, Sven Oberländer