8828 search results - page 185 / 1766 » Formal methods in practice |
166
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The practice of medicine is becoming increasingly evidencebased and clinical practice guidelines (CPGs) are necessary for advancing evidence-based medicine (EBM). We hypo...
143
click to vote
SOMET
2007
15 years 6 months ago
2007
This report details part of the results of five software audits that were done to evaluate various aspects of the quality in five very big software projects. One result of our work...
128
Voted
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
H.264 is currently the best way to compress media to achieve high quality at low bandwidth. Since its inception, technologies such as video-on-demand are increasingly realizable. ...
142
Voted
AAAI
2008
2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation
15 years 7 months ago
Abductive diagnosis is an important method to identify explanations for a given set of observations. Unfortunately, most of the algorithmic problems in this area are intractable. ...
136
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...