Sciweavers

3233 search results - page 155 / 647
» Rule Modeling and Markup
Sort
View
AMAI
2006
Springer
15 years 4 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
IJON
2006
70views more  IJON 2006»
15 years 4 months ago
A self-organizing map with homeostatic synaptic scaling
Hebbian learning has been a staple of neural-network models for many years. It is well known that the most straight-forward implementations of this popular learning rule lead to u...
Thomas J. Sullivan, Virginia R. de Sa
JSYML
2002
75views more  JSYML 2002»
15 years 3 months ago
Some Weak Fragments of HA and Certain Closure Properties
We show that Intuitionistic Open Induction iop is not closed under the rule DNS(1 ). This is established by constructing a Kripke model of iop+
Morteza Moniri, Mojtaba Moniri
ICSE
2008
IEEE-ACM
16 years 5 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
ACL
2012
13 years 6 months ago
Hierarchical Chunk-to-String Translation
We present a hierarchical chunk-to-string translation model, which can be seen as a compromise between the hierarchical phrasebased model and the tree-to-string model, to combine ...
Yang Feng, Dongdong Zhang, Mu Li, Qun Liu