4894 search results - page 862 / 979 » Choices |
187
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
188
click to vote
IDMS
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we revisit and challenge the dogma that TCP is an undesirable choice for streaming multimedia, video in particular. For some time, the common view held that neither ...
190
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
Extracting 3D structures from volumetric images like MRI or CT is becoming a routine process for diagnosis based on quantitation, for radiotherapy planning, for surgical planning a...
240
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
Standard practice in quantitative structural neuroimaging is a segmentation into brain tissue, subcortical structures, fluid space and lesions followed by volume calculations of gr...
152
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...