2441 search results - page 117 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
115
click to vote
ICCAD
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...
114
click to vote
SAC
2006
ACM
14 years 11 months ago
2006
ACM
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
DOCENG
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...