Sciweavers

5578 search results - page 433 / 1116
» Base Class Injection
Sort
View
ECBS
2006
IEEE
135views Hardware» more  ECBS 2006»
15 years 10 months ago
Model Checking Procedures for Infinite State Systems
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
Nikola Bogunovi, Edgar Pek
AUSAI
1998
Springer
15 years 10 months ago
Adjusted Probability Naive Bayesian Induction
Naive Bayesian classi ers utilise a simple mathematical model for induction. While it is known that the assumptions on which this model is based are frequently violated, the predic...
Geoffrey I. Webb, Michael J. Pazzani
AIIA
2009
Springer
15 years 10 months ago
Representing Excuses in Social Dependence Networks
In this paper, we propose a representation of excuses in the context of multiagent systems. We distinguish five classes of excuses, taking as starting point both jurisprudential an...
Guido Boella, Jan Broersen, Leendert van der Torre...
AAAI
2007
15 years 9 months ago
Computing Optimal Subsets
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
Maxim Binshtok, Ronen I. Brafman, Solomon Eyal Shi...
ADBIS
2008
Springer
117views Database» more  ADBIS 2008»
15 years 8 months ago
Reclassification of Linearly Classified Data Using Constraint Databases
In many problems the raw data is already classified according to a variety of features using some linear classification algorithm but needs to be reclassified. We introduce a novel...
Peter Z. Revesz, Thomas Triplet