Sciweavers

57 search results - page 3 / 12
» An Experimentally Verified Model of the Perceived 'Coldness'...
Sort
View
PPDP
2004
Springer
13 years 10 months ago
Model checking object petri nets in prolog
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
Berndt Farwer, Michael Leuschel
ICPR
2008
IEEE
14 years 6 months ago
Semantic grouping of visual features
Many current object class models build on visual parts that constitute an object. However, visually different entities may actually refer to the same object part. This may be harm...
Alexandra Teynor, Hans Burkhardt
TEC
2010
143views more  TEC 2010»
12 years 11 months ago
Active Categorical Perception of Object Shapes in a Simulated 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 process whereby the brain const...
Elio Tuci, Gianluca Massera, Stefano Nolfi
HVC
2005
Springer
160views Hardware» more  HVC 2005»
13 years 10 months ago
Simultaneous SAT-Based Model Checking of Safety Properties
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
Zurab Khasidashvili, Alexander Nadel, Amit Palti, ...
ICASSP
2011
IEEE
12 years 8 months ago
Combining generic and class-specific codebooks for object categorization and detection
Combining advantages of shape and appearance features, we propose a novel model that integrates these two complementary features into a common framework for object categorization ...
Hong Pan, Yaping Zhu, Liang-Zheng Xia, Truong Q. N...