1416 search results - page 152 / 284 » An Exact Interpretation of While |
120
click to vote
DATESO
2007
15 years 2 months ago
2007
When searching databases of nucleotide or protein sequences, finding a local alignment of two sequences is one of the main tasks. Since the sizes of available databases grow const...
118
Voted
SE
2010
15 years 2 months ago
2010
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
103
click to vote
LREC
2008
2008
All, and only, the Errors: more Complete and Consistent Spelling and OCR-Error Correction Evaluation
15 years 2 months ago
Some time in the future, some spelling error correction system will correct all the errors, and only the errors. We need evaluation metrics that will tell us when this has been ac...
99
Voted
AAAI
2004
15 years 2 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
116
click to vote
AIML
2004
15 years 2 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...