Sciweavers

832 search results - page 132 / 167
» Characteristic Patterns for LTL
Sort
View
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 2 months ago
Sidewinding on slopes
— Sidewinding is an efficient translation gait used by snakes over flat ground. When implemented on snake robots, it retains its general effectiveness, but becomes unstable on ...
Ross L. Hatton, Howie Choset
SAC
2008
ACM
15 years 2 months ago
ICER: a tool for finding errors in a UML model
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
Wuwei Shen, Dae-Kyoo Kim
TOH
2010
74views more  TOH 2010»
15 years 2 months ago
Vibrotactile Feedback for Information Delivery in the Vehicle
—As technology advances, more functions have been, and continue to be added to the vehicle, resulting in increased needs for improved user interfaces. In this paper, we investiga...
Jonghyun Ryu, Jaemin Chun, Gunhyuk Park, Seungmoon...
BIOSIG
2010
152views Biometrics» more  BIOSIG 2010»
15 years 2 months ago
Biometric Systems in Future Preventive Scenarios - Legal Issues and Challenges
: The privacy and data protection challenges posed by biometric systems have been discussed in detail in the last years. Both security opportunities and privacy risks however may d...
Gerrit Hornung, Monika Desoi, Matthias Pocs
ICASSP
2010
IEEE
15 years 2 months ago
Bandwidth-intensive FPGA architecture for multi-dimensional DFT
Multi-dimensional (MD) Discrete Fourier Transform (DFT) is a key kernel algorithm in many signal processing algorithms, including radar data processing and medical imaging. Althou...
Chi-Li Yu, Chaitali Chakrabarti, Sungho Park, Vija...