5055 search results - page 147 / 1011 » Relative Timing |
188
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Generating alternative queries, also known as query suggestion, has long been proved useful to help a user explore and express his information need. In many scenarios, such sugges...
193
click to vote
PTS
2008
15 years 7 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
160
Voted
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
We present a new approach for dealing with distribution change and concept drift when learning from data sequences that may vary with time. We use sliding windows whose size, inst...
157
Voted
ESM
2000
15 years 7 months ago
2000
The classical method of evaluation of simulations surely is the batch means method, see e.g. [Bratley et al. 1987], giving confidence intervals to express the precision of the sim...
179
Voted
WCET
2007
15 years 7 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...