Image Processing for Improved Perception and Interaction

Author(s): Michal Seeman
Volume: 5
Issue: 3
Year: 2013





A Contribution to Traffic State Estimation by Means of Image Processing Methods

Author(s): Marija Kopf
Volume: 5
Issue: 3
Year: 2013





What Makes the Best Computer Game? How Game Features Affect Game Play

Author(s): Peter Kratky
Volume: 5
Issue: 2
Year: 2013





Real Time Implementation of HIPs Descriptor on Android Mobile Platform in an Augmented Reality Application

Author(s): Marek Jakab
Volume: 5
Issue: 2
Year: 2013





Optimization Algorithm Inspired by Social Insect Behaviour in Comparison with Hill Climbing

Author(s): Daniel Soos
Volume: 5
Issue: 2
Year: 2013





Improving Binary Feature Descriptors Using Spatial Structure

Author(s): Michal Kottman
Volume: 5
Issue: 2
Year: 2013





Preface to Special Section on Student Research in Informatics and Information Technologies

Author(s): Maria Bielikova | Pavol Navrat
Volume: 5
Issue: 2
Year: 2013





Related Documents Search Using User Created Annotations

Author(s): Jakub Sevcech
Volume: 5
Issue: 2
Year: 2013





Parallel Methods of Solving of Supply Problem Using Ant Colony Optimization

Author(s): Stanislav Piecka
Volume: 5
Issue: 1
Year: 2013





Semantics and Model Driven Design Patterns Instantiation

Author(s): Peter Kajsa
Volume: 5
Issue: 1
Year: 2013





Verification of Programs Manipulating Complex Dynamic Data Structures

Author(s): Jiri Simacek
Volume: 5
Issue: 1
Year: 2013





Relational Verification of Programs with Integer Data

Author(s): Filip Konecny
Volume: 5
Issue: 1
Year: 2013





QMMAC - New QoS Model with Admission Control for Mobile Ad hoc Networks

Author(s): Magula, Peter
Volume: 4
Issue: 4
Year: 2012





Formal Systems Based upon Automata and Grammars

Author(s): Martin Cermak
Volume: 4
Issue: 4
Year: 2012





Optimisation of Message Distribution in Ad-hoc networks

Author(s): Tomas Baca
Volume: 4
Issue: 4
Year: 2012




