9626 search results - page 112 / 1926 » Invariant Based Programming |
158
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we propose a robust multi-layer background subtraction technique which takes advantages of local texture features represented by local binary patterns (LBP) and pho...
154
Voted
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
161
click to vote
SIGSAND
2008
15 years 6 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
142
click to vote
JSW
2008
15 years 4 months ago
2008
Based on the invariant features and data distribution in time domain before and after attacking on the audio, it is clearly that the standard variance shows good invariant statisti...
129
Voted
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...