2686 search results - page 218 / 538 » Testing metric properties |
209
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Segmenting brain from non-brain tissue within magnetic resonance (MR) images of the human head, also known as skull-stripping, is a critical processing step in the analysis of neu...
203
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
A plethora of recent work leverages historical data to help practitioners better prioritize their software quality assurance efforts. However, the adoption of this prior work in p...
252
click to vote
MSR
2011
ACM
14 years 9 months ago
2011
ACM
Studying the evolution of topics (collections of co-occurring words) in a software project is an emerging technique to automatically shed light on how the project is changing over...
180
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
162
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...