2638 search results - page 278 / 528 » A Framework for Automatic Debugging |
165
click to vote
CNL
2009
15 years 8 months ago
2009
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
164
click to vote
ENTCS
2008
15 years 7 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
186
click to vote
ACL
2010
15 years 5 months ago
2010
Semi-supervised word alignment aims to improve the accuracy of automatic word alignment by incorporating full or partial manual alignments. Motivated by standard active learning q...
219
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a framework to apply Volterra series to analyze multilayered perceptrons trained to estimate the posterior probabilities of phonemes in automatic speech recognition. Th...
194
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Collaborative software development is nowadays inconceivable without optimistic version control systems (VCSs). Without such systems the parallel modification of one artifact by m...