Content 2010

Vol. 29, 2010

This volume contains 71 articles.

Content 6+/2010

Automatic Control Synthesis for Agents and Their Cooperation in MAS
František Čapkovič
pp. 1045–1071
Conditions of the Affine Extension of an Incompletely Defined Boolean Function
Piotr Porwik
pp. 1073–1088
EWMA Based Threshold Algorithm for Intrusion Detection
Petar Čisar, Saša Bošnjak, Sanja Maravić Čisar
pp. 1089–1101
Combined Approach to Program and Language Evolution
Ján Kollár, Michal Forgáč
pp. 1103–1116
Simultaneous Optimization of Application Utility and Consumed Energy in Mobile Grid
Chunlin Li, Layuan Li
pp. 1117–1140
RFID-Based Digital Board Game Platforms
JungHyun Han, Kiyeol Kim, Keechul Jung, Kyung-Ok Lee
pp. 1141–1158
UMDA/S: An Effective Iterative Compilation Algorithm for Parameter Search
Pingjing Lu, Yonggang Che, Zhenghua Wang
pp. 1159–1179
An Empirical Study on Multicriteria Scheduling
Wijak Srisujjalertwaja, Pattarasinee Bhattarakosol
pp. 1181–1192
Grid Resource Management and Scheduling for Data Streaming Applications
Wen Zhang, Junwei Cao, Yisheng Zhong, Lianchen Liu, Cheng Wu
pp. 1193–1220
Parallel Approach for Visual Clustering of Protein Databases
Patryk Orzechowski, Krzysztof Boryczko
pp. 1221–1231
A Parallel Algorithm for Large-Scale Multiple Sequence Alignment
Heitor S. Lopes, Carlos R. Erig Lima, Guilherme L. Moritz
pp. 1233–1250
Solving the Generalized Vertex Cover Problem by Genetic Algorithm
Marija Milanović
pp. 1251–1265
Multiple Description Video Coding Using Joint Frame Duplication/Interpolation
Huihui Bai, Yao Zhao, Ce Zhu, Anhong Wang
pp. 1267–1282
SIGIFSDP: A Service Id Guided Intelligent Forwarding Service Discovery Protocol in Pervasive Computing Environments
Qianli Ma, Minghong Liao, Shouxu Jiang, Wenxu Xu, Zhenguo Gao
pp. 1283–1305
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
Uli Fahrenberg, Kim G. Larsen, Claus Thrane
pp. 1311–1324
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking
Marek Olšák, Jiří Filipovič, Martin Prokop
pp. 1325–1336
Optimizing an LTS-Simulation Algorithm
Lukáš Holík, Jiří Šimáček
pp. 1337–1348
Approximability of the Minimum Steiner Cycle Problem
Monika Steinová
pp. 1349–1357
Hardware Accelerator of Cartesian Genetic Programming with Multiple Fitness Units
Zdeněk Vašíček, Lukáš Sekanina
pp. 1359–1371

Content 6/2010

A Hierarchical Clustering Based Approach in Aspect Mining
Gabriela Czibula, Grigoreta Sofia Cojocar
pp. 881–900
Timed Chi: Modeling, Simulation and Verification of Hardware Systems
Ka Lok Man
pp. 901–928
Correction of Regression Predictions Using the Secondary Learner on the Sensitivity Analysis Outputs
Zoran Bosnić, Igor Kononenko
pp. 929–946
Maintaining Functional Integrity in Multi-Agent Systems for Resource Allocation
Krzysztof Cetnarowicz, Rafał Dreżewski
pp. 947–973
Using Real Valued Detectors in Ship Immune System
Tomasz Praczyk
pp. 975–987
Analysis of the Basic Implementation Aspects of Hardware-Accelerated Density Functional Theory Calculations
Maciej Wielgosz, Grzegorz Mazur, Marcin Makowski, Ernest Jamro, Paweł Russek, Kazimierz Wiatr
pp. 989–1000
Improved and Extended Mixed-Radix Decimation in Frequency Fast MDCT Algorithm
Vladimír Britaňák
pp. 1001–1012
A Neural Network Approach to Flood Mapping Using Satellite Imagery
Sergii Skakun
pp. 1013–1024
Deductive Fault Simulation Technique for Asynchronous Circuits
Roland Dobai, Elena Gramatová
pp. 1025–1043

Content 5/2010

A hybrid Particle Swarm Evolutionary Algorithm for Constrained Multi-Objective Optimization
Jingxuan Wei, Yuping Wang, Hua Wang
pp. 701–718
DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems
Rilson O. Nascimento, Paulo R. M. Maciel
pp. 719–740
ISSDC: Digram Coding Based Lossless Data Compression Algorithm
Altan Mesut, Aydin Carus
pp. 741–756
Memory-Efficient Query Processing over XML Fragment Stream with Fragment Labeling
Sangwook Lee, Jin Kim, Hyunchul Kang
pp. 757–782
On the Disruption-level of Polynomial Mutation for Evolutionary Multi-objective Optimisation Algorithms
Mohammad Hamdan
pp. 783–800
Finding Perimeter of Query Regions in Heterogenous Wireless Sensor Networks
Ahmed M. Khedr, Walid Osamy
pp. 801–821
The Application of Spiking Neural Networks in Autonomous Robot Control
Peter Trhan
pp. 823–847
Montgomery and RNS for RSA Hardware Implementation
Kooroush Manochehri, Saadat Pourmozafari, Babak Sadeghian
pp. 849–880

Content 4/2010

