3931 search results - page 194 / 787 » Separation logic and abstraction |
207
Voted
IJCNN
2008
IEEE
16 years 1 months 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 ...
193
Voted
ICA
2004
Springer
16 years 16 days 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...
170
click to vote
SPW
2004
Springer
16 years 15 days 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 ...
187
Voted
ICSM
2002
IEEE
16 years 3 days 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...
282
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 ...