16994 search results - page 287 / 3399 » Improving the Performance of maxRPC |
163
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
181
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Lattice-based approaches have been widely used in spoken document retrieval to handle the speech recognition uncertainty and errors. Position Specific Posterior Lattices (PSPL) an...
148
click to vote
SRDS
2006
IEEE
16 years 21 days ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...
185
click to vote
ICPR
2010
IEEE
16 years 10 days ago
2010
IEEE
Shadow detection and removal is an important step employed after foreground detection, in order to improve the segmentation of objects for tracking. Methods reported in the litera...
228
click to vote
AUTOID
2005
IEEE
16 years 9 days ago
2005
IEEE
Iris is claimed to be one of the best biometrics. We have collected a large data set of iris images, intentionally sampling a range of quality broader than that used by current co...