Ditemukan 34 dokumen dengan kata kunci 4592 |
Simpan CSV  |
Rule Systems for Run-time Monitoring: from Eagle to RuleR
|
Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Abstaining in rule set bagging for imbalanced data
|
Pengarang: Krystyna Napierala and Jerzy Stefanowski | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 421-430) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Interaction-based Runtime Verification for Systems of Systems Integration
|
Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Rule-based deduplication of article records from bibliographic databases
|
Pengarang: Yu Jiang, Can Lin, Weiyi Meng, Clement Yu, dll | No. Panggil: Database (Volume 2014, p.bat086) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Modelling and Analysis of Manufacturing Systems
|
|
A logical basis for constructive systems
|
Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 605-642 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Elektronic communication systems
|
|
Dynamic specification of open agent systems
|
Pengarang: Alexander Artikis | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1301-1334 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Basic Hydraulic Systems and Components : Edtion A
|
|
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques
|
Pengarang: Ramon Ferreiro Garcia, Jose Luis Calvo-Rolle, and Francisco Javier Perez Castelo | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 379-399) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|