17471 search results - page 18 / 3495 » Information Modeling |
ICFEM
2010
Springer
14 years 8 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
ICPR
2002
IEEE
15 years 2 months ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
80
Voted
UAI
1997
14 years 11 months ago
1997
Recursive graphical models usually underlie the statistical modelling concerning probabilistic expert systems based on Bayesian networks. This paper de nes a version of these mode...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Context-aware applications rely on implicit forms of input, such as sensor-derived data, in order to reduce the need for explicit input from users. They are especially relevant for...
62
Voted
LREC
2010
14 years 11 months ago
2010
In this paper, we deal with information retrieval approach based on language model paradigm, which has been intensively investigated in recent years. We propose, implement, and ev...