2623 search results - page 20 / 525 » tools 2010 |
ENTCS
2010
13 years 7 months ago
2010
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
NAR
2010
13 years 2 months ago
2010
The Freiburg RNA tools web server integrates three tools for the advanced analysis of RNA in a common webbased user interface. The tools IntaRNA, ExpaRNA, and LocARNA support the ...
ENTCS
2000
13 years 7 months ago
2000
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...
CPHYSICS
2010
13 years 5 months ago
2010
ENTCS
2010
13 years 5 months ago
2010
ScalaBison is a parser generator accepting bison syntax and generating a parser in Scala. The generated parser uses the idea of "recursive ascent-descent parsing," that ...