3820 search results - page 579 / 764 » Bounded Model Debugging |
126
Voted
JEC
2006
15 years 2 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
138
Voted
JMLR
2006
15 years 2 months ago
2006
Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with fa...
118
Voted
NGC
2006
Springer
15 years 2 months ago
2006
Springer
The authoring of fictional stories is considered a creative process. The purpose of most story authoring is not to invent a new style or genre of story that will be accepted by the...
85
Voted
SIAMSC
2008
15 years 2 months ago
2008
In this note we consider the numerical solution of selfadjoint deblurring problems on bounded intervals. For these problems it has recently been shown that appropriate modelling of...
155
Voted
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
In this paper, we consider hybrid peer-to-peer systems where users form an unstructured peer-to-peer network with the purpose of assisting a server in the distribution of data. We...