6693 search results - page 126 / 1339 » Methods of Automatic Algorithm Generation |
159
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
151
click to vote
INLG
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we investigate the automatic generation and evaluation of sentential paraphrases. We describe a method for generating sentential paraphrases by using a large aligned...
131
click to vote
DDECS
2008
IEEE
15 years 11 months ago
2008
IEEE
— Due to ever increasing design sizes more efficient tools for Automatic Test Pattern Generation (ATPG) are needed. Recently ATPG based on Boolean satisfiability (SAT) has been ...
125
click to vote
ICIC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
164
click to vote
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...