5775 search results - page 222 / 1155 » A Rationale-based Analysis Tool |
202
click to vote
ENTCS
2007
15 years 6 months ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
230
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Rapid annotation and comparisons of genomes from multiple isolates (pan-genomes) is becoming commonplace due to advances in sequencing technology. Genome annotations c...
164
click to vote
COMPSAC
2007
IEEE
16 years 29 days ago
2007
IEEE
Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. ls for abst...
192
click to vote
ISSAC
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
153
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a loosely-supervised method for context-free identification of transliterated foreign names and borrowed words in Hebrew text. The method is purely statistical...