7393 search results - page 1166 / 1479 » Synthesis-for-testability using transformations |
171
click to vote
IWMM
2011
Springer
14 years 7 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
141
Voted
ICCV
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a novel method for feature description based on intensity order. Specifically, a Local Intensity Order Pattern(LIOP) is proposed to encode the local ordinal i...
345
click to vote
ICA
2012
Springer
13 years 11 months ago
2012
Springer
As nonnegative tensor factorization (NTF) is particularly useful for the problem of underdetermined linear transform model, we performed NTF on the EEG data recorded from 14 electr...
156
click to vote
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
145
click to vote
JMLR
2012
13 years 6 months ago
2012
Unsupervised discovery of latent representations, in addition to being useful for density modeling, visualisation and exploratory data analysis, is also increasingly important for...