4187 search results - page 530 / 838 » A Taxonomy of Model Transformation |
181
click to vote
ECSQARU
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
183
click to vote
IMA
2007
Springer
16 years 29 days ago
2007
Springer
Demand in the consumer market for graphics hardware that accelerates rendering of 3D images has resulted in commodity devices capable of astonishing levels of performance. These re...
174
click to vote
TCC
2007
Springer
16 years 27 days ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
172
click to vote
ANSS
2006
IEEE
16 years 26 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
165
click to vote
ICTAI
2006
IEEE
16 years 25 days ago
2006
IEEE
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...