2441 search results - page 237 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
140
click to vote
RE
2001
Springer
15 years 9 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
172
click to vote
EVOW
2001
Springer
15 years 10 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
137
click to vote
FASE
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
126
click to vote
NDSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Steganography is used to hide the occurrence of communication. Recent suggestions in US newspapers indicate that terrorists use steganography to communicate in secret with their a...
189
click to vote
FGR
2008
IEEE
15 years 12 months ago
2008
IEEE
Automatic facial feature localization has been a longstanding challenge in the field of computer vision for several decades. This can be explained by the large variation a face i...