2441 search results - page 124 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
110
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...
WWW
2006
ACM
15 years 12 months ago
2006
ACM
By supplying different versions of a web page to search engines and to browsers, a content provider attempts to cloak the real content from the view of the search engine. Semantic...
DDECS
2008
IEEE
15 years 5 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 ...
DIAGRAMS
2004
Springer
15 years 4 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...