3731 search results - page 28 / 747 » cases 2006 |
RSA
2006
15 years 9 days ago
2006
Limit theorems (including a Berry-Esseen bound) are derived for the number of comparisons taken by the Boyer-Moore algorithm for finding the occurrences of a given pattern in a ra...
97
Voted
INFORMATICALT
2000
15 years 5 days ago
2000
An estimation of the generalization performance of classifier is one of most important problems in pattern clasification and neural network training theory. In this paper we estima...
107
click to vote
IPM
2000
15 years 5 days ago
2000
In practice, it is important to evaluate the quality of research, in order to make decisions on tenure, funding, and so on. This article develops a methodology using citations to ...
110
Voted
RTS
2002
15 years 21 hour ago
2002
The purpose of this paper is to introduce frameworks based on data-flow equations which provide for estimating the worst-case execution time (WCET) of (real-time) programs. These f...
97
Voted
FMSD
2006
15 years 11 days ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...