Sciweavers

454 search results - page 55 / 91
» Models for Data-Flow Sequential Processes
Sort
View
ICPR
2000
IEEE
15 years 4 months ago
Hand Posture Estimation by Combining 2-D Appearance-Based and 3-D Model-Based Approaches
This paper proposes a method for the rapid and precise estimation of human hand postures by combining 2-D appearance matching and 3-D model-based fitting. First a rough posture e...
Nobutaka Shimada, Kousuke Kimura, Yoshiaki Shirai,...
IGPL
2010
97views more  IGPL 2010»
14 years 10 months ago
A symbolic/subsymbolic interface protocol for cognitive modeling
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
Patrick Simen, Thad A. Polk
SSPR
2004
Springer
15 years 5 months ago
Combining Classifier for Face Identification at Unknown Views with a Single Model Image
Abstract. We investigate a number of approaches to pose invariant face recognition. Basically, the methods involve three sequential functions for capturing nonlinear manifolds of f...
Tae-Kyun Kim, Josef Kittler
114
Voted
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 4 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
FIW
2007
133views Communications» more  FIW 2007»
15 years 1 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne...