Journal: Computers and Artificial Intelligence

Volume 35, Issue 6

1249 -- 1276Borka Jerman-Blazic, Nikolaos Matskanis, Rok Bojanc. Semantic Ontology Design for a Multi-Cooperative First Responder Interoperable Platform
1277 -- 1306Marek Palkowski, Wlodzimierz Bielecki. TRACO: Source-to-Source Parallelizing Compiler
1307 -- 1337Ivan Simecek, Richard Fritsch, Daniel Langr, Róbert Lórencz. Parallel Solver of Large Systems of Linear Inequalities Using Fourier-Motzkin Elimination
1338 -- 1355Azam Andalib, Seyed Morteza Babamir, Alireza Faraji. A New Sparse Representation Algorithm for 3D Human Pose Estimation
1356 -- 1358Ivana Budinska, Ladislav Hluchý. Distributed Computing and Complex Applications
1359 -- 1385Martin Bobák, Ladislav Hluchý, Viet D. Tran. Application Performance Optimization in Multicloud Environment
1386 -- 1415Ladislav Hluchý, Giang T. Nguyen, Ján Astalos, Viet D. Tran, Viera Sipková, Binh Minh Nguyen. Effective Computation Resilience in High Performance and Distributed Environments
1416 -- 1437Peter Weisenpacher, Ján Glasa, Ladislav Halada. Parallel Computation of Smoke Movement During a Car Park Fire
1438 -- 1466Peter Malík. Dedicated Hardware for Complex Mathematical Operations
1467 -- 1490Martin Sulír, Jozef Juhár, Milan Rusko. Development of the Slovak HMM-Based TTS System and Evaluation of Voices in Respect to the Used Vocoding Techniques
1491 -- 1514Marek Bundzel, Jozef Lacko, Iveta Zolotová, Tomás Kasanický, Jan Zelenka. Artificial Intelligence Aggregating Opinions of a Group of People

Volume 35, Issue 5

1005 -- 1026Piotr Nawrocki, Bartlomiej Sniezynski, Jakub Czyzewski. Learning Agent for a Service-Oriented Context-Aware Recommender System in Heterogeneous Environment
1027 -- 1049Martin Virik, Marián Simko, Mária Bieliková. Blog Style Classification: Refining Affective Blogs
1050 -- 1078Yajun Du, Yong Xu, Min Wang. A Novel Cooperation and Competition Strategy Among Multi-Agent Crawlers
1079 -- 1109Vishal Sharma, Rajesh Kumar. Estimation-Based Queue Scheduling Model to Improve QoS for End Users in MANETs
1110 -- 1140Somaye Arabi Naree, Saeed Parsa. Early Failure Prediction in Software Programs: Dimensionality Reduction Kernel
1141 -- 1159Miroslaw Jablonski, Jaromir Przybylo. Evaluation of MoG Video Segmentation on GPU-based HPC System
1160 -- 1188Sandeep Varma Nadimpalli, Valli Kumari Vatsavayi. Verification in Privacy Preserving Data Publishing
1189 -- 1209Raffaele Pizzolante, Bruno Carpentieri. Copyright Protection for Digital Images on Portable Devices
1210 -- 1230Jiguo Li, Na Qian, Yichen Zhang, Xinyi Huang. An Efficient Certificate-Based Designated Verifier Signature Scheme
1231 -- 1248Nitin Kumar, Ramesh K. Agrawal, Ajay Jaiswal. Incremental and Decremental Nonparametric Discriminant Analysis for Face Recognition

Volume 35, Issue 4

761 -- 763Wojciech Turek, Roman Debski, Aleksander Byrski, Marek Kisiel-Dorohinicki. Special Section on Functional Programming Paradigm and Its Applications
764 -- 791Tamás Kozsik, Melinda Tóth, István Bozó, Zoltán Horváth. Static Analysis for Divide-and-Conquer Pattern Discovery
792 -- 818Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski. Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang
819 -- 851Boldizsár Németh, Máté Karácsony, Zoltán Kelemen, Máté Tejfel. Defining C Preprocessor Macro Libraries with Functional Programs
852 -- 869Przemyslaw Dadel, Krzysztof Zielinski. Evolution of Reactive Streams API for Context-Aware Mobile Applications
870 -- 889Bartosz Balis, Krzysztof Borowski. Using an Actor Framework for Scientific Computing: Opportunities and Challenges
890 -- 913Laura M. Castro, Pablo Lamela, S. Thompson. Making Property-Based Testing Easier to Read for Humans
914 -- 940Emerson Cabrera Paraiso, Geraldo Boz Junior, Milton Pires Ramos, Gilson Yukio Sato, Cesar A. Tacla. Improving Knowledge Acquisition in Collaborative Knowledge Construction Tool with Virtual Catalyst
941 -- 962Zhiyuan Wang, Yuhua Tang, Juan Chen, Jingling Xue, Yun Zhou, Yong Dong. Energy Wall for Exascale Supercomputing
963 -- 985Soniya Lalwani, Rajesh Kumar, Nilama Gupta. Efficient Two-Level Swarm Intelligence Approach for Multiple Sequence Alignment
986 -- 1004Enric Tejedor, Javier Álvarez, Rosa M. Badia. Infrastructure-Agnostic Programming and Interoperable Execution in Heterogeneous Grids

