Sciweavers

57 search results - page 5 / 12
» An Experimentally Verified Model of the Perceived 'Coldness'...
Sort
View
CEC
2009
IEEE
15 years 6 months ago
Active categorical perception in an evolved anthropomorphic robotic arm
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...
Elio Tuci, Gianluca Massera, Stefano Nolfi
SCSC
2007
15 years 1 months ago
A graphical variant approach to object-oriented modeling of dynamic systems
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
Paul Kinnucan, Pieter J. Mosterman
NFM
2011
264views Formal Methods» more  NFM 2011»
14 years 6 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
ECCV
2002
Springer
16 years 1 months ago
Towards Improved Observation Models for Visual Tracking: Selective Adaptation
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
Andrew Blake, Jaco Vermaak, Michel Gangnet, Patric...
94
Voted
PAMI
2007
156views more  PAMI 2007»
14 years 11 months ago
Selection and Fusion of Color Models for Image Feature Detection
—The choice of a color model is of great importance for many computer vision algorithms (e.g., feature detection, object recognition, and tracking) as the chosen color model indu...
Harro M. G. Stokman, Theo Gevers