The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
With the growing interests in social networking, the interaction of social actors evolved to a source of knowledge in which it become possible to perform context aware reasoning. The information extraction from social networking specially Twitter and Facebook is on of the problem in this area. To extract text from social networking, we need several lexical features and large scale word clustering...
The pattern recognition problem are mostly dealt through the process of clustering. Many important techniques used for clustering are based on similarity measures. The similarity measures are derived from distance measures. Therefore, for measuring the similarity between objects (Atanassov intuitionistic fuzzy set(AIFS)) researchers have applied several distance measures like normalized Euclidean...
This paper presents an assessment of different computational intelligences, i.e evolutionary algorithm (EP), firefly algorithm (FA) and cuckoo search algorithm (CSA) for solving single-objective optimization problem. Recently, these algorithms have been widely used and applied to solve different types of optimization problems. However, the performance of these optimization algorithms have not been...
Nature-inspired algorithms are often used to find optimal solutions for many combinatorial problems. An immune inspired algorithm, opt-aiNet algorithm, is well known for function optimization. In this paper, we develop a combination of local search with opt-aiNet, called lopt-aiNet, to solve construction site layout (CSL) problem. The effectiveness of the proposed algorithm is investigated through...
Decompositions play a vital role in graph theory. It provides an efficient method to partition the edges of Gso that the results for complicated graphs can be achieved by means of its subgraphs. We show how to find the minimum number of colours required in an edge colouring of a connected graphGin which every pair of vertices is connected by at least one shortest path in which no two edges are coloured...
Drug addiction amongst Afghan children is a major social menace. This paper proposes an innovative virtual learning environment that will offer a promising deterrent against drug abuse at schools. The system comprises of an intelligent tutoring layer and a story generator. The former offers a customized learning on drug addiction to children and the later engages them in a coherent story generation...
In the past few years, SAT-based methods in propositional logic have been widely used to tackle practical problems in electronic design automation, software testing and hardware verification. However, lots of industrial problems can naturally be transformed to certain decidable fragments of first-order logic (FOL), which are more expressive than propositional logic. In this paper, we propose a novel...
This paper presents a diachronic analysis centered on the exploration of differences between the writing styles of journalistic texts in Romanian language. This analysis is focused on the time evolution of this language across two adjacent regions, Bessarabia and Romania in two major periods that were marked by important historical differences. Our aim is to examine these language differences based...
The increasing occurrence of chronic conditions among the ageing population and people at risk is one of the major challenges for our society and the high cost for its healthcare systems. Prevention, early detection and efficient management of chronic, long-term conditions contribute radically to the individual wellbeing and the economic sustainability of social and healthcare systems. In response...
Identifying tractable classes of constraint satisfaction problems (CSPs) has been studied over the past two decades, and is now a very active research domain. Recently, some works have shown the interest of these tractable classes from a different viewpoint. For example, it is known that if there is no broken triangle on each two values of a given variable in an arc-consistent binary CSP, then this...
Support Vector Machines (SVMs) are powerful classification tools. However, the model training is very time-consuming when meeting large scale data sets. Some efforts have been devoted to screening out non-support vectors (non-SVs) to accelerate the training. But their processes rely on prior knowledge of other classifiers with different parameters to screen out non-SVs. In this paper, we propose Directional...
Computational models of argument are being developed to capture aspects of how persuasion is undertaken. Recent proposals suggest that in a persuasion dialogue between some agents, it is valuable for each agent to model how arguments are believed by the other agents. Beliefs in arguments can be captured by a joint belief distribution over the arguments and updated as the dialogue progresses. This...
Soon we will have anthropomorphic robots that will assist us at home and at work and will be able to recite our text-based communications to us in an animated and engaging manner. This paper describes some steps taken to explore this idea with a simple humanoid robot, the NAO Aldebaran, which is capable of speech of varying pitch, speed and loudness, and has evocative color LED lights around its eyes...
This paper proposes a new method for combining information in recommender systems based on Dempster-Shafer theory. Within this method, focal elements whose probabilities are less than or equal to an infinitesimal threshold are considered as noise that may be caused by the process of fusing information, and then eliminated. Comparing with two baselines, known as 2-points focused and 2-probabilities...
Procedural content generation (PCG) systems are designed to automatically generate content for video games. PCG for physics-based puzzles requires one to simulate the game to ensure feasibility and stability of the objects composing the puzzle. The major drawback of this simulation-based approach is the overall running time of the PCG process, as the simulations can be computationally expensive. This...
The problem of converting a music in standard music notation (music sheet) to the alternative notation of guitar tablature is known as transcription. The process of transcription consists of indicating where each note from the original music sheet needs to be played in the guitar, i.e. which string and fret of the guitar that needs to be played to produce a particular note. However, considering that...
Literal Block Distance (LBD) is the criterion to evaluate the quality of learnt clauses and is used as a standard technique to reserve important ones in the reduction phase of state-of-the-art SAT solvers. A LBD of a clause can be updated (decreased) during the search when it is re-evaluated at the Boolean constraint propagation phase. The update is essential to evaluate the real LBD value of a learnt...
The problem of counting solutions in CSP, called #CSP, is an extremely difficult problem that has many applications in Artificial Intelligence. This problem can be addressed by exact methods, but more classically it is solved by approximate methods. Here, we focus primarily on the exact counting. We show how it is possible to improve the methods based on structural decomposition by offering to enhance...
This paper proposes a unified way of describing 5G air interface (AI) design proposals using a 5G service/frequency map based on work carried out as part of 5G-PPP/H2020 project “METIS-II”. It then crucially proposes a design framework and suitability assessment process for 5G AI candidates. The proposed assessment methodology focuses on “harmonization Key Performance Indicators, or KPIs” and how...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.