3055 search results - page 340 / 611 » Conceptual Modeling for Data Integration |
157
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
160
click to vote
IFIP
1993
Springer
15 years 9 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
148
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The importance of predicting Web users' behaviour and their next movement has been recognised and discussed by many researchers lately. Association rules and Markov models ar...
130
click to vote
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
Ensemble Kalman Filter (EnKF) uses a randomized ensemble of subsurface models for error and uncertainty estimation. However, the complexity of geological models and the requiremen...
150
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
The non-rigid registration of a group of images shares a common feature with building a model of a group of images: a dense, consistent correspondence across the group. Image regis...