4266 search results - page 681 / 854 » The container loading problem |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of prob...
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
COOPIS
1997
IEEE
13 years 11 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
GD
1995
Springer
13 years 11 months ago
1995
Springer
It is a di cult problem to display large, complex graphs in a manner which furthers comprehension. A useful approach is to expand selected sections foci of the graph revealing de...