pinecone/core-2020-05-10-deduplication huggingface dataset:
On Parallelization of the NIS-apriori Algorithm for Data Mining

We have been developing the getRNIA software tool for data mining under uncertain information. The getRNIA software tool is powered by the NIS-Apriori algorithm, which is a variation of the well-known Apriori algorithm. This paper considers the parallelization of the NIS-Apriori algorithm, and implements a part of this algorithm based on the Apache-Spark environment. We especially apply the implemented software to two data sets, the Mammographic data set and the Mushroom data set in order to show the property of the parallelization. Even though this parallelization was not so effective for the Mammographic data set, it was much more effective for the Mushroom data set.19th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, September 7-9, 2015, Singapor
Automatic analysis of multimodal requirements: A research preview

[Context and motivation] Traditionally, requirements are documented using natural language text. However, there exist several approaches that promote the use of rich media requirements descriptions. Apart from text-based descriptions these multimodal requirements can be enriched by images, audio, or even video. [Question/Problem] The transcription and automated analysis of multimodal information is an important open question, which has not been sufficiently addressed by the Requirement Engineering (RE) community so far. Therefore, in this research preview paper we sketch how we plan to tackle research challenges related to the field of multimodal requirements analysis. We are in particular focusing on the automation of the analysis process. [Principal idea/results] In our recent research we have started to gather and manually analyze multimodal requirements. Furthermore, we have worked on concepts which initially allow the analysis of multimodal information. The purpose of the planned research is to combine and extend our recent work and to come up with an approach supporting the automatic analysis of multimodal requirements. [Contribution] In this paper we give a preview on the planned work. We present our research goal, discuss research challenges and depict an early conceptual solution
Research preview: Prioritizing quality requirements based on software architecture evaluation feedback

Context and motivation Quality requirements are a main driver for architectural decisions of software systems. Although the need for iterative handling of requirements and architecture has been identified, current architecture design processes do not provide systematic, quantitative feedback for the prioritization and cost/benefit considerations for quality requirements. Question/problem Thus, in practice stakeholders still often state and prioritize quality requirements before knowing the software architecture, i.e. without knowledge about the quality dependencies, conflicts, incurred costs, and technical feasibility. However, as quality properties usually are cross-cutting architecture concerns, estimating the effects of design decisions is difficult. Thus, stakeholders cannot reliably know the appropriate required level of quality. Principal ideas/results In this research proposal, we suggest an approach to generate feedback from quantitative architecture evaluation to requirements engineering, in particular to requirements prioritization. We propose to use automated design space exploration techniques to generate information about available trade-offs. Final quality requirement prioritization is deferred until first feedback from architecture evaluation is available. Contribution In this paper, we present the process model of our approach enabling feedback to requirement prioritization and describe application scenarios and an example
Forgetting for defeasible logic

The concept of forgetting has received significant interest in artificial  intelligence recently. Informally, given a knowledge base, we may wish to forget  about (or discard) some redundant parts (such as atoms, predicates, concepts,  etc) but still preserve the consequences for certain forms of reasoning. In nonmonotonic  reasoning, so far forgetting has been studied only in the context of  extension based approaches, mainly answer-set programming. In this paper forgetting  is studied in the context of defeasible logic, which is a simple, efficient  and sceptical nonmonotonic reasoning approach.Full Tex
Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring
Automated Analysis of AODV using UPPAAL

This paper describes an automated, formal and rigorous analysis of the Ad hoc
On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in
wireless mesh networks.
  We give a brief overview of a model of AODV implemented in the UPPAAL model
checker. It is derived from a process-algebraic model which reflects precisely
the intention of AODV and accurately captures the protocol specification.
Furthermore, we describe experiments carried out to explore AODV's behaviour in
all network topologies up to 5 nodes. We were able to automatically locate
problematic and undesirable behaviours. This is in particular useful to
discover protocol limitations and to develop improved variants. This use of
model checking as a diagnostic tool complements other formal-methods-based
protocol modelling and verification techniques, such as process algebra.Comment: arXiv admin note: text overlap with arXiv:1512.0731
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications

The Spatial Logic Model Checker is a tool for verifying π-calculus systems against safety, liveness, and structural properties expressed in the spatial logic for concurrency of Caires and Cardelli. Model-checking is one of the most widely used techniques to check temporal properties of software systems. However, when the analysis focuses on properties related to resource usage, localities, interference, mobility, or topology, it is crucial to reason about spatial properties and structural dynamics. The SLMC is the only currently available tool that supports the combined analysis of behavioral and spatial properties of systems. The implementation, written in OCAML, is mature and robust, available in open source, and outperforms other tools for verifying systems modeled in π-calculus
A Platform for High Performance Statistical Model Checking – PLASMA

