Envíos recientes 

UNIR REVISTAS: Envíos recientes

Mostrando ítems 1171-1173 de 3937

    • “Wrapping” X3DOM around Web Audio API 

      Stamoulias, Andreas; Lakka, Eftychia; Malamos, Athanasios (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      Spatial sound has a conceptual role in the Web3D environments, due to highly realism scenes that can provide. Lately the efforts are concentrated on the extension of the X3D/ X3DOM through spatial sound attributes. This ...

    • 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 ...

    • An Automated Negotiation-based Framework via Multi-Agent System for the Construction Domain 

      Mahmoud, Moamin A.; Sharifuddin Ahmad, Mohd; Zaliman Yuso, Mohd; Idrus, Arazi (International Journal of Interactive Multimedia and Artificial Intelligence (IJIMAI), 2015)
      In this paper, we propose an automated multi-agent negotiation framework for decision making in the construction domain. It enables software agents to conduct negotiations and autonomously make decisions. The proposed ...