916 search results - page 145 / 184 » Using redundancies to find errors |
67
Voted
TSP
2008
14 years 9 months ago
2008
Minimum variance beamforming, which uses a weight vector that maximizes the signal-to-interference-plus-noise ratio (SINR), is often sensitive to estimation error and uncertainty i...
CLUSTER
2002
IEEE
14 years 9 months ago
2002
IEEE
Abstract. We describe and evaluate the Running Time Advisor (RTA), a system that can predict the running time of a compute-bound task on a typical shared, unreserved commodity host...
80
Voted
TMI
2002
14 years 9 months ago
2002
Abstract--An active shape model segmentation scheme is presented that is steered by optimal local features, contrary to normalized first order derivative profiles, as in the origin...
TMM
2002
14 years 9 months ago
2002
Most image and video compression algorithms that have been proposed to improve picture quality relative to compression efficiency have either been designed based on objective crite...
101
click to vote
TAP
2010
Springer
14 years 7 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...