1. Research with MATF

Informatics and Computer Science

View Statistics Email Alert RSS Feed

Card

Organization name
Informatics and Computer Science
Country
Serbia

OrgUnit's Researchers publications
(Dept/Workgroup Publication)

Results 451-469 of 469 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
4511-Jan-2004ARGO-LIB: A generic platform for decision proceduresMarić, Filip ; Janičić, Predrag M33
4521-Dec-2003WINGCLC - A workbench for formally describing figuresJaničić, Predrag ; Trajković, IvanM33
4531-Jan-2003Learning strategies for mechanised building of decision proceduresJamnik, Mateja; Janičić, Predrag M33
4541-Jan-2003CCD microscopy - Image analysis by group for intelligent systems (GIS)Jovanović, Aleksandar; Dordević, Zoran; Marić, Filip ; Marić, Miroslav ; Perišić, Dragoljub
4551-Jan-2003Fine-grained tournament selection operator in genetic algorithmsFilipović, Vladimir 
4561-Jan-2002A general setting for flexibly combining and augmenting decision proceduresJaničić, Predrag ; Bundy, AlanM22
4571-Jan-2001On different models for generating random sat problemsJaničić, Predrag ; Dedić, Nenad; Terzić, GoranM23
4581-Jan-2001Solving the simple plant location problem by genetic algorithmKratica, Jozef; Tošic, Dušan; Filipović, Vladimir ; Ljubić, Ivana
4591-Jan-2001GD-SAT model and crossover lineJaničić, Predrag M23
4601-Jan-1999A framework for the flexible integration of a class of decision procedures into theorem proversJaničić, Predrag ; Bundy, Alan; Green, IanM33
461-Using Natural Language Processing for Data Mining Algorithms in Wireless Sensor Networks: Planning a Weather Forecast Application.Vujičić Stanković, Staša M33
462-Language Identification: The Case of SerbianZečević, Andjelka; Vujičić Stanković, Staša M63
463-Recognition of odonyms in Serbian languageVujičić Stanković, Staša ; Vitas, Duško; Utvić, Miloš
464-Approximate Measures in the Culinary Domain: Ontology and Lexical ResourcesKrstev, Cvetana; Vujičić Stanković, Staša ; Vitas, DuškoM33
465-Pregled potencijala primene IoT rešenja u poljoprivrediVujičić Stanković, Staša ; Stanković, Z.; Pajić, Miloš; Pajić, VesnaM63
466-An Algorithm for Sentence Recovery from PDF FilesPajić, Vesna; Vujičić Stanković, Staša ; Pajić, Miloš
467-Automated generation and checking of verification conditionsVujošević Janičić, Milena M70
468-Computer-Assisted Theorem Proving in Synthetic GeometryNarboux, Julien; Janičić, Predrag ; Fleuriot, JacquesM14
469-Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставникеŠćepanović, Danijela; Lečić-Cvetković, Danica; Marić, Filip