Login

Bouabana-Tebibel, Thouraya

Theoretical Information Reuse and Integration

Bouabana-Tebibel, Thouraya - Theoretical Information Reuse and Integration, ebook

215,25€

Ebook, PDF with Adobe DRM
ISBN: 9783319313115
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Reuse and Integration of Specification Logics: The Hybridisation Perspective
Luis S. Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves

2. Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements
Bolong Zeng, Li Tan

3. Capturing and Verifying Dynamic Systems Behavior Using UML and pi


?


-Calculus
Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem

4. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet
Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi

5. Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse
Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib

6. Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining
Elham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi

7. Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?
David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano

8. Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching
Jiawei Zhang, Qianyi Zhan, Philip S. Yu

9. An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles
Sepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo

Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)

Editor
 
Publisher
Springer
Publication year
2016
Language
en
Edition
1
Series
Advances in Intelligent Systems and Computing
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319313115
Printed ISBN
978-3-319-31309-2

Similar titles