3742 search results - page 128 / 749 » On the Use of Formal Techniques for Validation |
181
click to vote
ICAPR
2009
Springer
16 years 28 days ago
2009
Springer
This paper proposes an efficient skin-color and template based technique for automatic ear detection in a side face image. The technique first separates skin regions from nonski...
186
click to vote
RSP
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
199
click to vote
DEXA
2009
Springer
16 years 28 days ago
2009
Springer
Recently, flash memory is emerging as the storage device. With price sliding fast, the cost per capacity is approaching to that of SATA disk drives. So far flash memory has been ...
172
click to vote
CLEIEJ
2010
15 years 3 months ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
177
click to vote
IROS
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— This paper introduces a method of building topological maps using sequences of images and the approximate string matching algorithm, which is commonly used in DNA seque...