6274 search results - page 681 / 1255 » From query complexity to computational complexity |
215
Voted
DAC
1995
ACM
15 years 11 months ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
212
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We propose a new method for video retargeting, which can generate spatial-temporal consistent video. The new measure called spatial-temporal naturality preserves the motion in the ...
222
Voted
GROUP
1995
ACM
15 years 11 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
205
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
162
click to vote
AISC
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...