4276 search results - page 286 / 856 » Techniques for Empirical Validation |
171
Voted
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
In this paper, we describe a new indexing technique, the time indez, for improving the performance of certain classes of temporal queries. The time index can be used to retrieve v...
174
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
166
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
167
click to vote
VISSYM
2007
15 years 9 months ago
2007
Density maps allow for visually rendering density differences, usually mapping density values to a grey or color scale. The paper analyzes the drawbacks arising from the commonly ...
195
Voted
AIIDE
2008
15 years 9 months ago
2008
We present a domain independent off-line adaptation technique called Stochastic Plan Optimization for finding and improving plans in real-time strategy games. Our method is based ...