Sciweavers

3052 search results - page 40 / 611
» On the Verification of the Gravity Model Used for Mobility M...
Sort
View
ICRA
2009
IEEE
127views Robotics» more  ICRA 2009»
14 years 2 months ago
Thermally constrained motor operation for a climbing robot
Abstract— Climbing robots are especially susceptible to thermal overload during normal operation, due to the need to oppose gravity and to frequently apply internal forces for cl...
Salomon Trujillo, Mark R. Cutkosky
ICVS
2009
Springer
14 years 2 months ago
A Multiple Hypothesis Approach for a Ball Tracking System
This paper presents a computer vision system for tracking and predicting flying balls in 3-D from a stereo-camera. It pursues a “textbook-style” approach with a robust circle ...
Oliver Birbach, Udo Frese
BILDMED
2008
13 years 9 months ago
In-Vivo Targeting of Liver Lesions with a Navigation System Based on Fiducial Needles
We assessed the targeting precision of a previously reported needle-based soft tissue navigation system in-vivo. Eight 2 ml agar nodules were implanted into the livers of two swine...
Lena Maier-Hein, A. Tekbas, Alexander Seitel, Fran...
IFIP
2009
Springer
13 years 5 months ago
Finite Models in FOL-Based Crypto-Protocol Verification
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...
Jan Jürjens, Tjark Weber
DAC
2007
ACM
13 years 11 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye