6293 search results - page 1088 / 1259 » Information Flow Testing |
162
Voted
SAC
2002
ACM
15 years 3 months ago
2002
ACM
Different presentations of candidate expansion terms have not been fully explored in interactive query expansion (IQE). Most existing systems that offer an IQE facility use a list...
131
click to vote
TIP
1998
15 years 3 months ago
1998
Accurate segmentation of images is one of the most important objectives in image analysis. The two conventional methods of image segmentation, region based segmentation and bounda...
135
click to vote
TMI
1998
15 years 3 months ago
1998
Abstract—Segmenting lesions is a vital step in many computerized mass-detection schemes for digital (or digitized) mammograms. We have developed two novel lesion segmentation tec...
130
click to vote
TSE
1998
15 years 3 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
128
click to vote
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...