4930 search results - page 567 / 986 » Testing a Safety-Critical Application |
164
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Current texture analysis methods enable good discrimination but are computationally too expensive for applications which require high frame rates. This occurs because they use red...
191
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
Performance prediction is valuable in different areas of computing. The popularity of lease-based access to high performance computing resources particularly benefits from accurate...
228
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...
196
click to vote
SAT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
223
click to vote
ACL
2009
15 years 5 months ago
2009
Kneser-Ney (1995) smoothing and its variants are generally recognized as having the best perplexity of any known method for estimating N-gram language models. Kneser-Ney smoothing...