1213 search results - page 66 / 243 » Approximation in quantale-enriched categories |
130
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
105
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Pareto surfaces in the performance space determine the range of feasible performance values for a circuit topology in a given technology. We present a non-dominated sorting based ...
114
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Tasks recognizing named entities such as products, people names, or locations from documents have recently received significant attention in the literature. Many solutions to thes...
175
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
94
Voted
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...