7075 search results - page 413 / 1415 » Models and heterogeneous reasoning |
202
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
1 We adapt the Shout and Act algorithm to Digital Objects Preservation where agents explore file systems looking for digital objects to be preserved (victims). When they find somet...
199
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
174
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
164
click to vote
LICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
299
click to vote
VLDB
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a probabilistic relational modelling (implementation) of the major probabilistic retrieval models. Such a high-level implementation is useful since it supports ...