2441 search results - page 128 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ACSC
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
120
click to vote
TOOLS
1992
IEEE
15 years 3 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
COLING
2002
14 years 11 months ago
2002
This paper presents techniques for multimedia annotation and their application to video summarization and translation. Our tool for annotation allows users to easily create annota...
WWW
2005
ACM
15 years 12 months ago
2005
ACM
The success of the Semantic Web crucially depends on the existence of Web pages that provide machine-understandable meta-data. This meta-data is typically added in the semantic an...