7167 search results - page 222 / 1434 » A Technique for Invariant Generation |
167
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include th...
171
click to vote
ANLP
1997
15 years 8 months ago
1997
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
189
click to vote
DEBU
2008
15 years 7 months ago
2008
Testing is one of the most expensive and time consuming activities in the software development cycle. In order to reduce the cost and the time to market, many approaches to automa...
176
click to vote
FSS
2008
15 years 7 months ago
2008
In this paper we propose a generic methodology for the automated generation of fuzzy models. The methodology is realized in three stages. Initially, a crisp model is created and i...
210
click to vote
INLG
2010
Springer
15 years 5 months ago
2010
Springer
Building NLG systems, in particular statistical ones, requires parallel data (paired inputs and outputs) which do not generally occur naturally. In this paper, we investigate the ...