Theoretical Information Reuse and Integration

Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of tr...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Bouabana-Tebibel, Thouraya (Επιμελητής έκδοσης), Rubin, Stuart H. (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
Σειρά:Advances in Intelligent Systems and Computing, 446
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • Reuse and integration of specification logics: the hybridisation perspective
  • Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements
  • Capturing and Verifying Dynamic Systems Behavior Using UML and π-calculus
  • A Real-time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet
  • Case Indexing by Component, Context and Encapsulation for Knowledge Reuse
  • Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining A Segmentation Analysis Perspective
  • Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?
  • Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching
  • An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.