9626 search results - page 125 / 1926 » Invariant Based Programming |
134
Voted
IEEEHPCS
2010
15 years 3 months ago
2010
An efficient method for face recognition which is robust under illumination variations is proposed. The proposed method achieves the illumination invariants based on the reflectan...
134
Voted
JMIV
2010
15 years 3 months ago
2010
Recognizing shapes in multiview imaging is still a challenging task, which usually relies on geometrical invariants estimations. However, very few geometric estimators that achieve...
146
click to vote
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
Software often needs to be modified for accommodating requirements changes through the software life cycle. To deal with several accidental requirements changes related to softwa...
202
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
127
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...