1503 search results - page 122 / 301 » Improving Student Performance Using Self-Assessment Tests |
163
click to vote
CPAIOR
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
179
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...
149
click to vote
KES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
169
click to vote
EMNLP
2010
15 years 4 months ago
2010
Word alignment plays a central role in statistical MT (SMT) since almost all SMT systems extract translation rules from word aligned parallel training data. While most SMT systems...
217
click to vote
JAVA
1999
Springer
15 years 10 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...