153 search results - page 30 / 31 » Formal Methods and Testing: Hypotheses, and Correctness Appr... |
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
MMSEC
2006
ACM
13 years 11 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
CEC
2007
IEEE
14 years 4 days ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
BLISS
2009
IEEE
13 years 6 months ago
2009
IEEE
The exploitation of biometrics information in human shadow silhouettes (shadow biometrics), derived from video imagery after processing by gait analysis methods opens new avenues ...