Sciweavers

4355 search results - page 644 / 871
» From Interpretation to Compilation
Sort
View
AIME
2003
Springer
15 years 10 months ago
Attribute Interactions in Medical Data Analysis
There is much empirical evidence about the success of naive Bayesian classification (NBC) in medical applications of attribute-based machine learning. NBC assumes conditional inde...
Aleks Jakulin, Ivan Bratko, Dragica Smrke, Janez D...
CAISE
2003
Springer
15 years 10 months ago
Decision Support By Learning-On-Demand
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
Klaus P. Jantke, Martin Memmel, Oleg Rostanin, Ber...
138
Voted
COSIT
2003
Springer
101views GIS» more  COSIT 2003»
15 years 10 months ago
Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...
Ronald W. Ferguson, Joseph L. Bokor, Rudolph L. Ma...
FCT
2003
Springer
15 years 10 months ago
On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
Andrzej Szalas
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 10 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang