3006 search results - page 63 / 602 » Overview |
51
Voted
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
101
click to vote
CIE
2008
Springer
15 years 4 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
130
click to vote
DLS
2005
15 years 4 months ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
142
click to vote
COMPSYSTECH
2007
15 years 4 months ago
2007
: The paper is dedicated to plagiarism problem. The ways how to reduce plagiarism: both: plagiarism prevention and plagiarism detection are discussed. Widely used plagiarism detect...
148
Voted
CLEF
2008
Springer
15 years 4 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...