Sciweavers

3229 search results - page 299 / 646
» Theories with the Independence Property
Sort
View
AAECC
2006
Springer
120views Algorithms» more  AAECC 2006»
15 years 6 months ago
Continued fraction for formal laurent series and the lattice structure of sequences
Abstract Besides equidistribution properties and statistical independence the lattice profile, a generalized version of Marsaglia's lattice test, provides another quality meas...
Wilfried Meidl
EJC
2008
15 years 6 months ago
Pattern classes of permutations via bijections between linearly ordered sets
Abstract. A pattern class is a set of permutations closed under pattern involvement or, equivalently, defined by certain subsequence avoidance conditions. Any pattern class X which...
Sophie Huczynska, Nikola Ruskuc
FAC
2008
117views more  FAC 2008»
15 years 6 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
COMBINATORICS
2006
221views more  COMBINATORICS 2006»
15 years 6 months ago
Kernels of Directed Graph Laplacians
Abstract. Let G denote a directed graph with adjacency matrix Q and indegree matrix D. We consider the Kirchhoff matrix L = D - Q, sometimes referred to as the directed Laplacian. ...
John S. Caughman IV, J. J. P. Veerman
IJAR
2008
76views more  IJAR 2008»
15 years 6 months ago
Evidence and scenario sensitivities in naive Bayesian classifiers
Empirical evidence shows that naive Bayesian classifiers perform quite well compared to more sophisticated network classifiers, even in view of inaccuracies in their parameters. I...
Silja Renooij, Linda C. van der Gaag