2006 · Vol. 25

5 issues

No. 1

5 articles · pp. 1–97 →

Improving the Generalization Ability of RBNN Using a Selective Strategy Based on the Gaussian Kernel Function José M. Valls, Inés M. Galván, Pedro Isasi pp. 1–15 Comparing a Traditional and a Multi-Agent Load-Balancing System Andraz Bezek, Matjaz Gams pp. 17–42 Perceptual Recognition of Arabic Literal Amounts Labiba Souici-Meslati, Mokhtar Sellami pp. 43–59 From Eager PFL Ján Kollár, Jaroslav Porubän, Peter Václavík pp. 61–80 Model Checking of RegCTL Tomáš Brázdil, Ivana Černá pp. 81–97

No. 2-3

6 articles · pp. 105–249 →

Explanations and Proof Trees Gérard Ferrand, Willy Lesaint, Alexandre Tessier pp. 105–125 A Logical Framework for Identifying and Explaining Unexpected News Emma Byrne pp. 127–152 Symbolic Explanation of Similarities in Case-based Reasoning Eva Armengol, Enric Plaza pp. 153–171 KLEOR: A Knowledge Lite Approach to Explanation Oriented Retrieval Lisa Cummins, Derek Bridge pp. 173–193 Explanations for a Decision Support System based on MCDA Micheline Bélanger, Jean-Marc Martel pp. 195–221 An Explanation Oriented Dialogue Approach and Its Application to Wicked Planning Problems Gengshen Du, Michael M. Richter, Guenther Ruhe pp. 223–249

No. 4

5 articles · pp. 253–350 →

High Performance Air Quality Simulation in the European CrossGrid Project J. Carlos Mouriño, María J. Martín, Patricia González et al. pp. 253–271 An Algorithmic Evaluation of Information Search in a Mobile Agent-Based Demand-Oriented Information Service System Iftikhar Ahmed, Muhammad Jafar Sadiq pp. 273–290 User-focused Reference Modelling for 3G and Beyond Mobile and Wireless Applications Xiaosong Zheng, Petri Pulli pp. 291–304 Co-Evolutionary Multi-Agent System with Speciation and Resource Sharing Mechanisms Rafał Dreżewski pp. 305–331 Linear-Time In-Place Selection with ε.N Element Moves Viliam Geffert, Ján Kollár pp. 333–350

No. 5

6 articles · pp. 353–464 →

Formal Verification of Security Model Using SPR Tool Il-Gon Kim, Miyoung Kang, Jin-Young Choi et al. pp. 353–368 Speaker Recognition in the Biometric Security Systems Filip Orság pp. 369–391 Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes Eduard Toman, Martin Stanek pp. 393–404 Using Heuristic Search for Solving Single Machine Batch Processing Problems Thanh-Tung Dang, Baltazár Frankovič, Ivana Budinská et al. pp. 405–420 AgentOWL: Semantic Knowledge Model and Agent Architecture Michal Laclavík, Zoltán Balogh, Marian Babík et al. pp. 421–439 Testability Analysis and Improvements of Register-Transfer Level Digital Circuits Josef Strnadel pp. 441–464

No. 6

5 articles · pp. 469–595 →

Analysis and Design of Mobile Collaborative Applications Using Contextual Elements Rosa Alarcón, Luis A. Guerrero, Sergio F. Ochoa et al. pp. 469–496 The Role of Shared Context in Group Storytelling Flávia Maria Santoro, Patrick Brézillon pp. 497–522 Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation Pedro Antunes, João Ramires, Ana Respício pp. 523–546 Analyzing Approaches to Collective Knowledge Recall Naiana Carminatti, Marcos R. S. Borges, José O. Gomes pp. 547–570 LaCOLLA: A Middleware to Support Self-sufficient Collaborative Groups Joan Manuel Marquès, Leandro Navarro pp. 571–595