8828 search results - page 114 / 1766 » Formal methods in practice |
131
click to vote
ICFCA
2005
Springer
15 years 9 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
130
click to vote
AIME
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order t...
129
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Classifier learning methods commonly assume that the training data consist of randomly drawn examples from the same distribution as the test examples about which the learned model...
138
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...
144
click to vote
IEEEAMS
2003
IEEE
15 years 9 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...