1792 search results - page 51 / 359 » e-Participation and Decision Analysis |
101
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
104
click to vote
DAC
2004
ACM
16 years 19 days ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
79
Voted
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
Enterprises rely on decision support systems to influence critical business choices. At the same time, IT-related power costs are growing and are a key concern for enterprise exe...
117
click to vote
AUSDM
2008
Springer
15 years 1 months ago
2008
Springer
Accurate and less invasive personalized predictive medicine can spare many breast cancer patients from receiving complex surgical biopsies, unnecessary adjuvant treatments and its...
103
Voted
SDM
2008
SIAM
15 years 1 months ago
2008
SIAM
Gene expression information from microarray experiments is a primary form of data for biological analysis and can offer insights into disease processes and cellular behaviour. Suc...