Sciweavers

8067 search results - page 1323 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
IROS
2008
IEEE
158views Robotics» more  IROS 2008»
16 years 1 months ago
A model-predictive approach to formation control of omnidirectional mobile robots
— This paper presents a solution to the problem of steering a group of real omnidirectional mobile robots along a given path, while maintaining a desired formation pattern. This ...
Kiattisin Kanjanawanishkul, Andreas Zell
JCDL
2006
ACM
176views Education» more  JCDL 2006»
16 years 1 months ago
A hierarchical, HMM-based automatic evaluation of OCR accuracy for a digital library of books
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
Shaolei Feng, R. Manmatha
CAV
2005
Springer
150views Hardware» more  CAV 2005»
16 years 24 days ago
Reasoning About Threads Communicating via Locks
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
Vineet Kahlon, Franjo Ivancic, Aarti Gupta
FGR
2006
IEEE
121views Biometrics» more  FGR 2006»
15 years 11 months ago
Optimal Hand Gesture Vocabulary Design Using Psycho-Physiological and Technical Factors
A global approach to hand gesture vocabulary design is proposed which includes human as well as technical design factors. The human centered desires of multiple users are implicit...
Helman Stern, Juan P. Wachs, Yael Edan
ISTCS
1992
Springer
15 years 10 months ago
Concurrent Timestamping Made Simple
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
Rainer Gawlick, Nancy A. Lynch, Nir Shavit
« Prev « First page 1323 / 1614 Last » Next »