Sciweavers

2200 search results - page 259 / 440
» The Generalized Pignistic Transformation
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 4 months ago
Towards a Sharing Strategy for the Graph Rewriting Calculus
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
ENTCS
2008
97views more  ENTCS 2008»
15 years 4 months ago
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
Karl-Heinz Pennemann
AUTOMATICA
2006
63views more  AUTOMATICA 2006»
15 years 4 months ago
Inference of disjoint linear and nonlinear sub-domains of a nonlinear mapping
This paper investigates new ways of inferring nonlinear dependence from measured data. The existence of unique linear and nonlinear sub-spaces which are structural invariants of g...
Douglas J. Leith, William E. Leithead, Roderick Mu...
CORR
2006
Springer
90views Education» more  CORR 2006»
15 years 4 months ago
Symmetric Subresultants and Applications
Schur's transforms of a polynomial are used to count its roots in the unit disk. These are generalized them by introducing the sequence of symmetric sub-resultants of two pol...
Cyril Brunie, Philippe Saux Picart
CORR
2006
Springer
135views Education» more  CORR 2006»
15 years 4 months ago
On the MacWilliams Identity for Convolutional Codes
: The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, ...
Heide Gluesing-Luerssen, Gert Schneider