Mostrando ítems 13-32 de 44

    • Checking RTECTL properties of STSs via SMT-based Bounded Model Checking 

      Zbrzezny, Agnieszka; Zbrzezny, Andrzej (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      We present an SMT-based bounded model checking (BMC) method for Simply-Timed Systems (STSs) and for the existential fragment of the Real-time Computation Tree Logic. We implemented the SMT-based BMC algorithm and compared ...
    • Differences in Measuring Market Risk in Four Subsectors of the Digital Economy 

      Benito, S.; de Juan, R.; Gómez, R.; Mochón, F. (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      This paper defends the wisdom of not considering the Digital Economy to be one homogeneous sector. Our hypothesis is that it is best to consider it the result of adding four different subsectors. We test whether indeed the ...
    • Editor's Note 

      Mochón, F.; Gonzalvez-Cabañas, J.C. (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      The term 'Digital Economy' was coined for the first time by Don Tapscott in 1995 in his best-seller The Digital Economy: Promise and Peril in the Age of Networked Intelligence. When he wrote the book 20 years ago, he ...
    • Empirical Comparison of Graph-based Recommendation Engines for an Apps Ecosystem 

      Chiroque, Luis F.; Cordobés, Héctor; Fernández Anta, Antonio; García Leiva, Rafael A; Morere, Philippe; Ornella, Lorenzo; Pérez, Fernando; Santos, Agustín (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      Recommendation engines (RE) are becoming highly popular, e.g., in the area of e-commerce. A RE offers new items (products or content) to users based on their profile and historical data. The most popular algorithms used ...
    • Formalization of Event Perception and Event Appraisal Process 

      Jain, Shikha; Asawa, Krishna (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 06/2015)
      Integration of emotion in a virtual agent is a topic of research to depict human-like behavior in a simulated environment. For the last few decades, many researchers are working in the field of incorporating emotions in a ...
    • GPGPU Implementation of a Genetic Algorithm for Stereo Refinement 

      Arranz, Álvaro; Alvar, Manuel (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      During the last decade, the general-purpose computing on graphics processing units Graphics (GPGPU) has turned out to be a useful tool for speeding up many scientific calculations. Computer vision is known to be one of the ...
    • ICTs and School Education 

      Aris, Nuria ; Orcos, Lara (International Journal of Interactive Multimedia and Artificial Intelligence, 09/2015)
      Nowadays, there exist lots of ICTs that teachers use as teaching tools. In this work, we introduce the theoretical context of the study of using ICTs in school education, then we present the method that will be used in ...
    • IJIMAI Editor's Note - Vol. 3 Issue 3 

      Montenegro-Marin, Carlos Enrique (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 06/2015)
      The research works presented in this issue are based on various topics of interest, among which are included: 3D Interface, Information Extraction, Artificial immune system, Security in Cloud Computing, Genetic Algorithm, ...
    • IJIMAI Editor's Note - Vol. 3 Issue 4 

      Magreñán, Á. Alberto (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      This special issue, Teaching Mathematics using new and classic tools, concentrates on the practical and experimental teaching in advanced Mathematics in Engineering. The selected papers deal with the most relevant issues ...
    • IJIMAI Editor's Note - Vol. 3 Issue 5 

      González-Crespo, Rubén (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      The research works presented in this issue are based on various topics of interest, among which are included: DSL, Machine Learning, Information hiding, Steganography, SMA, RTECTL, SMT-based bounded model checking, STS, ...
    • Legal Effects of Link Sharing in Social Networks 

      Gil López, Eugenio; Castillo Sanz, Andrés G (International Journal of Interactive Multimedia and Artificial Intelligence, 12/2015)
      Knowledge sharing among individuals has changed deeply with the advent of social networks in the environment of Web 2.0. Every user has the possibility of publishing what he or she deems of interest for their audience, ...
    • Local Convergence for an Improved Jarratt-type Method in Banach Space 

      Argyros, Ioannis K; González, Daniel (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      We present a local convergence analysis for an improved Jarratt-type methods of order at least five to approximate a solution of a nonlinear equation in a Banach space setting. The convergence ball and error estimates are ...
    • Maths: from distance to e-learning 

      Álvarez, D.; Moreno, D.; Orduna, P.; Pascual López, Virginia; San Vicente, F. J. (International Journal of Interactive Multimedia and Artificial Intelligence, 09/2015)
      New technological progress and especially the use of Internet have implied a new paradigm on education, and nowadays one of its most prominent features is the rise of a new approach based on an instruction beyond the solid ...
    • Mining Web-based Educational Systems to Predict Student Learning Achievements 

      del Campo-Ávila, José; Conejo, Ricardo; Triguero, Francisco; Morales-Bueno, Rafael (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      Educational Data Mining (EDM) is getting great importance as a new interdisciplinary research field related to some other areas. It is directly connected with Web-based Educational Systems (WBES) and Data Mining (DM, a ...
    • New Challenges on Crossplatform Digital Contents 

      Iglesias Feijoo, Jesús; Amat Gomariz, Guillermo (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 03/2015)
      When we speak about devices and platforms, generally we think about those of general use which are currently available (mainly smartphones and tablets). Surely, we would forget all those which are on the way (watches, ...
    • OpinAIS: An Artificial Immune System-based Framework for Opinion Mining 

      Baldominos, Alejandro; Luis Mingueza, Nerea; García del Pozo, Mª Cristina (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      This paper proposes the design of an evolutionary algorithm for building classifiers specifically aimed towards performing classification and sentiment analysis over texts. Moreover, it has properties taken from Artificial ...
    • Procedural Content Generation for Real-Time Strategy Games 

      Lara-Cabrera, Raúl; Nogueira-Collazo, Mariela; Cotta, Carlos; Fernández-Leiva, Antonio J. (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI)i, 03/2015)
      Videogames are one of the most important and profitable sectors in the industry of entertainment. Nowadays, the creation of a videogame is often a large-scale endeavor and bears many similarities with, e.g., movie production. ...
    • Recognizing Human Activities Based on Wearable Inertial Measurements - Methods and Applications 

      Siirtola, Pekka (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      On April 10 of 2015 Pekka Siirtola defended his PhD thesis, called “Recognizing Human Activities Based on Wearable Inertial Measurements - Methods and Applications” [1]. The thesis was supervised by Professor Juha Röning ...
    • Security Framework for Agent-Based Cloud Computing 

      Venkateshwaran, K.; Malviya, Anu; Dikshit, Utkarsha; Venkatesan, S. (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 06/2015)
      Agent can play a key role in bringing suitable cloud services to the customer based on their requirements. In agent based cloud computing, agent does negotiation, coordination, cooperation and collaboration on behalf of ...
    • Semi-Automated Correction Tools for Mathematics-Based Exercises in MOOC Environments 

      Corbi, Alberto ; Burgos, Daniel (International Journal of Interactive Multimedia and Artificial Intelligence, 06/2015)
      Massive Open Online Courses (MOOCs) allow the participation of hundreds of students who are interested in a wide range of areas. Given the huge attainable enrollment rate, it is almost impossible to suggest complex homework ...