2607 search results - page 305 / 522 » Complete Functional Synthesis |
131
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a method for parameter learning in relational Bayesian networks (RBNs). Our approach consists of compiling the RBN model into a computation graph for the likelihood fun...
161
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
A general framework is proposed for gradient boosting in supervised learning problems where the loss function is defined using a kernel over the output space. It extends boosting ...
117
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Supervised clustering is the problem of training a clustering algorithm to produce desirable clusterings: given sets of items and complete clusterings over these sets, we learn ho...
114
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
3D echocardiography is one of the emerging real-time imaging modalities that is increasingly used in clinical practice to assess cardiac function. It provides for evaluation a mor...
103
click to vote
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...