334 search results - page 31 / 67 » AIM2: Improved implementation of AIM |
WSC
2004
13 years 10 months ago
2004
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
SERP
2003
13 years 10 months ago
2003
It’s difficult for administrators to retrieve information from reports that are generated by different people with different computer platforms, word processors, and interpretat...
SWAP
2007
13 years 10 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 ...
WOA
2007
13 years 10 months ago
2007
— The continuous growth of information sources on the web, together with the corresponding volume of dailyupdated contents, makes the problem of finding news and articles a chal...
FMSD
2008
13 years 9 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...