165 search results - page 14 / 33 » Specification patterns can be formal and still easy |
ACST
2006
13 years 8 months ago
2006
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
ICCAD
2002
IEEE
14 years 4 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
ISMB
2000
13 years 8 months ago
2000
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
CEC
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper reports on investigations on the possible advantage of the coupling between genomes and physics of cells in artificial evolution. The idea is simple: evolution can rely ...
TACS
2001
Springer
13 years 11 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...