Volume 35, Issue 3

497 -- 527Marco Crasso, Cristian Mateos, Alejandro Zunino, Sanjay Misra, Pablo Polvorín. Assessing Cognitive Complexity in Java-Based Object-Oriented Systems: Metrics and Tool Support
528 -- 554Petr Berka. Practical Aspects of Data Mining Using LISp-Miner
555 -- 585Daniel Fernández-González, Carlos Gómez-Rodríguez, David Vilares. Improving the Arc-Eager Model with Reverse Parsing
586 -- 614Xingjun Zhang, Guofeng Zhu, Endong Wang, Scott Fowler, Xiaoshe Dong. Data De-Duplication with Adaptive Chunking and Accelerated Modification Identifying
615 -- 634Tomasz Górecki, Maciej Luczak. Evolutionarily Tuned Generalized Pseudo-Inverse in Linear Discriminant Analysis
635 -- 652Darko Drakulic, Aleksandar Takaci, Miroslav Maric. New Model of Maximal Covering Location Problem with Fuzzy Conditions
653 -- 686Matús Chochlík. Implementing the Factory Pattern with the Help of Reflection
687 -- 718Juan Quiros, Sergey Verlan, Julian Viejo, Alejandro Millán, Manuel J. Bellido. Fast Hardware Implementations of Static P Systems
719 -- 743Stéphane Julia, Liliane do Nascimento Vale, Lígia Maria Soares Passos. Functional Testing Using Object WorkFlow Nets
744 -- 760Sun Park, ByungRae Cha, JongWon Kim. Document Summarization Using NMF and Pseudo Relevance Feedback Based on K-Means Clustering

Volume 35, Issue 2

241 -- 258Peng Xiao, Dongbo Liu. Improving Accuracy of Virtual Machine Power Model by Relative-PMC Based Heuristic Scheduling
259 -- 281Ivan Zoraja, Goran Trlin, Vaidy S. Sunderam. Eliciting the End-to-End Behavior of SOA Applications in Clouds
282 -- 298Krzysztof Korcyl, Janusz Chwastowski, Joanna Plazek, Piotr Poznanski. Selected Issues on Histograming on GPUs
299 -- 337Vicente García-Díaz, Jordán Pascual Espada, Edward Rolando Núñez-Valdéz, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle. Combining the Continuous Integration Practice and the Model-Driven Engineering Approach
338 -- 368Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification
369 -- 390Woochul Kang, Jibum Kim. Effective Scheduling of Grid Resources Using Failure Prediction
391 -- 410Patryk Orzechowski, Krzysztof Boryczko. Propagation-Based Biclustering Algorithm for Extracting Inclusion-Maximal Motifs
411 -- 440Mehrnaz Najafi, Hassan Haghighi, Tahereh Zohdi Nasab. A Set of Refactoring Rules for UML-B Specifications
441 -- 469Jernej Vicic, Petr Homola, Vladislav Kubon. Automated Implementation Process of Machine Translation System for Related Languages
470 -- 496Karol Rástocný, Mária Franeková, Peter Holecko, Iveta Zolotová. Modelling of Hazards Effect on Safety Integrity of Open Transmission Systems

Volume 35, Issue 1

1 -- 29Nongnuch Ketui, Thanaruk Theeramunkong. Thai Multi-Document Summarization: Unit Segmentation, Unit-Graph Formulation, and Unit Selection
30 -- 54Qin Zhao, Yuan He, Changjun Jiang, Pengwei Wang, Man Qi, Maozhen Li. Integration of Link and Semantic Relations for Information Recommendation
55 -- 83Marcin Szpyrka, Piotr Matyasik, Jerzy Biernacki, Agnieszka Biernacka, Michal Wypych, Leszek Kotulski. Hierarchical Communication Diagrams
84 -- 110Sergej Chodarev, Ján Kollár. Extensible Host Language for Domain-Specific Languages
111 -- 127Vo Van, Jiawei Luo, Bay Vo. Time Series Trend Analysis Based on K-Means and Support Vector Machine
128 -- 142Viktória I. Villányi. Simple Multi-Authority Attribute-Based Encryption for Short Messages
143 -- 176Ka Lok Man, Chi-Un Lei, Hemangee K. Kapoor, Tomas Krilavicius, Jieming Ma, Nan Zhang. PAFSV: A Formal Framework for Specification and Analysis of SystemVerilog
177 -- 202Muhammad Qasim Khan, Steinar Hidle Andresen, Muhammad Inamul Inam Ul Haq. Handover Architectures for Heterogeneous Networks Using the Media Independent Information Handover (MIH)
203 -- 221Xiaoli Li 0001, Qiuqi Ruan, GaoYun An, Yi Jin. Analysis of Range Images Used in 3D Facial Expression Recognition Systems
222 -- 240Mohammad Hamed Mozaffari, Hamed Abdy, Seyed-Hamid Zahiri. IPO: An Inclined Planes System Optimization Algorithm