Sciweavers

2272 search results - page 16 / 455
» Validity Invariants and Effects
Sort
View
MVA
2007
186views Computer Vision» more  MVA 2007»
13 years 9 months ago
Improving Rotation Invariance of the Volume Local Binary Pattern Operator
Dynamic texture is an extension of texture to the temporal domain. Recently, a powerful method for dynamic texture recognition based on volume local binary patterns (VLBP) was pro...
Guoying Zhao, Matti Pietikäinen
ICPR
2008
IEEE
14 years 1 months ago
Redundant DWT based translation invariant wavelet feature extraction for face recognition
Discrete Wavelet Transform (DWT) is sensitive to the translation/shift of input signals, so its effectiveness could be negatively impacted when we encounter translation among sign...
Deqiang Li, Haibo Luo, Zelin Shi
ECOOP
2008
Springer
13 years 8 months ago
Regional Logic for Local Reasoning about Global Invariants
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
Anindya Banerjee, David A. Naumann, Stan Rosenberg
ICASSP
2009
IEEE
13 years 5 months ago
Image spam filtering using Fourier-Mellin invariant features
Image spam is a new obfuscating method which spammers invented to more effectively bypass conventional text based spam filters. In this paper, a framework for filtering image spam...
Haiqiang Zuo, Xi Li, Ou Wu, Weiming Hu, Guan Luo
RE
2004
Springer
14 years 26 days ago
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...
Sebastián Uchitel, Robert Chatley, Jeff Kra...