Sciweavers

4895 search results - page 287 / 979
» Tools for Grammar Engineering
Sort
View
BMCBI
2004
126views more  BMCBI 2004»
15 years 6 months ago
A probabilistic model for the evolution of RNA structure
Background: For the purposes of finding and aligning noncoding RNA gene- and cis-regulatory elements in multiple-genome datasets, it is useful to be able to derive multi-sequence ...
Ian Holmes
ACL
2009
15 years 4 months ago
Sentence diagram generation using dependency parsing
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
Elijah Mayfield
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 10 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
SIGSOFT
2007
ACM
16 years 7 months ago
Determining detailed structural correspondence for generalization tasks
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
Jörg Denzinger, Joseph J. C. Chang, Robert J....
JUCS
2008
115views more  JUCS 2008»
15 years 6 months ago
Supporting the Development of Accessible Web Applications
: The aim of this paper is to review the best known methodologies for web applications development as well as the existing supporting tools and techniques from an accessibility-cen...
Myriam Arrue, Markel Vigo, Julio Abascal