7228 search results - page 599 / 1446 » From Algorithmic to Subjective Randomness |
227
click to vote
AEI
1999
15 years 6 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
177
click to vote
SIAMAM
2008
15 years 5 months ago
2008
We present a new local tomographic algorithm applicable to electron microscope tomography. Our algorithm applies to the standard data acquisition method, single-axis tilting, as we...
152
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
163
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
172
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In the origin detection problem an algorithm is given a set S of documents, ordered by creation time, and a query document D. It needs to output for every consecutive sequence of ...