Претрага

Резултати

A framework for the flexible integration of a class of decision procedures into theorem provers [1999]

Janičić, Predrag ; Bundy, A.; Green, I.

On the notion of components for intelligent tutoring systems [1998]

Devedžić, Vladan ; Radović, Danijela; Jerinić, Ljubomir

Safe Object Composition in the Presence of Subtyping [2005]

Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia

An Analysis on Hybrid Brain Storm Optimisation Algorithms [2022]

Simic, Dragan P ; Bankovic, Zorana; Villar, Jose R; Calvo-Rolle, Jose Luis; Simic, Svetislav D ; Simic, Svetlana S

The PERISCOPE Data Atlas: A Demonstration of Release v1.2 [2022]

Parimbelli, Enea; Larizza, Cristiana; Urosevic, Vladimir D; Pogliaghi, Andrea; Ottaviano, Manuel; Cheng, Cindy; Benoit, Vincent; Pala, Daniele; Casella, Vittorio; Bellazzi, Riccardo;

Giudici, Paolo;

Maximizing Lifetime of Connected-Dominating-Set in Cognitive Radio Networks [2012]

Lin, Zhiyong; Liu, Hai; Chu, Xiaowen; Leung, Yiu-Wing; Stojmenovic, Ivan

Prolog in Automated Reasoning in Geometry [2023]

Marinković, Vesna

Deep Neural Network Based Continuous Speech Recognition for Serbian Using the Kaldi Toolkit [2015]

Popović, Branislav ; Ostrogonac, Stevan ; Pakoci, Edvin ; Jakovljević, Nikša ; Delić, Vlado

Towards creation of implicit HCI model for prediction and prevention of operators’ error [2015]

Mijović, Pavle; Milovanović, M. ; Minović, M. ; Macuzić, Ivan ; Ković, Vanja ; Gligorijević, Ivan

Fault-Tolerance in XJAF Agent Middleware [2016]

Ivanović, Mirjana ; Ivković, Jovana; Vidaković, Milan ; Luburić, Nikola ; Bădică, Costin