2351 search results - page 345 / 471 » A Method of Requirement Inconsistency Analysis |
150
Voted
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
129
click to vote
VLDB
2000
ACM
15 years 8 months ago
2000
ACM
A range-max query finds the maximum value over all selected cells of an on-line analytical processing (OLAP) data cube where the selection is specified by ranges of contiguous val...
126
click to vote
BILDMED
2008
15 years 6 months ago
2008
In the clinical environment the segmentation of organs is an increasingly important application and used, for example, to restrict the perfusion analysis to a certain organ. In ord...
150
click to vote
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...
137
click to vote
DGO
2008
15 years 5 months ago
2008
We address the e-rulemaking problem of categorizing public comments according to the issues that they address. In contrast to previous text categorization research in e-rulemaking...