1518 search results - page 99 / 304 » Cryptographic Test Correction |
143
Voted
DLOG
2007
15 years 6 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
123
Voted
WSC
2004
15 years 5 months ago
2004
We present a new method of selecting the best of several competing system designs on the basis of expected steadystate performance. The method uses a new form of timeseries bootst...
175
Voted
AC
2003
Springer
15 years 7 months ago
2003
Springer
In this paper two methods for human face recognition and the influence of location mistakes are shown. First one, Principal Components Analysis (PCA), has been one of the most appl...
119
Voted
AIED
2007
Springer
15 years 7 months ago
2007
Springer
Previous research on the use of diagrams for argumentation instruction has highlighted, but not conclusively demonstrated, their potential benefits. We examine the relative benefit...
121
Voted
FOAL
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...