Titlebook: Innovations in Smart Cities and Applications; Proceedings of the 2 Mohamed Ben Ahmed,Anouar Abdelhakim Boudhir Conference proceedings 2018

Freeze

GORGE

JUST

fixed-joint

美麗的寫(xiě)

AVOW

Conference proceedings 2018MS 2017), which was held in Tangier, Morocco on October 15–27, 2017. It presents original research results, new ideas and practical development experiences that concentrate on both theory and practice. It includes papers from all areas of Smart City Applications, e.g. Smart Mobility, Big Data, Smart

壓艙物

A Semantic Web Architecture for Context Recommendation System in E-learning Applications re-engineering of classical web architecture of current e-learning platforms. It’s based on semantic web technologies. It comprises an ontology that guarantees a shareable and reusable modeling of the learning context and OWL Rules filtering that will be used as a recommendation technique.

Phonophobia

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systemssystem starting from goals identification that the system expects to achieve through the formal verification of the system properties. The method is illustrated by an example of a Crisis Management system.

deadlock

Embedded Systems HW/SW Partitioning Based on Lagrangian Relaxation Methodthe partitioning problem. The solution aims to optimize the hardware area (cost) of the ES while respecting a given constraint time of execution. To validate the effectiveness of our approach, we give a comparison with the results obtained with the Genetic Algorithm (GA).

Brocas-Area

Multi-Agent System for Arabic Text Categorizatione automated techniques categorization. This paper presents the development of a concept and an associated architecture called the CAMATC (Cooperative Adaptive Multi-Agent System for Arabic Text Categorization), which is based on the combination of Multi-Agent Systems and the conceptual representation in the Arabic text categorization.