Sciweavers

526 search results - page 80 / 106
» The Robot Scientist Project
Sort
View
ICRA
2005
IEEE
175views Robotics» more  ICRA 2005»
14 years 1 months ago
Flexure Design Rules for Carbon Fiber Microrobotic Mechanisms
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...
Srinath Avadhanula, Ronald S. Fearing
ICRA
2005
IEEE
105views Robotics» more  ICRA 2005»
14 years 1 months ago
Iteratively Locating Voronoi Vertices for Dispersion Estimation
— We present a new sampling-based algorithm for iteratively locating Voronoi vertices of a point set in the unit cube Id = [0, 1]d . The algorithm takes an input sample and execu...
Stephen R. Lindemann, Peng Cheng
ICRA
2003
IEEE
163views Robotics» more  ICRA 2003»
14 years 25 days ago
A real-time robust eye tracking system for autostereoscopic displays using stereo cameras
− Autostereoscopic display systems can provide users a natural 3-D visualization environment by projecting stereo video onto the user's eyes. Eye position localization is a ...
Chan-Hung Su, Yong-Sheng Chen, Yi-Ping Hung, Chu-S...
RTCSA
1999
IEEE
13 years 11 months ago
Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
Tommy Klevin, Lennart Lindh
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...