1087 search results - page 27 / 218 » The DecideIT Decision Tool |
DSS
2002
13 years 7 months ago
2002
We identify and address a fundamental general problem which we regard as crucial for the widespread, effective use of decision support systems (DSS) in the future: how can we subs...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
WSC
2004
13 years 9 months ago
2004
Data Farming leverages high performance computing to run simple models many times. This process allows for the exploration of massive parameter spaces relatively quickly. This pap...
SWAP
2007
13 years 8 months ago
2007
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
EOR
2006
13 years 7 months ago
2006
The fuzzy set is one of the powerful tools used to describe an uncertain environment. As well as quantifying any potential return and risk, portfolio liquidity is taken into accou...