Sciweavers

2344 search results - page 195 / 469
» Dynamic Measurement of Polymorphism
Sort
View
147
Voted
FORMATS
2010
Springer
15 years 1 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
126
Voted
ICALT
2010
IEEE
15 years 1 months ago
Modelling Affect in Learning Environments - Motivation and Methods
Emotions have a functional relevance to learning and achievement. Not surprisingly then, affective diagnoses are an important aspect of expert human mentoring. Computerbased learni...
Shazia Afzal, Peter Robinson
226
Voted
SETN
2010
Springer
15 years 1 months ago
Visual Tracking by Adaptive Kalman Filtering and Mean Shift
A method for object tracking combining the accuracy of mean shift with the robustness to occlusion of Kalman filtering is proposed. At first, an estimation of the object's pos...
Vasileios Karavasilis, Christophoros Nikou, Aristi...
118
Voted
CORR
2010
Springer
90views Education» more  CORR 2010»
15 years 1 months ago
Performance evaluation of parallel manipulators for milling application
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
Anatoly Pashkevich, Alexandr Klimchik, Séba...
119
Voted
CDC
2010
IEEE
106views Control Systems» more  CDC 2010»
14 years 10 months ago
Visual feedback attitude synchronization in leader-follower type visibility structures
In this paper we consider visual feedback attitude synchronization in leader-follower type visibility structures in SE(3). We first define visual robotic networks consisting of the...
Tatsuya Ibuki, Takeshi Hatanaka, Masayuki Fujita, ...