Sciweavers

3424 search results - page 235 / 685
» Automated Testing of Classes
Sort
View
LICS
2010
IEEE
15 years 5 months ago
Highly Acyclic Groups, Hypergraph Covers and the Guarded Fragment
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
Martin Otto
LPAR
2010
Springer
15 years 5 months ago
The Complexity of Partial-Observation Parity Games
We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both p...
Krishnendu Chatterjee, Laurent Doyen
ECSQARU
2009
Springer
15 years 4 months ago
When in Doubt ... Be Indecisive
For a presented case, a Bayesian network classifier in essence computes a posterior probability distribution over its class variable. Based upon this distribution, the classifier&#...
Linda C. van der Gaag, Silja Renooij, Wilma Steene...
DLOG
2011
14 years 10 months ago
Extracting Finite Sets of Entailments from OWL Ontologies
The canonical standard description logic reasoning service is classification, that is, the generation of the set of atomic subsumptions which are entailed by some ontology. While ...
Samantha Bail, Bijan Parsia, Ulrike Sattler
MLDM
2009
Springer
16 years 1 months ago
The Needles-in-Haystack Problem
We consider a new data mining problem of detecting the members of a rare class of data, the needles, that have been hidden in a set of records, the haystack. Besides the haystack, ...
Katherine Moreland, Klaus Truemper