3446 search results - page 585 / 690 » A Reasoning Algorithm for pD* |
115
click to vote
JAR
2011
14 years 8 months ago
2011
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
131
click to vote
IHI
2010
14 years 8 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
124
click to vote
JDCTA
2010
14 years 8 months ago
2010
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...
115
click to vote
SIAMMAX
2010
14 years 8 months ago
2010
In this paper, we consider estimating sparse inverse covariance of a Gaussian graphical model whose conditional independence is assumed to be partially known. Similarly as in [5],...
144
click to vote
TCAD
2010
14 years 8 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...