6014 search results - page 541 / 1203 » Structural Testing with Use Cases |
207
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
164
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
192
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
207
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
266
click to vote
TOG
2012
13 years 9 months ago
2012
Current methods for combining two different images produce visible artifacts when the sources have very different textures and structures. We present a new method for synthesizing...