AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B

(Received: 11-Nov-2019, Revised: 31-Dec-2019 , Accepted: 3-Feb-2020)

Kheira-Zineb Bousmaha Ossoukine,Lamia Belguith Hadrich

#Arabic natural language processing #Information system #Information extraction #Formals’ specification #Event-B.

Abstract

ALGORITHM FOR WIRELESS SENSOR NETWORKS

(Received: 2016-01-18, Revised: 2016-04-01 , Accepted: 2016-04-17)

Maha I. Raheem

#Wireless Sensor Networks #Distributed Computing #Distributed Processing #Gossip Algorithms #Routing.

Abstract

No More Papers