2441 search results - page 476 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
FTRTFT
1998
Springer
14 years 24 days ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
RULEML
2004
Springer
14 years 1 months ago
2004
Springer
The Web is now a huge information repository with a rich semantic structure that, however, is primarily addressed to human understanding rather than automated processing by a compu...