Search

Your search keyword '"Lisitsa, Alexei"' showing total 453 results
Start Over Author "Lisitsa, Alexei"

Refine your results

more »

more »

more »

more »
453 results on '"Lisitsa, Alexei"'

201. Modal Logics of Negotiation and Preference.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Endriss, Ulle, and Pacuit, Eric

Abstract

We develop a dynamic modal logic that can be used to model scenarios where agents negotiate over the allocation of a finite number of indivisible resources. The logic includes operators to speak about both preferences of individual agents and deals regarding the reallocation of certain resources. We reconstruct a known result regarding the convergence of sequences of mutually beneficial deals to a Pareto optimal allocation of resources, and discuss the relationship between reasoning tasks in our logic and problems in negotiation. For instance, checking whether a given restricted class of deals is sufficient to guarantee convergence to a Pareto optimal allocation for a specific negotiation scenario amounts to a model checking problem; and the problem of identifying conditions on preference relations that would guarantee convergence for a restricted class of deals under all circumstances can be cast as a question in modal logic correspondence theory. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

202. Analytic Tableau Calculi for KLM Rational Logic R.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Giordano, Laura, Gliozzi, Valentina, Olivetti, Nicola, and Pozzato, Gian Luca

Abstract

In this paper we present a tableau calculus for the rational logic R of default reasoning, introduced by Kraus, Lehmann and Magidor. Our calculus is obtained by introducing suitable modalities to interpret conditional assertions, and makes use of labels to represent possible worlds. We also provide a decision procedure for R and study its complexity. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

203. On the Issue of Reinstatement in Argumentation.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, and Caminada, Martin

Abstract

Dung's theory of abstract argumentation frameworks [1] led to the formalization of various argument-based semantics, which are actually particular forms of dealing with the issue of reinstatement. In this paper, we re-examine the issue of semantics from the perspective of postulates. In particular, we ask ourselves the question of which (minimal) requirements have to be fulfilled by any principle for handling reinstatement, and how this relates to Dung's standard semantics. Our purpose is to shed new light on the ongoing discussion on which semantics is most appropriate. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

204. Decidable Fragments of Logic Programming with Value Invention.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Calimeri, Francesco, Cozza, Susanna, and Ianni, Giovambattista

Abstract

The issue of value invention in logic programming embraces many scenarios, such as logic programming with function symbols, object oriented logic languages, inter-operability with external sources of knowledge, set unification. This paper introduces a framework embedding value invention in a general context. The class of programs having a suitable (but, in general, not decidable) ‘finite grounding property' is identified, and the class of ‘value invention restricted' programs is introduced. Value invention restricted programs have the finite grounding property and can be decided in polynomial time. They are, in a sense, the broadest polynomially decidable class having this property, whenever no assumption can be made about the nature of invented values (while this latter is the case in the specific literature about logic programming with function symbols). Relationships with existing formalisms are eventually discussed; in particular, value invention restricted programs subsume ω-restricted programs and are incomparable with finitary programs. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

205. On the Logic and Computation of Partial Equilibrium Models.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Cabalar, Pedro, Odintsov, Sergei, Pearce, David, and Valverde, Agustín

Abstract

The nonmonotonic formalism of partial equilibrium logic (PEL) has recently been proposed as a logical foundation for the partial stable and well-founded semantics of logic programs [1,2]. We study certain logical properties of PEL and some techniques to compute partial equilibrium models. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

206. A STIT-Extension of ATL.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Broersen, Jan, Herzig, Andreas, and Troquard, Nicolas

Abstract

A problem in many formalisms for reasoning about multi-agent systems, like ATL or PDL, is the inability to express that a certain complex action (as in PDL), choice or strategy (as in ATL) is performed by an agent. However, in so called STIT-logics, this is exactly the main operator: seeing to it that a certain condition is achieved. Here we present an extension of ATL, introducing ideas from STIT-theory, that can express that a group of agents A perform a certain strategy. As a demonstration of the applicability of the formalism, we show how it sheds new light on the problem of modelling ‘uniform strategies' in epistemic versions of ATL. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

