6474 search results - page 326 / 1295 » An analysis of diversity measures |
162
click to vote
IANDC
1998
15 years 6 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
167
click to vote
TPDS
2002
15 years 6 months ago
2002
This paper discusses a new work-scheduling algorithm for parallel search of single-agent state spaces, called Transposition-Table-Driven Work Scheduling, that places the transposit...
131
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We describe a new language-independent technique for automatically identifying errors in an electronic pronunciation dictionary by analyzing the source of conflicting patterns dir...
172
Voted
TCS
2010
15 years 1 months ago
2010
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
390
click to vote
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...