1782 search results - page 119 / 357 » Tool Support for Proof Engineering |
166
click to vote
VAMOS
2007
Springer
16 years 13 days ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
179
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
152
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
146
click to vote
ACL
2006
15 years 7 months ago
2006
This paper presents a pilot study of the use of phrasal Statistical Machine Translation (SMT) techniques to identify and correct writing errors made by learners of English as a Se...
195
click to vote
CIKM
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we study the problem of collecting training samples for building enterprise taxonomies. We develop a computer-aided tool named InfoAnalyzer, which can effectively as...