𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A methodology to incorporateformal methods in hybrid KBS verification

✍ Scribed by R.F. Gamble; D.M. Baughman

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
439 KB
Volume
44
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

There is an increasing need for hybrid knowledge based systems (KBS) that accommodate more complex AI applications . We consider a hybrid KBS to be one that combines object-oriented , frame-based , and rule-based paradigms . Building

πŸ“œ SIMILAR VOLUMES

Regression as a Method to Predict Copy N
Regression as a Method to Predict Copy Numbers in Comparative Genomic Hybridization Studies on Bacteria
✍ Guri Feten; Trygve AlmΓΈy; Lars Snipen; Γ…got Aakra; Are H. Aastveit πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 282 KB πŸ‘ 2 views

## Abstract Comparative genomic hybridizations (CGH) using microarrays are performed with bacteria in order to determine the level of genomic similarity between various strains. The microarrays applied in CGH experiments are constructed on the basis of the genome sequence of one strain, which is us

Hybrid FEM/SBR method to compute the rad
Hybrid FEM/SBR method to compute the radiation pattern from a microstrip patch antenna in a complex geometry
✍ A. D. Greenwood; S. S. Ni; J. M. Jin; S. W. Lee πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 398 KB πŸ‘ 2 views

4 prer.ioirsl). introduced tcditiiqiie to compute the radiation of a miuo.c.tnp pntcli oritenria on II qlitidncal body of arbitran cross Jectioti is i..xtended to inclirde patch antennas mounted on complex, tliree-dimensional hodies. The techniqire iwoli es using the finite-element tnerhod f FEMl to