522 search results - page 33 / 105 » Automating grammar comparison |
63
Voted
TACAS
1995
Springer
15 years 2 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
79
Voted
AAAI
1992
15 years 1 days ago
1992
We describe an approach to training a statistical parser from a bracketed corpus, and demonstrate its use in a software testing application that translates English speci cations i...
81
Voted
COLING
2010
14 years 5 months ago
2010
We propose a methodology for investigating how well NLP systems handle meaning preserving syntactic variations. We start by presenting a method for the semi automated creation of ...
110
click to vote
ISBI
2004
IEEE
15 years 11 months ago
2004
IEEE
Fluorescence microscopy is widely used to analyze the distribution of proteins within cells. As currently practiced, the assignment of a protein to a particular organelle is done ...
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...