International audienceStatistical model checking offers the potential to decide and quantify dynamical properties of models with intractably large state space, opening up the possibility to verify the performance of complex real-world systems. Rare properties and long simulations pose a challenge to this approach, so here we present a fast and compact statistical model checking platform, PLASMA, that incorporates an efficient simulation engine and uses importance sampling to reduce the number and length of simulations when properties are rare. For increased flexibility and ef-ficiency PLASMA compiles both model and property into bytecode that is executed on an in-built memory-efficient virtual machine
Distributed Active-Camera Control Architecture Based on Multi-Agent Systems

Proceedings of: 10th Conference on Practical Applications of Agents and Multi-Agent Systems, Salamanca (Spain), 28-30 March 2012 (PAAMS`12)In this contribution a Multi-Agent System architecture is proposed to deal with the management of spatially distributed heterogeneous nets of sensors, specially is described the problem of Pan-Tilt-Zoom or active cameras. The design of surveillance multi-sensor systems implies undertaking to solve two related problems: data fusion and coordinated sensor-task management. Generally, proposed architectures for the coordinated operation of multiple sensors are based on centralization of management decisions at the fusion center. However, the existence of intelligent sensors capable of taking decisions brings the possibility of conceiving alternative decentralized architectures. This problem could be approached by means of a Multi-Agent System (MAS). In specific, this paper proposes a MAS architecture for automatically control sensors in video surveillance environments.This work was supported in part by Projects CICYT TIN2008-06742-C02-02/TSI, CICYT
TEC2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/ TIC-1485) and DPS2008-
07029-C02-02.Publicad
Using MAS to detect retinal blood vessels

The segmentation of retinal vasculature by color fundus images analysis is crucial for several medical diagnostic systems, such as the diabetic retinopathy early diagnosis. Several interesting approaches have been done in this field but the obtained results need to be improved. We propose therefore a new approach based on an organization of agents. This multi-agent approach is preceded by a preprocessing phase in which the fundamental filter is an improved version of the Kirsch derivative. This first phase allows the construction of an environment where the agents are situated and interact. Then, edges detection emerged from agents’ interaction. With this study, competitive results as compared with those present in the literature were achieved and it seems that a very efficient system for the diabetic retinopathy diagnosis could be built using MAS mechanisms.Fundação para a Ciência e a Tecnologia (FCT
Variability compensation using NAP for unconstrained face recognition

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-28765-7_17Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence 2012 (DCAI 2012), Salamanca, Spain.The variability presented in unconstrained environments represents one of the open challenges in automated face recognition systems. Several techniques have been proposed in the literature to cope with this problem, most of them tailored to compensate one specific source of variability, e.g., illumination or pose. In this paper we present a general variability compensation scheme based on the Nuisance Attribute Projection (NAP) that can be applied to compensate for any kind of variability factors that affects the face recognition performance. Our technique reduces the intra-class variability by finding a low dimensional variability subspace. This approach is assessed on a database from the NIST still face recognition challenge “The Good, the Bad, and the Ugly” (GBU). The results achieved using our implementation of a state-of-the-art system based on sparse representation are improved significantly by incorporating our variability compensation technique. These results are also compared to the GBU challenge results, highlighting the benefits of adequate variability compensation schemes in these kind of uncontrolled environments.This work has been partially supported by projects Bio-Challenge (TEC2009-11186), Contexts (S2009/TIC-1485), TeraSense (CSD2008-00068) and "Cátedra UAM-Telefónica"
Comparing Features Extraction Techniques Using J48 for Activity Recognition on Mobile Phones

Proceedings of: 10th Conference on Practical Applications of Agents and Multi-Agent Systems, 28-30 March, 2012.Workshop on Agents and Multi-agent systems for Enterprise IntegrationNowadays, mobile phones are not only used for mere communication such as calling or sending text messages. Mobile phones are becoming the main computer device in people's lives. Besides, thanks to the embedded sensors (Accelerometer, digital compass, gyroscope, GPS,and so on) is possible to improve the user experience. Activity recognition aims to recognize actions and goals of individual from a series of observations of themselves, in this case is used an accelerometer.This work was supported in part by Projects CICYT TIN2011-28620-C02-01, CICYT TEC2011-28626-C02-02, CAM CONTEXTS (S2009/TIC-1485) and DPS2008-07029-C02-02Publicad
INEF12Basketball Dataset and the Group Behavior Recognition Issue

Proceedings of: 9th Conference on Practical Applications of Agents and Multi-Agent Systems. Workshop on User-Centric Technologies and Applications (CONTEXTS 2012), Salamanca, March 28-30, 2012Activity recognition is one of the most prolific fields of research. For this reason, there are new fields of research that expand the possibilities of the activity recognition: Group behavior recognition. This field does not limit the number of elements in the scene, and there are a lot of new elements that must be analyzed. Each group, like each individual element, has its behavior, but this behavior depends on their elements, and the relationships between these elements. All these new elements cause that group behavior recognition was a new field of research, with some similar elements but it must be studied apart. This way, group behavior recognition is a novel field, in which there are not many researches and there are not many datasets that could be used by researchers. This situation causes the slow advance of the science in this field. This paper tries to show a complete description of the problem domain, with all the possible variants, a formal description and show a novel architecture used to solve this issue. Also describes a specific group behavior recognition dataset, and shows how it could be usedThis work was supported in part by Projects CICYT TIN2011-28620-C02-01, CICYT TEC2011-28626-C02-02, CAMCONTEXTS (S2009/TIC-1485) and DPS2008-07029-C02-02Publicad
Using GPU for Multi-agent Multi-scale Simulations

International audienceMulti-Agent System (MAS) is an interesting way to create models and simulators and is widely used to model complex systems. As the complex systemcommunity tends to build up larger models to fully represent real systems, the need for computing power raise significantly. Thus MAS often lead to long computing intensive simulations. Parallelizing such a simulation is complex and it execution requires the access to large computing resources. In this paper, we present the adaptation of a MAS system, Sworm, to a Graphical Processing Unit.We show that such an adaptation can improve the performance of the simulator and advocate for a more wider use of the GPU in Agent Based Models in particular for simple agents
Modeling a mobile robot using a grammatical model

Virtual Worlds Generator is a grammatical model that is proposed to define virtual worlds. It integrates the diversity of sensors and interaction devices, multimodality and a virtual simulation system. Its grammar allows the definition and abstraction in symbols strings of the scenes of the virtual world, independently of the hardware that is used to represent the world or to interact with it. A case study is presented to explain how to use the proposed model to formalize a robot navigation system with multimodal perception and a hybrid control scheme of the robot
The problem of learning non-taxonomic relationships of ontologies from text

Manual construction of ontologies by domain experts and knowledge engineers is a costly task. Thus, automatic and/or semi-automatic approaches to their development are needed. Ontology Learning aims at identifying its constituent elements, such as non-taxonomic relationships, from textual information sources. This article presents a discussion of the problem of Learning Non-Taxonomic Relationships of Ontologies and defines its generic process. Four techniques representing the state of the art of Learning Non-Taxonomic Relationships of Ontologies are described and the solutions they provide are discussed along with their advantages and limitations
Structural graph extraction from images

We present three new algorithms to model images with graph primitives. Our main goal is to propose algorithms that could lead to a broader use of graphs, especially in pattern recognition tasks. The first method considers the q-tree representation and the neighbourhood of regions. We also propose a method which, given any region of a q-tree, finds its neighbour regions. The second algorithm reduces the image to a structural grid. This grid is postprocessed in order to obtain a directed acyclic graph. The last method takes into account the skeleton of an image to build the graph. It is a natural generalization of similar works on trees [8, 12]. Experiments show encouraging results and prove the usefulness of the proposed models in more advanced tasks, such as syntactic pattern recognition tasks.This work is partially supported by Spanish MICINN (contract TIN2011-28260-C03-01, contract TIN2009-14205-C04-C1) and CONSOLIDER-INGENIO 2010 (contract CSD2007-00018)
Mutagenesis as a Diversity Enhancer and Preserver in Evolution Strategies

Proceedings of: 9th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2012). Salamanca,  March 28-30, 2012Mutagenesis is a process which forces the coverage of certain zones of the search space during the generations of an evolution strategy, by keeping track of the covered ranges for the different variables in the so called gene matrix. Originally introduced as an artifact to control the automated stopping criterion in a memetic algorithm, ESLAT, it also improved the exploration capabilities of the algorithm, even though this was considered a secondary matter and not properly analyzed or tested. This work focuses on this diversity enhancement, redefining mutagenesis to increase this characteristic, measuring this improvement over a set of twenty-seven unconstrained optimization functions to provide statistically significant results.This work was supported in part by Projects CICYT TIN2008-06742-C02-02/TSI, CICYT TEC2008-06732-C02-02/TEC, CAM CONTEXTS (S2009/TIC-1485) and DPS2008-07029-C02-02.Publicad
Optimizing Dialog Strategies for Conversational Agents Interacting in AmI Environments

Proceedings of: 3rd International Symposium on Ambient Intelligence (ISAmI 2012). Salamanca (Spain), 28-30 March 2012In this paper, we describe a conversational agent which provides academic information. The dialog model of this agent has been developed by means of a statistical methodology that automatically explores the dialog space and allows learning new enhanced dialog strategies from a dialog corpus. A dialog simulation technique has been applied to acquire data required to train the dialog model and then explore the new dialog strategies. A set of measures has also been defined to evaluate the dialog strategy. The results of the evaluation show how the dialogmodel deviates from the initially predefined strategy, allowing the conversational agent to tackle new situations and generate new coherent answers for the situations already present in the initial corpus. The proposed technique can be used not only to develop new dialog managers but also to explore new enhanced dialog strategies focused on user adaptation required to interact in AmI environments.Research funded by projects CICYT TIN2011-28620-C02-01, CICYT TEC2011-28626-C02-02, CAM CONTEXTS (S2009/TIC-1485), and DPS2008-07029-C02-02.Publicad
Analysing participants' performance in idea generation meeting considering emotional context-aware

In an idea generation meeting the emotional context-aware is correlated the with participants’ performance. To achieve good results in idea generation sessions it is important that participants maintain a positive emotional state. In this paper we will present an agent-based idea generation meeting using an emotional context-aware model that includes several mechanisms, namely: the analysis and evaluation of events, emotion-based process and recommendation selection. In order to analyse and test the benefits of these mechanisms, we also created a simulated scenario where agents generate ideas and are affected by context-aware situations. The simulation reveals that these mechanisms can increase the participants’ performance using some techniques. This study shows how the use of recommendation mechanisms can maximize meeting results in some situations
Stress monitoring in conflict resolution situations

Online Dispute Resolution is steadily growing to become the major alternative
to litigation in court. In fact, given the characteristics of current disputes,
technology-based conflict resolution may be a quite efficient approach. However,
in this shift of paradigm, there are also threats that should be considered. Specifically,
in this paper we deal with the problem of the lack of important context information
when parties communicate in a virtual setting. In that sense, we propose
the addition of a monitoring framework capable of measuring the level of stress of
the parties in a non-invasive way. This information will be used by the platform
and the mediator throughout the complete conflict resolution process to adapt
strategies in real-time, resulting in a context-aware and more efficient approach.The work described in this paper is included in TIARAC - Telematics and Artificial Intelligence in Alternative Conflict Resolution Project (PTDC/JUR/71354/2006), which is a research project supported by FCT (Science & Technology Foundation), Portugal. The work of Davide Carneiro is supported by a doctoral grant by FCT (SFRH/BD/64890/2009). This work is also partially supported by the Spanish Ministerio de Ciencia e Innovacion under project TIN2010-20845-C03-01 and by the Spanish Junta de Comunidades de Castilla-La Mancha under projects PII2I09-0069-0994 and PEII09-0054-9581
An Evaluation Method for Context-Aware Systems in U-Health

Proceedings of: 3rd International Symposium on Ambient Intelligence (ISAmI 2012) Salamanca, March 28-30, 2012Evaluations for context-aware systems can not be conducted in the same manner evaluation is understood for other software systems where the concept of large corpus data, the establishment of ground truth and the metrics of precision and recall are used. Evaluation for changeable systems like context-aware and specially developed for AmI environments needs to be conducted to assess the impact and awareness of the users. E-Health represents a challenging domain where users(patients, patients' relatives and healthcare professionals) are very sensitive to systems' response. If system failure occurs it can conducts to a bad diagnosis or medication, or treatment. So a user-centred evaluation system is need to provide the system with users' feedback. In this paper, we present an evaluation method for context aware systems in AmI environments and specially to u-Heatlh domainFunded by projects CICYT TIN2008-06742-C02-02/TSI, CICYTTEC2008-06732 C02-02/TEC, SINPROB, CAM MADRINET S-0505/TIC/0255 and DPS2008-07029-C02-02.Publicad