2218 search results - page 373 / 444 » Testing Expressibility Is Hard |
106
click to vote
MICCAI
2004
Springer
16 years 22 days ago
2004
Springer
Anatomical objects often have complex and varying image appearance at different portions of the boundary; and it is frequently a challenge even to select appropriate scales at whic...
ICML
2005
IEEE
16 years 20 days ago
2005
IEEE
The Relevance Vector Machine (RVM) is a sparse approximate Bayesian kernel method. It provides full predictive distributions for test cases. However, the predictive uncertainties ...
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
111
click to vote
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...