• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Theoretical Information Reuse and Integration

Theoretical Information Reuse and Integration

Paperback

Series: Advances in Intelligent Systems and Computing, Book 446

Technology & EngineeringGeneral Computers

ISBN10: 3319313096
ISBN13: 9783319313092
Publisher: Springer
Published: May 26 2016
Pages: 217
Weight: 0.73
Height: 0.49 Width: 6.14 Depth: 9.21
Language: English
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.

Also from

Bouabana-Tebibel, Thouraya

Also in

General Computers