8600 search results - page 691 / 1720 » Measuring with Timed Patterns |
185
click to vote
FSTTCS
2006
Springer
15 years 11 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
192
click to vote
ESANN
2004
15 years 8 months ago
2004
In text-dependent speaker verification the speech signals have to be time-aligned. For that purpose dynamic time warping (DTW) can be used which performs the alignment by minimizi...
177
click to vote
ALGORITHMICA
2010
15 years 7 months ago
2010
Assume that a set of imprecise points is given, where each point is specified by a region in which the point may lie. We study the problem of computing the smallest and largest pos...
180
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...
247
click to vote
TCBB
2011
15 years 2 months ago
2011
Galled trees, directed acyclic graphs that model evolutionary histories with isolated hybridization events, have become very popular due to both their biological significance and ...