Sciweavers

3384 search results - page 12 / 677
» More Testable Properties
Sort
View
UAI
2001
15 years 1 months ago
Linearity Properties of Bayes Nets with Binary Variables
It is "well known" that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved ca...
David Danks, Clark Glymour
LICS
2009
IEEE
15 years 6 months ago
Statistic Analysis for Probabilistic Processes
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
Michel de Rougemont, Mathieu Tracol
JISE
2006
76views more  JISE 2006»
14 years 11 months ago
Process and Planning Support for Iterative Porting
in an abstract Cartesian space of program versions characterized by dialect variables. An optimal solution to the problem is derived based on its translation to a restricted Intege...
Pradeep Varma
59
Voted
ICIP
2003
IEEE
16 years 1 months ago
A second-order PDE technique to construct distance functions with more accurate derivatives
In this paper we demonstrate the use of an anisotropic PDE to improve the behavior of first and second derivatives of a distance function. We begin by deriving a property of these...
Siddharth Manay, Anthony J. Yezzi
LATA
2011
Springer
14 years 2 months ago
Classifying Regular Languages via Cascade Products of Automata
Abstract. Building on the celebrated Krohn-Rhodes Theorem we characterize classes of regular languages in terms of the cascade decompositions of minimal DFA of languages in those c...
Marcus Gelderie