3709 search results - page 301 / 742 » Supporting experimentation with Side-Views |
165
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
199
click to vote
RECOMB
2000
Springer
15 years 10 months ago
2000
Springer
We present a lossless compression algorithm, GenCompress, for genetic sequences, based on searching for approximate repeats. Our algorithm achieves the best compression ratios for...
175
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we describe, a powerful post-synthesis approach called reclocking, for performance improvement by minimizing the total execution time. By back annotating the wire del...
177
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
A general light transfer simulation algorithm for environments composed of materials with arbitrary reflectance functions is presented. This algorithm removes the previous practic...
153
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, a language model adapted to graph-based representation of image content is proposed and assessed. The full indexing and retrieval processes are evaluated on two di�...