24444 search results - page 446 / 4889 » A Data Model for Data Integration |
203
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 1 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
199
click to vote
JCNS
2002
15 years 6 months ago
2002
A generalized version of the integrate-and-fire model is presented that qualitatively reproduces firing rates and membrane trajectories of motoneurons. The description is based on ...
157
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This chapter describes how we used regression rules to improve upon results previously published in the Earth science literature. In such a scientific application of mac...
210
click to vote
EMMCVPR
1999
Springer
15 years 11 months ago
1999
Springer
This paper considers the use of the EM-algorithm, combined with mean field theory, for parameter estimation in Markov random field models from unlabelled data. Special attention ...