190 search results - page 3 / 38 » Isomorph-Free Exhaustive Generation |
BIOINFORMATICS
2007
13 years 5 months ago
2007
Summary: SwS, based on a statistical analysis of crystallographic structures deposited in the NDB, is designed to provide an exhaustive overview of the solvation of nucleic acid s...
EMNLP
2007
13 years 7 months ago
2007
Approaches to plural reference generation emphasise descriptive brevity, but often lack empirical backing. This paper describes a corpus-based study of plural descriptions, and pr...
BMCBI
2005
13 years 5 months ago
2005
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
KES
2008
Springer
13 years 5 months ago
2008
Springer
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
FATES
2004
Springer
13 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...