5085 search results - page 284 / 1017 » Multidimensional Design by Examples |
199
Voted
JSC
2010
15 years 5 months ago
2010
Narrowing is a computation implemented by some declarative programming languages. Research in the last decade has produced significant results on the theory and foundation of nar...
182
Voted
SIAMMAX
2011
14 years 9 months ago
2011
This paper studies existence and uniqueness results and interlacing properties of nonlinear modifications of small rank of symmetric eigenvalue problems. Approximation properties ...
172
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper proposes a context-constrained hallucination approach for image super-resolution. Through building a training set of high-resolution/low-resolution image segment pairs,...
164
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces a novel data mining scheme, spatial pyramid mining, to discover association rules at multiple resolutions in order to identify frequent spatial configuration...
189
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...