2351 search results - page 81 / 471 » A Method of Requirement Inconsistency Analysis |
108
click to vote
SAS
1994
Springer
15 years 2 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
109
click to vote
KDD
2008
ACM
15 years 10 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
JOT
2008
14 years 10 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
MICCAI
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We present a new method for the simultaneous, nearly automatic segmentation of liver contours, vessels, and metastatic lesions from abdominal CTA scans. The method repeat...
SECON
2010
IEEE
14 years 7 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...