3922 search results - page 201 / 785 » Working Models for Uncertain Data |
138
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
118
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
138
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, ontologies are used in a lot of diverse research fields. They provide with the capability to describe a huge set of information contents. Therefore, several approaches f...
129
click to vote
JMLR
2010
14 years 11 months ago
2010
We propose a novel method for inferring whether X causes Y or vice versa from joint observations of X and Y . The basic idea is to model the observed data using probabilistic late...
151
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...