507 search results - page 52 / 102 » Normalization Theory for XML |
AMAI
2008
Springer
13 years 8 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
IJON
2006
13 years 7 months ago
2006
Generalization ability of neural networks is very important and a rule of thumb for good generalization in neural systems is that the smallest system should be used to fit the tra...
JMIV
2006
13 years 7 months ago
2006
Gaussian smoothing filters and Gaussian derivative filters can be estimated by recursive IIR filters, as shown by Deriche [3, 4]. The design of those filters does, however, not enf...
FOCM
2007
13 years 7 months ago
2007
We provide an algebraic formulation of the moving frame method for constructing local smooth invariants on a manifold under an action of a Lie group. This formulation gives rise t...