3779 search results - page 176 / 756 » Linear Consistency Testing |
174
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Recent results on sparse coding and independent component analysis suggest that human vision first represents a visual image by a linear superposition of a relatively small number ...
186
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
The advances in kernel-based learning necessitate the study on solving a large-scale non-sparse positive definite linear system. To provide a deterministic approach, recent resear...
174
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variab...
226
click to vote
FSE
2003
Springer
15 years 11 months ago
2003
Springer
We present our further observations on the structure of the AES algorithm relating to the cyclic properties of the functions used in this cipher. We note that the maximal period of...
164
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...