207. Natural Deduction Calculus for Linear-Time Temporal Logic.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Bolotov, Alexander, Basukoski, Artie, Grigoriev, Oleg, and Shangin, Vasilyi

Abstract

We present a natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. The system extends the natural deduction construction of the classical propositional logic. This will open the prospect to apply our technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

208. Distance-Based Repairs of Databases.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Arieli, Ofer, Denecker, Marc, and Bruynooghe, Maurice

Abstract

We introduce a general framework for repairing inconsistent databases by distance-based considerations. The uniform way of representing repairs and their semantics clarifies the essence behind various approaches to consistency restoration in database systems, helps to compare the underlying formalisms, and relates them to existing methods of defining belief revision operators, merging data sets, and integrating information systems. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

209. An Event-Condition-Action Logic Programming Language.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Alferes, J. J., Banti, F., and Brogi, A.

Abstract

Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules). [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

210. On Arbitrary Selection Strategies for Basic Superposition.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, Aleksic, Vladimir, and Degtyarev, Anatoli

Abstract

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

211. From Inductive Logic Programming to Relational Data Mining.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, and Džeroski, Sašo

Abstract

Situated at the intersection of machine learning and logic programming, inductive logic programming (ILP) has been concerned with finding patterns expressed as logic programs. While ILP initially focussed on automated program synthesis from examples, it has recently expanded its scope to cover a whole range of data analysis tasks (classification, regression, clustering, association analysis). ILP algorithms can this be used to find patterns in relational data, i.e., for relational data mining (RDM). This paper briefly introduces the basic concepts of ILP and RDM and discusses some recent research trends in these areas. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

212. Answer Set Programming: A Declarative Approach to Solving Search Problems.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, and Niemelä, Ilkka

Abstract

The term answer set programming (ASP) was coined by Vladimir Lifschitz to name a new declarative programming paradigm that has its roots in stable model (answer set) semantics of logic programs [16] and implementations of this semantics developed in the late 90's. When working with the implementations it became evident that they are instantiations of a different programming paradigm [5, 8, 21, 23, 24] than that of standard logic programming. This new ASP paradigm can be characterized as follows. In ASP programs are theories of some formal system with a semantics that assigns to a theory a collection of sets (models) referred to as answer sets of the program. In order to solve a problem using ASP a program is devised such that the solutions of the problem can be retrieved from the answer sets of the program. An ASP solver is a system that takes as input a program and computes answer sets for it. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

215. Equality and Monodic First-Order Temporal Logic

Author

Degtyarev, Anatoli, Fisher, Michael, and Lisitsa, Alexei

Abstract

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

Published
2002
Full Text
View/download PDF

222. Inconsistencies in Ontologies.

Author

Fisher, Michael, Hoek, Wiebe, Konev, Boris, Lisitsa, Alexei, and Voronkov, Andrei

Abstract

Traditionally, theorem provers have been used to prove theorems with relatively small axiomatisations. The recent development of large ontologies poses a non-trivial challenge of reasoning with axiomatisations consisting of hundreds of thousands axioms. In the near future much larger ontologies will be available. These ontologies will be created by large groups of people and by computer programs and will contain knowledge of varying quality. In the talk we describe an adaptation of the theorem prover Vampire for reasoning with large ontologies using expressive logics. For our experiments we used SUMO and the terrorism ontology. Based on the analysis of inconsistencies found in these ontologies we analyse the quality of information in them. Our research reveals interesting problems in studying the evolution and the quality of formal knowledge. [ABSTRACT FROM AUTHOR]

Published
2006
Full Text
View/download PDF

223. Analysing safety-critical systems and security protocols with abstract state machines

Author

Al-Shareefi, Farah, Lisitsa, Alexei, and Dixon, Clare

Subjects
004
Abstract

The research presented in this thesis is directed at the analysis of critical systems and protocols and the improvement of their safety and security aspects respectively, by combining formal and informal analysis methods. More specifically, we focus at combining Abstract State Machines (ASMs) as a formal method, with System Theoretic Process Analysis (STPA) as a safety analysis technique, with the aims of developing safer systems and more secure protocols. The ASM method was chosen due to both its generality in specifying any system at a convenient level of abstraction, and its specification which is supported by different formal analysis activities. While the reason for choosing STPA was its capability of eliciting safety requirements originated from inadequate control actions which affect the whole system functions. The first contribution of this thesis is a methodology to analyse safety-critical systems by capturing both the formal representation of ASM and the safety requirements generated by the STPA. This has the advantages of verifying the STPA requirements in a formal way and giving insights to improve the ASM specification, depending on these requirements. We illustrated this methodology by applying it to a train door controller and an insulin pump control system case studies, showing what safety issues it highlighted. The second contribution of the work presented in this thesis is a systematic methodology for analysing security protocols. This methodology was intended to provide a link between the formal simulation of external attack scenarios and protocol under analysis specified by the ASM method, and the analysis outcomes of a proposed technique called FATI method. The FATI (Flaws and Attack Types Identification) method is an inspired form of STPA that applies queries on each protocol action to determine the possible protocol flaws and their expected attack types. The identified attack types help to select the attack scenario specifications whose simulations are likely to produce attacks. Our methodology also minimized the number of the simulated protocol runs by reducing the number of intruder's messages through considering the receiver's expectations about the message type format and the content. Furthermore, we showed how to analyse protocols in the presence of an algebraic property for the commutative encryption. Our methodology for analysing security protocols was applied to several protocols. Moreover, within the security protocols area, we clarified the ambiguous requirements for simple authentication and security layer example depending on the ASM method.

Published
2019
Full Text
View/download PDF

224. Efficient and effective methodologies for exploring and prediction movement patterns in large networks

Author

Al-Zeyadi, Mohammed Ghaiz, Coenen, Frans, and Lisitsa, Alexei

Subjects
005.7
Abstract

In the era of Big Data the prevalence of networks of all kinds has grown dramatically, and analysing (mining) such networks to support decision-making processes has become an extremely important subject for research, typically with a view to some social and/or economic gain. This thesis describes research work within the theme of Movement Pattern Mining (MPM) as applied to large network data. MPM is a type of frequent pattern mining that provides observation into how information is exchanged between objects in large networks. In the context of the work described in this thesis, the focus is on how the concept of Movement Patterns (MPs) can be extracted from large networks efficiently and effectively, and how such movement patterns can best be utilised so as to predict future movement. The work describes how, by utilising big data facilities like Share/Distribute Memory Systems and Hadoop/MapReduce, novel data mining based techniques can be used, not only to extract MPs from large networks, but also how they can be utilised for prediction purposes. To this end, the works in this thesis are divided into two parts. The first part is concerned with an investigation of an efficient mechanism for MPM. The second part is concerned with the utilisation of the extracted MPs in the context of prediction. For evaluation purposes, two large network datasets were used: The Great Britain Cattle Tracking System database and the Jiayuan Social Network. The evaluation indicates that an efficient and effective mechanism for identifying and extracting MPs form large networks, and subsequently using then MPs for prediction purposes, has been established.

Published
2018
Full Text
View/download PDF

227. Performance Comparison of Multi-band Frequencies for Outdoor Communication

Author

Muttair, Karrar Shakir, Al-Ani, Oras A. Shareef, Mosleh, Mahmood Farhan, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

228. Analysis of the Publications on Ontology-Based Smart Grid Applications: A Bird’s Eye View

Author

Mahmoud, Moamin A., Maseleno, Andino, Tang, Alicia Y. C., Lim, Fung-Cheng, Kasim, Hairoladenan Bin, Yong, Christine, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

229. Design a Compact Non-linear S-Box with Multiple-Affine Transformations

Author

Dawood, Omar A., Khalaf, Mohammed, Mohammed, Falath M., Almulla, Hussein K., Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

230. Integrating Fuzzy Logic Technique in Case-Based Reasoning for Improving the Inspection Quality of Software Requirements Specifications

Author

Mostafa, Salama A., Gunasekaran, Saraswathy Shamini, Khaleefah, Shihab Hamad, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

231. A Comprehensive Study of the Environmental Effects on WiFi Received Signal Strength: Lab Scenario

Author

Mohammed, Rawaa Akram, Al-Nakkash, Aseel H., Salim, Omar Nameer Mohammed, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

232. Design and Implementation of a Secure Mobile Banking System Based on Elliptic Curve Integrated Encryption Schema

Author

Salim, Ahmad, Sagheer, Ali Makki, Yaseen, Linha, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

234. Anomaly-Based Intrusion Detection System Using One Dimensional and Two Dimensional Convolutions

Author

Abdulraheem, Mohammed Hamid, Ibraheem, Najla Badie, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

236. Secret Speech Hiding in Image Based on Quantization Level Modification

Author

Abd-Alwahab, Shams N., Wali, Mousa K., Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

237. Classifying Political Arabic Articles Using Support Vector Machine with Different Feature Extraction

Author

Abd, Dhafar Hamed, Sadiq, Ahmed T., Abbas, Ayad R., Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

238. Single Runway Aircraft Landing Scheduling Using Simulated Annealing and Exact Timing Method

Author

Jassam, Abdulrahman, Abdullah, Omar Salim, Abdullah, Salwani, Bassel, Atheer, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

240. Experimenting Two Machine Learning Methods in Classifying River Water Quality

Author

Nafi, Siti Nur Mahfuzah Mohd, Mustapha, Aida, Mostafa, Salama A., Khaleefah, Shihab Hamad, Razali, Muhammad Nazim, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

241. An Effective Protein Multiple Structure Alignment Using Parallel Computing

Author

Al-Neama, Mohammed W., Ali, Salwa M., Malallah, Fahad Layth, Saeed, Mustafa Ghanem, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

242. Dynamic Power Systems Phasor Estimation Using Kalman Filter Algorithms

Author

Thiab, Omar Sami, Nogal, Łukasz, Kowalik, Ryszard, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

243. Mitigate the Reverberant Effects on Speaker Recognition via Multi-training

Author

Mohammed, Duraid Y., Al-Karawi, Khamis A., Husien, Idress Mohammed, Ghulam, Marwah Abdullah, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

244. A Classification Approach for Crime Prediction

Author

Zaidi, Nur Ain Syahira, Mustapha, Aida, Mostafa, Salama A., Razali, Muhammad Nazim, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

245. Pattern of Diffusion Recognition in a Molecular Communication Model

Author

Jani, Athraa Juhi, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

246. VIKOR Algorithm Based on Cuckoo Search for Multi-document Text Summarization

Author

Ali, Zuhair Hussein, Noor, Ameen A., Jassim, Muntaha Abood, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

247. Political Articles Categorization Based on Different Naïve Bayes Models

Author

Abd, Dhafar Hamed, Sadiq, Ahmed T., Abbas, Ayad R., Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

248. SMARF: Smart Farming Framework Based on Big Data, IoT and Deep Learning Model for Plant Disease Detection and Prevention

Author

Basori, Ahmad Hoirul, Mansur, Andi Besse Firdausiah, Riskiawan, Hendra Yufit, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

249. Cancellable Face Biometrics Template Using AlexNet

Author

Alwan, Hiba Basim, Ku-Mahamud, Ku Ruhana, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Khalaf, Mohammed I., editor, Al-Jumeily, Dhiya, editor, and Lisitsa, Alexei, editor

Published
2020
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results