Buscar
Mostrando ítems 21-30 de 44
Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
(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 ...
Ball convergence for Steffensen-type fourth-order methods
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
We present a local convergence analysis for a family of Steffensen-type fourth-order methods in order to approximate a solution of a nonlinear equation. We use hypotheses up to the first derivative in contrast to earlier ...
Artificial Intelligence Applied to Project Success: A Literature Review
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
Project control and monitoring tools are based on expert judgement and parametric tools. Projects are the means by which companies implement their strategies. However project success rates are still very low. This is a ...
A 3D Visual Interface for Critiquing-based Recommenders: Architecture and Interaction
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
Nowadays e-commerce websites offer users such a
huge amount of products, which far from facilitating the buying
process, actually make it more difficult. Hence, recommenders,
which learn from users’ preferences, are ...
Editor's Note
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015-03)
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 ...
A Network Based Methodology to Reveal Patterns in Knowledge Transfer
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
This paper motivates, presents and demonstrates in use a methodology based in complex network analysis to support research aimed at identification of sources in the process of knowledge transfer at the interorganizational ...
Recognizing Human Activities Based on Wearable Inertial Measurements - Methods and Applications
(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 ...
New Challenges on Crossplatform Digital Contents
(International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015-03)
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, ...
IJIMAI Editor's Note - Vol. 3 Issue 4
(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
(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, ...