3931 search results - page 194 / 787 » Separation logic and abstraction |
179
click to vote
IJCNN
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— Separate processing of local luminance and contrast in biological visual systems has been argued to be due to the independence of these two properties in natural image ...
175
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a straightforward way to use temporal decorrelation as preprocessing in linear and post-nonlinear independent component analysis (ICA) with higher order statis...
146
click to vote
SPW
2004
Springer
15 years 12 months ago
2004
Springer
abstract February 6, 2004 Security protocols typically employ an authentication phase followed by a protected data exchange. In some cases, such TLS, these two phases are tightly ...
161
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
263
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Database views are extensively used to represent unmaterialized tables. Applications rarely distinguish between a materialized base table and a virtual view, thus, they may issue ...