A Multi-factor Customer Classification Evaluation Model
Qiaohong Zu, Ting Wu, Hui Wang
pp. 509–520
A Novel QoS Guarantee Mechanism in IEEE 802.16 Mesh Networks
Yong Zhang, Chao Dai, Mei Song
pp. 521–536
Enabling Information Gathering Patterns for Emergency Response with the OpenKnowledge System
Gaia Trecarichi, Veronica Rizzi, Maurizio Marchese, Lorenzino Vaccari, Paolo Besana
pp. 537–555
Improve Affective Learning with EEG Approach
Xiaowei Li, Qinglin Zhao, Li Liu, Hong Peng, Yanbing Qi, Chengsheng Mao, Zheng Fang, Quanying Liu, Bin Hu
pp. 557–570
Learning Profiles for Heterogeneous Distributed Information Sources
Hans Friedrich Witschel
pp. 571–584
Modeling Sketching Primitives to Support Freehand Drawing Based on Context Awareness
Cuixia Ma, Shengfeng Qin, Hongan Wang, Guozhong Dai
pp. 585–600
Nintendo Wii Remote Controller in Higher Education: Development and Evaluation of a Demonstrator Kit for e-Teaching
Andreas Holzinger, Selver Softic, Christian Stickel, Martin Ebner, Matjaž Debevc, Bo Hu
pp. 601–615
Semi-Supervised Learning for Personalized Web Recommender System
Tingshao Zhu, Bin Hu, Jingzhi Yan, Xiaowei Li
pp. 617–627
A Communication Middleware for Ubiquitous Multimedia Adaptation Services
Ning Li, Hillary Tarus, James M. Irvine, Klaus Moessner
pp. 629–646
Nonlinear Trajectory Discovery of a Moving Target by Wireless Sensor Networks
Ahmed M. Khedr, Walid Osamy
pp. 647–662
Accurate Pupil Features Extraction Based on New Projection Function
Ghassan J. Mohammed, Bing-Rong Hong, Ann A. Jarjes
pp. 663–680
The Design and Analysis of a Modified Work Function Algorithm for Solving the On-Line mathbf k-Server Problem
Alfonzo Baumgartner, Tomislav Rudec, Robert Manger
pp. 681–700

Content 3/2010

Learning Sensitive Stigmergic Agents for Solving Complex Problems
Camelia Chira, Dumitru Dumitrescu, Camelia-Mihaela Pintea
pp. 337–356
Embedding Strength Criteria for AWGN Watermark, Robust Against Expected Distortion
Vesna Vučković
pp. 357–387
Organizational Structure-Satisfactory Social Law Determination in Multiagent Workflow Systems
Yichuan Jiang
pp. 389–405
Liveness Verification in TRSs Using Tree Automata and Termination Analysis
Mousa Mousazadeh, Behrouz Tork Ladani, Hans Zantema
pp. 407–426
Constrained Longest Common Subsequence Computing Algorithms in Practice
Sebastian Deorowicz, Joanna Obstój
pp. 427–445
A New Vertex Coloring Algorithm Based on Variable Action-Set Learning Automata
Javad Akbari Torkestani, Mohammad Reza Meybodi
pp. 447–466
Parallel Implementation of Relational Algebra Operations on a Multi-Comparand Associative Machine
Anna Shmilevna Nepomniaschaya
pp. 467–487
A Comparison of Decision Tree Classifiers for Automatic Diagnosis of Speech Recognition Errors
Miloš Cerňak
pp. 489–501

Content 2/2010

Identification of Technical Journals by Image Processing Techniques
Pei-Chun Wen, Ling-Ling Wang
pp. 165–182
An Efficient Genetic Algorithm for Solving the Multi-Level Uncapacitated Facility Location Problem
Miroslav Marić
pp. 183–201
Application of Weighted Voting Taggers to Languages Described with Large Tagsets
Marcin Kuta, Wojciech Wojcik, Michał Wrzeszcz, Jacek Kitowski
pp. 203–225
Dialogue Act Recognition Approaches
Pavel Král, Christophe Cerisara
pp. 227–250
Higher-Order Attribute Semantics of Flat Declarative Languages
Pavel Grigorenko, Enn Tyugu
pp. 251–280
Action Recognition Using Visual-Neuron Feature of Motion-Salience Region
Ning Li, De Xu, Lu Liu
pp. 281–301
Improving Computer Based Speech Therapy Using a Fuzzy Expert System
Ovidiu-Andrei Schipor, Stefan-Gheorghe Pentiuc, Maria-Doina Schipor
pp. 303–318
The Data Fusion Grid Infrastructure: Project Objectives and Achievements
Nataliia Kussul, Andrii Shelestov, Sergii Skakun, Oleksii Kravchenko, Yulia Gripich, Ladislav Hluchý, Paul Kopp, Evgeny Lupian
pp. 319–334

Content 1/2010

Enhancing Use Cases with Screen Designs. A Comparison of Two Approaches
Łukasz Olek, Mirosław Ochodek, Jerzy Nawrocki
pp. 3–25
Building Benchmarks For Use Cases
Bartosz Alchimowicz, Jakub Jurkiewicz, Mirosław Ochodek, Jerzy Nawrocki
pp. 27–44
SMA -- The Smyle Modeling Approach
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
pp. 45–72
Exploratory Comparison of Expert and Novice Pair Programmers
Andreas Höfer
pp. 73–91
Achieving Cost-Effective Software Reliability Through Self-Healing
Alessandra Gorla, Mauro Pezzè, Jochen Wuttke, Leonardo Mariani, Fabrizio Pastore
pp. 93–115
A Genetic Algorithm Approach for the Capacitated Single Allocation P-Hub Median Problem
Zorica Stanimirović
pp. 117–132
A Hybrid Test Optimization Framework -- Coupling Genetic Algorithm with Local Search Technique
Dharmalingam Jeya Mala, Elizabeth Ruby, Vasudev Mohan
pp. 133–164