5525 search results - page 927 / 1105 » Verification of Model Transformations |
134
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
We study the problem of transforming a multichromosomal genome into another using Double-Cut-and-Join (DCJ) operations. We introduce the notion of DCJ scenario that does not break ...
140
Voted
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromere...
120
click to vote
SIGMOD
2001
ACM
16 years 4 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...
223
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
138
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
Programming exercise assessment tools alleviate the task of teachers, and increase consistency of markings. Many programming exercise assessment tools are based on testing. A test...