Sciweavers

158 search results - page 4 / 32
» Update by Means of Inference Rules
Sort
View
ICLP
1998
Springer
13 years 11 months ago
Iterated Logic Program Updates
The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...
João Alexandre Leite, Luís Moniz Per...
EUSFLAT
2001
13 years 8 months ago
Fuzzy inference maps for condition monitoring with self-organizing maps
In the framework of SOM methodology for process and system analysis, we suggest a method for identifying regions in the SOM visualization space corresponding to different conditio...
Abel A. Cuadrado Vega, Ignacio Díaz Blanco,...
DEDUCTIVE
1994
119views Database» more  DEDUCTIVE 1994»
13 years 8 months ago
Determining Correct View Update Translations via Query Containment
Given an intensional database (IDB) and an extension database (EDB), the view update problem translates updates on the IDB into updates on the EDB. One approach to the view update...
Anthony Tomasic
ICTAI
2006
IEEE
14 years 1 months ago
Belief Update in Bayesian Networks Using Uncertain Evidence
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
Rong Pan, Yun Peng, Zhongli Ding
TSD
2010
Springer
13 years 5 months ago
Comparison of Different Lemmatization Approaches through the Means of Information Retrieval Performance
This paper presents a quantitative performance analysis of two different approaches to the lemmatization of the Czech text data. The first one is based on manually prepared diction...
Jakub Kanis, Lucie Skorkovská