5499 search results - page 385 / 1100 » Generalized Rewrite Theories |
244
click to vote
DLT
2003
15 years 9 months ago
2003
A new generalization of context-free grammars is introduced: Boolean grammars allow the use of all set-theoretic operations as an integral part of the formalism of rules. Rigorous...
202
click to vote
IJCAI
2003
15 years 9 months ago
2003
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
236
click to vote
WSC
2004
15 years 9 months ago
2004
Adaptive neural network is a powerful tool for prediction of air pollution abatement scenarios. But it is often difficult to avoid overfit during the training of adaptive neural n...
184
click to vote
AAAI
2000
15 years 9 months ago
2000
We analyze the complexity of propositional kernel resolution (del Val 1999), a general method for obtaining logical consequences in restricted target languages. Different choices ...
180
click to vote
BMVC
1998
15 years 9 months ago
1998
When using a gradient-basedmethod to determine the optical flow field for an image sequence, it is generally appreciated that some spatial pre-filtering of the images is usually n...