* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download ICAISC 2004 Preliminary Program
Affective computing wikipedia , lookup
Wizard of Oz experiment wikipedia , lookup
Existential risk from artificial general intelligence wikipedia , lookup
Neural modeling fields wikipedia , lookup
Computer vision wikipedia , lookup
Machine learning wikipedia , lookup
Pattern recognition wikipedia , lookup
Ethics of artificial intelligence wikipedia , lookup
Gene expression programming wikipedia , lookup
Hierarchical temporal memory wikipedia , lookup
Catastrophic interference wikipedia , lookup
Type-2 fuzzy sets and systems wikipedia , lookup
Genetic algorithm wikipedia , lookup
Fuzzy concept wikipedia , lookup
History of artificial intelligence wikipedia , lookup
ICAISC 2004 Seventh International Conference Artificial Intelligence and Soft Computing Zakopane, Poland, June 7-11, 2004 The Department of Computer Engineering at Czestochowa University of Technology The Polish Neural Network Society The Academy of Humanities and Economics in Łódź Preliminary Program (May 26, 2004) The International Neural Network Society The International Fuzzy Systems Association The European Society for Fuzzy Logic and Technology The IEEE Neural Network Society Schedule at a glance Monday, June 7 Tuesday, June 8 Wednesday, June 9 Thursday, June 10 Friday, June 11 08:00 - 09:00 08:00 - 09:00 08:00 - 09:00 Breakfast Breakfast Breakfast 9:00 - 10:40 9:00 - 10:30 Invited Speakers Invited Speakers Tadeusz Kaczorek Lotfi Zadeh Vera Kurkova Zdzisław Bubnicki 08:00 - 09:00 Breakfast 9:00 - 10:00 Poster session Corpus Christi (Catholic holiday) Various Applications Vincenzo Piuri Roman Kulikowski 10:10 - 12:40 Kurosh Madani 10:50 - 11:50 Invited Speakers 10:50 - 11:50 Poster session + Coffee break Jörg Siekmann Poster session + Coffee break Fuzzy Sys. and Their App. Soo-Young Lee Soft Comp. in Classif. Lunch James T. Kwok 12:00 - 13:00 12:00 - 13:00 Poster session 15:30 - 18:00 Poster session Image Processing Opening Ceremony Multiagent Systems Leszek Rutkowski Evolutionary Alg. and Their App. Lunch Jacek Żurada Lunch 14:30 - 16:00 Invited Speakers 14:30 - 16:10 Invited Speakers Ryszard Tadeusiewicz Invited Speakers Sarunas Raudys Piero P. Bonissone Evangelia Micheli-Tzanakou Roman Słowiński Enrique H. Ruspini Jerzy Grzymala-Busse Jerzy Seidler Włodzisław Duch 16:10 - 17:10 Ronald R. Yager Andrzej Cichocki Poster session + Coffee break 16:20 - 17:10 Rough Sets and Their App. Supper Poster session + Coffee break Medical Applications 19:30 - 21:00 Robotics 17:20 - 18:20 Poster session Control, Modelling and System Ident. Poster session Neural Networks & Welcome Party 17:20 - 19:10 Various Problems of A. I. Eduardo Bayro-Corrochano Lunch Lunch Social event Supper Oral Sessions Social event Social event Smoking is prohibited at all conference events. Your conference badge is your admission to all events and sessions. The importance of the papers is not related to the form of the presentation. Overhead and computer projectors will be available on all oral sessions. Posters should be prepared with the use of big fonts and figures and should not exceed 1m x 1,2m area (A0 or A1 paper size, portrait orientation). Please, do not use just copies of your papers (A4 size). Enlarged version (A3) can be accepted, but printed forms of computer presentations (PowerPoint etc.) or transparencies are preferred at the poster sessions. Monday, June 7 Monday, June 7, 15:30 - 18:00 Opening Ceremony Keynote Speakers The new concept in computer vision: automatic understanding of the images Ryszard Tadeusiewicz, AGH University of Science and Technology, Poland Evolutionary algorithms + domain knowledge = Real-world evolutionary computation Piero P. Bonissone, General Electric Global Research Center, USA Principles of Intelligent Information Systems Design Jerzy Seidler, Universität Salzburg, Austria Enhancing the IQ of the Internet with Fuzzy Logic Ronald R. Yager, Iona College, USA Monday, June 7, 19:30 – 21:00 Welcome Party & Poster session Neural Networks Dynamic High Order Neural Networks: Application for Fault Diagnosis Eugen Arinton, Józef Korbicz Momentum Modification of the RLS Algorithms Jarosław Bilski Parallel Realisation of QR Algorithm for Neural Networks Learning Jarosław Bilski, Sławomir Litwiński, Jacek Smoląg Rainfall-Runoff Modelling Using Three Neural Network Methods Kerem Cigizoglu, Murat Alp Probability Distribution of Solution Time in ANN Training Using Population Learning Algorithm Ireneusz Czarnowski, Piotr Jędrzejowicz Parallelization of the SOM-based Integrated Mapping Gintautas Dzemyda, Olga Kurasova Training Radial Basis Functions by Gradient Descent Mercedes Fernandez-Redondo, Carlos Hernandez-Espinosa, Mamen Ortiz-Gomez, Joaquin Torres-Sospedra Generalized Backpropagation Through Time for Continuous Time Neural Networks and Discrete Time Measurements Krzysztof Fujarewicz, Adam Gałuszka Experiments on Ensembles of Radial Basis Functions Carlos Hernandez-Espinosa, Mercedes Fernandez-Redondo, Joaquin Torres-Sospedra Orthodoxy Basis Functions and Convergence Property in Procedure Neural Networks Jia Jiong, Liang Jiu-zhen Confidence Estimation of GMDH Neural Networks Józef Korbicz, Mihai F. Metenidis, Marcin Mrugalski, Marcin Witczak On Some Factors Influencing MLP Error Surface Mirosław Kordos, Włodzisław Duch Discovery of Linguistic Rules by Means of RBF Network for Fault Detection in Electronic Circuits Jan Koszlaga, Paweł Strumiłło Combining Space-filling Curves and Radial Basis Function Networks Adam Krzyżak, Ewa Skubalska-Rafajłowicz Chaotic Itinerancy for Pattern Separation Paweł Matykiewicz Dynamic Search Trajectory Methods for Neural Network Training Yannis Petalas, Dimitris Tasoulis, Michael Vrahatis Visualizing and Analyzing Multidimensional Output from MLP Networks via Barycentric Projections Filip Piękniewski, Leszek Rybicki Optimization of Centers’ Positions for RBF Nets with Generalized Kernels Ewaryst Rafajłowicz, Mirosław Pawlak Fixed Non-Linear Combining Rules versus Adaptive Ones Sarunas Raudys, Zidrina Pabarskaite Learning and System Modeling via Hamiltonian Neural Networks Wiesław Sieńko, Wiesław Citko, Dariusz Jakóbczak Recurrent Network Structure for Computing Quasi-inverses of the Sierpiński Space Filling Curves Ewa Skubalska-Rafajłowicz Tuesday, June 8 Tuesday, June 8, 9:00 - 10:30 Keynote Speakers Neural networks for positive systems Tadeusz Kaczorek, Warsaw University of Technology, Poland Learning from data with generalization capability as an inverse problem Vera Kurkova, Academy of Sciences of the Czech Republic Evolutionary Design of Information Systems Architectures Vincenzo Piuri, University of Milan, Italy On ANN Based Solutions for Real-World Industrial Requirements Kurosh Madani, SENART Institute of Technology, France Tuesday, June 8, 10:50 - 11:50 Poster session Soft Computing in Classification Selection of the Linearly Separable Feature Subsets Leon Bobrowski, Tomasz Łukaszuk Short-Time Signal Analysis Using Pattern Recognition Methods Piotr Boguś, Katarzyna Lewandowska Application of Genetic Algorithms and Kohonen Networks to Cluster Analysis Marian B. Gorzałczany, Filip Rudziński Modified Kohonen Networks for Complex Cluster-Analysis Problems Marian B. Gorzałczany, Filip Rudziński Reducing the Computational Demands for Nearest Centroid Neighborhood Classifiers Szymon Grabowski SSV Criterion Based Discretization for Naive Bayes Classifiers Krzysztof Grąbczewski Comparison of Instance Selection Algorithms. II. Results and Comments Marek Grochowski, Norbert Jankowski SBL-PM-M: A System for Partial Memory Learning Karol Grudziński Relevance LVQ versus SVM Barbara Hammer, Marc Strickert, Thomas Villmann Comparison of Instances Selection Algorithms. I. Algorithms Survey Norbert Jankowski, Marek Grochowski Towards Grammatical Inferencing of GDPLL(k) Grammars for Applications in Syntactic Pattern Recognition-Based Expert Systems Janusz Jurek Intelligent Layer of Two-Way Voice Communication of the Technological Device with the Operator Wojciech Kacalak, Maciej Majewski A Neural Network Based Method for Classification of Meteorological Data Kamil Kamiński, Władysław Kamiński, Paweł Strumiłło An Empirical Test Suite for Message Authentication Evaluation in Communications based on Support Vector Machines Dimitrios Karras Efficient Digital Fingerprint Production and Evaluation for Secure Communication Systems based on Genetic Algorithms Dimitrios Karras On Chinese Web Page Classification Jiuzhen Liang A new fuzzy clustering method with constraints in time domain Jacek Łęski, Aleksander Owczarek Special Cluster Analysis and Basic Feature Estimation with a Modification of SelfOrganizing Map Janusz Morajda An Unsupervised Cluster Analysis and Information about the Modelling System Izabela Rejer Cursive-Character Script Recognition using Toeplitz Model and Neural Networks Khalid Saeed, Marek Tabedzki Learning with an embedded reject option Ramasubramanian Sundararajan, Asim Pal Tuesday, June 8, 12:00 - 13:00 Poster session - Multiagent Systems, Evolutionary Algorithms and Their Applications Multiagent Systems A Neural-Based Agent for IP Traffic Scanning and Worm Detection Andrzej Bielecki, Pawel Hajto Evolutionary Neural Networks in Collective Intelligent Predicting System Aleksander Byrski, Jerzy Bałamut Development of a Personalized Digital Library System based on the New Mobile multi Agent Platform Young Im Cho FOOD: An Agent-Oriented Data Flow Model Nicolas Juillerat, Beat Hirsbrunner Flock-Based Architecture for Distributed Evolutionary Algorithms Marek Kisiel-Dorohinicki Evolutionary Algorithms and Their Applications Multi-criterion Evolutionary Algorithm with Model of the Immune System to Handle Constraints for Task Assignments Jerzy Balicki Parallel Genetic Algorithm for Minimizing Total Weighted Completion Time Wojciech Bożejko, Mieczysław Wodecki Adaptive Evolutionary Computation - Application for Mixed Linear Programming Ewa Dudek-Dyduch, Dominik Jarczyk Adaptive Evolutionary Computation of the Parametric Optimization Problem Tadeusz Dyduch Concentration of Population in Phenotypic Evolution Iwona Karcz-Duleba An Evolutionary Clustering Algorithm Marcin Korzeń An Evolutionary Algorithm for Oblique Decision Tree Induction Marek Krętowski Propagation of Building Blocks in SGA and MPGA Grzegorz Kusztelak, Marek Rudnicki, Sławomir Wiak Selection Pressure and an Efficiency Of Neural Network Architecture Evolving Halina Kwaśnicka, Mariusz Paradowski Rule Extraction from Neural Network by Genetic Algorithm with Pareto Optimization Urszula Markowska-Kaczmar, Paweł Wnuk-Lipiński Graph Transformations in Evolutionary Design Piotr Nikodem, Barbara Strug Design and Optimization of Combinational Digital Circuits Using Modified Evolutionary Algorithm Adam Słowik, Michał Białko Modified Version of Roulette Selection for Evolution Algorithms – the Fan Selection Adam Słowik, Michał Białko New Genetic Crossover Operator for the TSP Sang-Moon Soak, Byung-Ha Ahn Tuesday, June 8 Tuesday, June 8, 14:30 - 16:00 Keynote Speakers Applications of Computational Intelligence Evangelia Micheli-Tzanakou, Rutgers University, USA Qualitative Description of Complex Objects and Relations: an Example of Perception-based Computing Enrique H. Ruspini, Artificial Intelligence Center, SRI International, USA Visualization of hidden node activity in neural networks Włodzisław Duch, Nicholaus Copernicus University, Poland Blind Signal Separation and Extraction: Recent Trends, Results and Applications Andrzej Cichocki, Brain Science Institute, RIKEN, Japan, and Jacek M. Zurada, University of Louisville, USA Tuesday, June 8, 16:10 - 17:10 Poster session Robotics Control, Modelling and System Identification Robotics Translation STRIPS Planning in Multi-Robot Environment to Linear Programming Adam Gałuszka, Andrzej Swierniak Fuzzy Combiner of Behaviors for Reactive Control of Wheeled Mobile Robot Zenon Hendzel Artificial Intelligence of the Decision Unit of a Mobile Robot Jan Kazimierczak Finding Location Using a Particle Filter and Histogram Matching Bogdan Kwolek Calculation of Model of the Robot by Neural Network with Robot Joint Distinction Jakub Możaryn, Jerzy E. Kurek Multi-Robot Coordination Based on Cooperative Game Krzysztof Skrzypczyk Model Based Predictive Robotic Manipulator Control with Sinusoidal Trajectory and Random Disturbances Hasan Temurtas, Fevzullah Temurtas, Nejat Yumusak Control, Modelling and System Identification Implementation of Two-Stage Hopfield Model and Its Application in Nonlinear Systems Ivan Nunes da Silva, Jose Alfredo Ulson, Andre Nunes de Souza Genetic Algorithm Based Fuzzy Sliding Mode Control: Application to Building Structures Kambiz Falsafian, Mahdi Jalili-Kharaajoo Influence of the Training Set Selection on the Performance of the Neural Network State Variables Estimators in the Induction Motor Jerzy Jelonkiewicz, Andrzej Przybył LMI-Based Design of Optimal Controllers for Takagi-Sugeno Fuzzy Systems Jooyoung Park, Yonmook Park, Kiho Kwak, Jung Hwa Hong Design of Multi Objective Genetic Algorithm Based Intelligent Controller for Multivariable Nonlinear Systems Farzan Rashidi, Mehran Rashidi Design of a Robust Sliding Mode Fuzzy Controller for Nonlinear HVAC Systems Farzan Rashidi, Behzad Moshiri Global Identification of Complex Systems with Cascade Structure Jerzy Świątek Tuesday, June 8, 17:20 - 19:10 Oral session Mechanical Applications Sequential and Distributed Evolutionary Computations in Structural Optimization Tadeusz Burczyński, Wacław Kus, Adam Długosz, Arkadiusz Poteralski, Mirosław Szczepanik Neural Analysis of Concrete Fatigue Durability by the Neuro-Fuzzy FWNN Magdalena Jakubek, Zenon Waszczyszyn Neural and Finite Element Analysis of a Plane Steel Frame Reliability by the Classical Monte Carlo Method Ewa Pabisek, Joanna Kaliszuk, Zenon Waszczyszyn The Solution of an Inverse Problem in Plates by Means of Artificial Neural Networks Grzegorz Piątkowski, Leonard Ziemiański Tuesday, June 8, 17:20 - 19:10 Oral session Various Problems of Artificial Intelligence and Soft Computing Evolutionary Negotiation Strategies In Emerging Electricity Markets Salem Al-Agtash Performance evaluation of multiagent personalized information system Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott Local Pattern-Based Interval Models Wojciech Cholewa Neural Computation of the Fundamental Matrix Boguslaw Cyganek Diagnosis of Melanoma Using IRIM, a Data Mining System Jerzy Grzymala-Busse, Jay Hamilton, Zdzisław Hippe Face Detection Using CMAC Neural Network Homa Fashandi, Mohammad Shahram Moin A Genetic Algorithm for Probabilistic SAT Problem Zoran Ognjanovic, Uros Midic, Jozef Kratica Quickprop Neural Network Short-term Forecasting Framework for a Database Intrusion Prediction System R. Subramanian, A. Kannan Wednesday, June 9 Wednesday, June 9, 9:00 - 10:30 Keynote Speakers Protoform Theory and its Basic Role in Deduction, Definition and Search Lotfi Zadeh, University of California, USA Uncertain Variables and Systems - New Problems and Results Zdzisław Bubnicki, Wrocław University of Technology, Poland Support of natural intelligence by artificial intelligence using utility as the behavioral goal Roman Kulikowski, Warsaw School of Information Technology, Poland Wednesday, June 9, 10:50 - 11:50 Poster session Fuzzy Systems and Their Applications Comparison of Reasoning Methods for Fuzzy Control Bohdan Butkiewicz Fuzzy Modelling with a Compromise Fuzzy Reasoning Krzysztof Cpałka, Leszek Rutkowski A Self Tuning Fuzzy Inference System for Noise Reduction Nevcihan Duru, Tarik Duru Fuzzy-Neural Networks in the Diagnosis of Motor-Car's Current Supply Circuit Stanisław Gad, Mariusz Łaskawski, Grzegorz Słoń, Alexander Yastrebov, Andrzej Zawadzki Fuzzy Number-based Hierarchical Fuzzy System Adam E. Gaweda, Rafal Scherer Stock Trend Prediction Using Neurofuzzy Predictors Based on Brain Emotional Learning Algorithm Mahdi Jalili-Kharaajoo Digital implementation of fuzzy Petri net based on asynchronous fuzzy RS flip-flop: Jacek Kluska, Zbigniew Hajduk Fuzzy Calculator - Useful Tool for Programming with Fuzzy Algebra Roman Koleśnik, Piotr Prokopowicz, Witold Kosiński On Defuzzycation of Ordered Fuzzy Numbers Witold Kosiński Information Criterions Applied to Neuro-Fuzzy Architectures Design Robert Nowicki, Agata Pokropińska On Hesitation Degrees in IF-Set Theory Anna Pankowska, Maciej Wygralak Fuzzy Cognitive Maps Learning Through Swarm Intelligence Elpiniki I. Papageorgiou, Konstantinos E. Parsopoulos, Petros P. Groumpos, Michael Vrahatis Application of the General Gaussian Membership Function for the Fuzzy Model Parameters Tunning Andrzej Pieczyński, Andrzej Obuchowicz Are Linguistic Evaluations Used by People of Possibilistic or Probabilistic Nature? Andrzej Piegat Fuzzy Linear Programming in Ship Trajectory Optimization in a Restricted Area Zbigniew Pietrzykowski Application of Fuzzy Weighted Feature Diagrams to Model Variability in Software Families Silva Robak, Andrzej Pieczynski Neuro-fuzzy Relational Classifiers Rafał Scherer, Leszek Rutkowski What Differs Interval Type-2 FLS from Type-1 FLS? Janusz Starczewski A Similarity Measure for Intuitionistic Fuzzy Sets and its Application in Supporting Medical Diagnostic Reasoning Eulalia Szmidt, Janusz Kacprzyk Wednesday, June 9, 12:00 - 13:00 Poster session Image Processing Impulsive Noise Suppression from Highly Corrupted Images by Using Resilient Neural Networks Erkan Besdok, Pnar Civicioglu , Mustafa Alci A New Methodology for Synthetic Aperture Radar (SAR) Raw Data Compression Based on Wavelet Transform and Neural Networks Giacomo Capizzi, Salvatore Coco, Antonio Laudani, Giuseppe Pappalardo Fuzzy Processing Technique for Content-Based Image Retrieval Ryszard S. Choraś Human Ear Identification Based on Image Analysis Michal Choraś Automatic Change Detection Based on Codelength Differences in Multi-Temporal and MultiSpectral Images Joselito J. Chua, Peter E. Tischer Estimating Face Direction via Facial Triangle Min Gyo Chung, Jisook Park, Jiyoun Dong An Image Compression Algorithm Based on Neural Networks Robert Cierniak Fuzzy Nonparametric Measures for Image Matching Bogusław Cyganek, Jan Borgosz A Biologically Inspired Active Stereo Vision System Using a Bottom-up Saliency Map Model Bum-Soo Jung, Sang-Bok Choi, Sang-Woo Ban, Minho Lee Problems Connected with Application of Neural Networks in Automatic Face Recognition Rafal Komański, Bohdan Macukow Czestochowa-faces and Biometrics of Asymmetrical Face Leonid Kompanets, Mariusz Kubanek, Szymon Rydzek Wafer Die Position Detection Using Hierarchical Gray Level Corner Detector Jae Hyung Na, Hae Seok Oh On Fuzzy Labelled Image Segmentation based on Perceptual Features Pilar Sobrevilla, Eduard Montseny Generalized Multi-layer Kohonen Network and Its Application to Texture Recognition A. Tomczyk, P. S. Szczepaniak, B. Lis Wednesday, June 9, 14:30 - 16:00 Keynote Speakers Adaptation and survival of neural networks based agents in chaotically changing world Sarunas Raudys , Institute of Mathematics and Informatics, Lithuania Rough set based multicriteria decision support Roman Słowiński, Poznan University of Technology, Poland Rough Set Approach to Incomplete Data Jerzy Grzymala-Busse, University of Kansas, USA Wednesday, June 9, 16:10 - 17:10 Poster session Rough Sets and Their Applications Medical Applications Rough Sets and Their Applications Hybridization of Blind Source Separation and Rough Sets for Proteomic Biomarker Identification Grzegorz Boratyn, Tomasz Smolinski, Jacek Zurada, Mariofanna Milanova, Sudeepa Bhattacharyya, Larry J. Suva Inducing jury's preferences in terms of acoustic features of violin sounds Jacek Jelonek, Ewa Łukasik, Aleksander Naganowski, Roman Slowiński Fuzzy Implication Operators in Variable Precision Fuzzy Rough Sets Model Alicja Mieszkowicz-Rolka, Leszek Rolka Fuzzyfication of Indiscernibility Relation for Structurizing Lists of Synonyms and Stop-Lists for Search Engines A. Niewiadomski, P. Kryger, P.S. Szczepaniak Rough Sets in the Neuro-Fuzzy Architectures Based on Monotonic Fuzzy Implications Robert Nowicki Rough Sets in the Neuro-Fuzzy Architectures Based on Non-monotonic Fuzzy Implications Robert Nowicki On L-Fuzzy Rough Sets Anna Maria Radzikowska, Etienne E. Kerre Application of Rough Sets Techniques to Induction Machine Broken Bar Detection Mohamad Reza Rafimanzelat, Babak Nadjar Araabi Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery Tomasz Smolinski, Darrel Chenoweth, Jacek Zurada Medical Applications Detection of Spiculated Masses in Mammograms based on Fuzzy Image Processing Aboul Ella Hassanien, Jafar M. Ali, Hajime Nobuhara Artificial Neural Networks in Identifying Areas with Homogeneous Survival Time Malgorzata Krętowska, Leon Bobrowski Multistage Diagnosis of Myocardial Infraction Using a Fuzzy Relation Marek Kurzyński Application of SVM to Ovarian Cancer Classification Problem Maciej Kusy ROC Analysis for Fetal Hypoxia Problem by Artificial Neural Networks Lale Ozyilmaz, Tulay Yildrim The Challenge of Soft Computing Techniques for Tumor Characterization Elpiniki Papageorgiou, Panagiota Spyridonos, Chrysostomos Stylios, Panagiota Ravazoula, George Nikiforidis, Petros Groumpos A Multi-Stage Classification Method in Application to Diagnosis of Larynx Cancer Danuta Rutkowska, Jacek K. Klimala Multi-Neural Network Approach for Classfiication of Brainstem Evoked Response Auditory Mariusz Rybnik, Saliou Diouf, Abdennasser Chebira, Veronique Amarger, Kurosh Madani The Study of Hierarchy Importance of Descriptive Attributes in Computer Assisted Classification of Melanocytic Skin Lesions Aleksander Sokołowski, Alicja Dereń Medical Knowledge Representation in Terms of IF-THEN Rules and the Dempster-Shafer Theory Ewa Straszecka On-line Neural Network Training for Automatic Ischemia Episode Detection Dimitris Tasoulis, Liviu Vladutu, Vassilis Plagianakos, Anastasios Bezerianos, Michael Vrahatis Wednesday, June 9, 17:20 - 18:20 Poster session Various Problems of Artificial Intelligence The New Concepts in Parallel Simulated Annealing Method Wojciech Bożejko, Mieczysław Wodecki Simulated Annealing with Restart to Job Shop Scheduling Problem Using Upper Bounds Marco Antonio Cruz Chavez, Juan Frausto Solis Requirements and Solutions for Web-Based Expert System Maciej Grzenda, Marcin Niemczak Information Structuring in Natural Language Communication: Syntax vs. Semantic Władysław Homenda Strategic Planning through Model Checking of ATL Formulae Wojciech Jamroga On a Special Class of Dempster-Shafer Theories Mieczysław Alojzy Kłopotek A Computer Based System Supporting Analysis of Cooperative Strategies Lech Kruś Application of Soft Computing Techniques to Rescue Operation Planning Jiri Kubalik, Jiri Klema, Miroslav Kulich Reduction of Tabular Systems Antoni Ligęza, Marcin Szpyrka Temporal Difference Approach to Playing Give-Away Checkers Jacek Mańdziuk, Daniel Osman Artificial Neural Networks for Solving Double Dummy Bridge Problems Krzysztof Mossakowski, Jacek Mańdziuk On Application of Ant Algorithms to Non-Bifurcated Multicommodity Flow Problem Krzysztof Walkowiak A Parallel Clustering Algorithm for Categorical Data Set Yong-Xian Wang, Zheng-Hua Wang, Xiao-Mei Li Intensive Versus Non-intensive Actor-critic Reinforcement Learning Algorithms Paweł Wawrzyński, Andrzej Pacut Virtual modeling and Optimal Design of Intelligent Micro-Accelerometers Slawomir Wiak, Andrzej Cader, Paweł Drzymała, Henryk Welfle Social Event Thursday, June 10 Corpus Christi Social Event Friday, June 11 Friday, June 11, 9:00 - 10:00 Poster session Various Applications Evolutionary Algorithm for Scheduling of CHP Plant with Urban Heat Distribution Network Krzysztof Dziedzicki, Andrzej Augusiak, Roman Śmierzchalski Semi-mechanistic Models for State-estimation - Soft Sensor for Polymer Melt Index Prediction Balazs Feil, Janos Abonyi, Peter Pach, Sandor Nemeth, Peter Arva, Miklos Nemeth, Gabor Nagy Neural Approach to Time-Frequency Signal Decomposition Dariusz Grabowski, Janusz Walczak ANN Based Modelling and Correction in Dynamic Temperature Measurements Lidia Jackowska-Strumiłło One Day Prediction of NIKKEI Index Considering Information from Other Stock Markets Marcin Jaruszewicz, Jacek Mańdziuk Application of Neural Network Topologies in the Intelligent Heat Use Prediction System Leszek Kiełtyka, Robert Kucęba, Adam Sokołowski Genetic Algorithm for Database Indexing Marcin Korytkowski, Marcin Gabryel, Robert Nowicki, Rafał Scherer Application of Neural Networks and Two Representations of Color Components for Recognition of Wheat Grains Infected by Fusarium Culmorum Fungi Aleksander Kubiak, Zbigniew Mikrut Hybrid Neural Model of the Sea Bottom Surface Jacek Łubczonek Fuzzy Economic Analysis of Simulated Discrete Transport System Jacek Mazurkiewicz, Tomasz Walkowiak A Survey on US Economic Sanction Effects on Iranian High Tech Industries: Fuzzy Logic Approach Mohammad R. Mehregan, Hossein Safari, Parviz Naseri, Farshid Hosseini, Kumars Shari Modeling of Optoelectronic Devices Through Neuro-Fuzzy Architectures Antonio Vanderlei Ortega, Ivan Nunes da Silva Filtering of thermomagnetic data curve using artificial neural network and wavelet analysis Łukasz Rauch, Jolanta Talar, Tomas Żak, Jan Kusiak Neural Network Based Simulation of the Sieve Plate Absorption Column in Nitric Acid Industry Edward Rój, Marcin Wilk Artificial Neural Networks for Comparative Navigation Andrzej Stateczny Predicting Womens Apparel Sales by Soft Computing Les M. Sztandera, Celia Frank, Balaji Vemulapalli Model Improvement by the Statistical Decomposition Ryszard Szupiluk, Piotr Wojewnik, Tomasz Ząbkowski Friday, June 11, 10:10 - 12:40 Keynote Speakers ACTIVE.MATH: A Teaching Environment for Mathematics Jörg Siekmann (DMAS), The German Research Center for Artificial Intelligence GmbH, Germany Top-Down Selective Attention for Robust Perception of Noisy and Confusing Patterns Soo-Young Lee, Brain Science Research Center and Department of BioSystems, Korea Advanced Institute of Science and Technology, Republic of Korea Kernel Learning of Good Distance Metrics for Supervised Learning James T. Kwok, Hong Kong University of Science and Technology Geometric Neurocomputing using Clifford Geometric Algebra for visual and robotic learning Eduardo Bayro-Corrochano, CINVESTAV, Computer Science Department, GEOVIS Laboratory, Guadalajara, Mexico