2441 search results - page 200 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
146
click to vote
GPCE
2009
Springer
15 years 1 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
145
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
To understand the performance of modern Java systems one must observe execution in the context of specific architectures. It is also important that we make these observations usi...
156
Voted
PADL
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
182
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
121
click to vote
ADBIS
2001
Springer
15 years 8 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...