Sciweavers

892 search results - page 38 / 179
» Calculating with Requirements
Sort
View
81
Voted
ICRA
2002
IEEE
127views Robotics» more  ICRA 2002»
15 years 5 months ago
Design and Control of a Three-Link Serial Manipulator for Lessons in Particle Dynamics
Design, control, and performance of a ball-throwing robot are examined in this paper. The objective of this project is to provide an interactive ball-throwing robotic arm for illu...
Mark A. Minor, Kent Jensen, Youngshik Kim
CCECE
2006
IEEE
15 years 4 months ago
A Simplified Early Auditory Model with Application in Speech/Music Classification
The past decade has seen extensive research on audio classification and segmentation algorithms. However, the effect of background noise on the performance of classification has n...
Wei Chu, Benoît Champagne
ECCV
2006
Springer
15 years 4 months ago
SIFT and Shape Context for Feature-Based Nonlinear Registration of Thoracic CT Images
Nonlinear image registration is a prerequisite for various medical image analysis applications. Many data acquisition protocols suffer from problems due to breathing motion which h...
Martin Urschler, Joachim Bauer, Hendrik Ditt, Hors...
83
Voted
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 4 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
94
Voted
BIOCOMP
2008
15 years 2 months ago
Identifying Protein Flexibility by NMA
- Here proposed apriori method for identification of protein flexibility relies on one end-state conformation of the protein. This method has comparative advantage over many others...
Kresimir Sikic, Branko Jeren, Sanja Tomic