10271 search results - page 1872 / 2055 » Self-plagiarism in computer science |
163
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
137
click to vote
AAAI
2010
15 years 8 months ago
2010
Cake cutting is a common metaphor for the division of a heterogeneous divisible good. There are numerous papers that study the problem of fairly dividing a cake; a small number of...
150
click to vote
AAAI
2010
15 years 8 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
167
click to vote
CRIWG
2010
15 years 8 months ago
2010
It is already known that some collaborative assessment processes can provide students not only the possibility to show how well they have understood knowledge content, but also the...
163
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
We present a novel method to measure saliency in molecular dynamics simulation data. This saliency measure is based on a multiscale center-surround mechanism, which is fast and ef...