513 search results - page 55 / 103 » Generic Methods for Optimization-Based Modeling |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper we propose a generic framework based on Hidden Markov Models (HMMs) for recognition of individuals from their gait. The HMM framework is suitable, because the gait o...
IFM
2005
Springer
14 years 2 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
In this paper, efficient and generic tools for calibration and 3D reconstruction are presented. These tools exploit geometric constraints frequently present in man-made environmen...