2441 search results - page 171 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
DKE
1998
14 years 11 months ago
1998
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
CHI
2007
ACM
15 years 3 months ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
SIGSOFT
2008
ACM
16 years 1 days ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
GECCO
2008
Springer
15 years 11 days ago
2008
Springer
Students are often asked to submit electronic copies of their program code as part of assessment in computer science courses. To counter code plagiarism, educational institutions ...