2441 search results - page 314 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
129
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
125
click to vote
ADC
2009
Springer
15 years 11 months ago
2009
Springer
Due to the popularity of mobile devices, more and more commercial applications have been developed on these devices. While commercial applications are mostly backed by relational ...
139
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
153
click to vote
WOSP
2005
ACM
15 years 10 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
125
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
With the rise of tools for clinical decision support, there is an increased need for automatic processing of electrocardiograms (ECG) documents. In fact, many systems have already...