Sciweavers

1159 search results - page 107 / 232
» Decision rules and decision markets
Sort
View
IEAAIE
2004
Springer
15 years 3 months ago
Knowledge Representation on Design of Storm Drainage System
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
Kwok-wing Chau, C. S. Cheung
OOIS
2001
Springer
15 years 2 months ago
Reconciliation of Object Interaction Models
: This paper presents Reconciliation+, a tool-supported method which identifies overlaps between models of different object interactions expressed as UML sequence and/or collaborat...
George Spanoudakis, Hyoseob Kim
FMCO
2007
Springer
124views Formal Methods» more  FMCO 2007»
15 years 1 months ago
Certification Using the Mobius Base Logic
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...
Lennart Beringer, Martin Hofmann, Mariela Pavlova
DLOG
2007
15 years 9 days ago
Paraconsistent Resolution for Four-valued Description Logics
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
Yue Ma, Pascal Hitzler, Zuoquan Lin
IJCAI
1997
14 years 11 months ago
Noise-Tolerant Windowing
Windowing has been proposed as a procedure for efficient memory use in the ID3 decision tree learning algorithm. However, it was shown that it may often lead to a decrease in perf...
Johannes Fürnkranz