Computers and Artificial Intelligence, Vol. 25, 2006

Volume 25, Number 1, 2006

• José María Valls, Inés María Galván, Pedro Isasi Viñuela: Improving the Generalization Ability of RBNN Using a Selective Strategy Based on the Gaussian Kernel Function. BibTeX
• Andraz Bezek, Matjaz Gams: Comparing a Traditional and a Multi-Agent Load-Balancing System. BibTeX
• Labiba Souici-Meslati, Mokhtar Sellami: Perceptual Recognition of Arabic Literal Amounts. BibTeX
• Ján Kollár, Jaroslav Porubän, Peter Václavík: From Eager PFL to Lazy Haskell. BibTeX
• Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL. BibTeX

Volume 25, Number 2-3, 2006

• Gérard Ferrand, Willy Lesaint, Alexandre Tessier: Explanations and Proof Trees. BibTeX
• Emma Byrne: A Logical Framework for Identifying and Explaining Unexpected News. BibTeX
• Eva Armengol, Enric Plaza: Symbolic Explanation of Similarities in Case-based Reasoning. BibTeX
• Lisa Cummins, Derek G. Bridge: KLEOR: A Knowledge Lite Approach to Explanation Oriented Retrieval. BibTeX
• Micheline Bélanger, Jean-Marc Martel: Explanations for a Decision Support System Based on MCDA. BibTeX
• Gengshen Du, Michael M. Richter, Günther Ruhe: An Explanation Oriented Dialogue Approach and Its Application to Wicked Planning Problems. BibTeX

Volume 25, Number 4, 2006

• José Carlos Mouriño, María J. Martín, Patricia González, Ramon Doallo: High Performance Air Quality Simulation in the European CrossGrid Project. BibTeX
• Xiaosong Zheng, Petri Pulli: User-focused Reference Modelling for 3G and Beyond Mobile and Wireless Applications. BibTeX
• Viliam Geffert, Ján Kollár: Linear-Time In-Place Selection with epsilon.n Element Moves. BibTeX
• Iftikhar Ahmed, Jafar Sadiq: An Algorithmic Evaluation of Information Search in a Mobile Agent-Based Demand-Oriented Information Service System. BibTeX
• Rafal Drezewski: Co-Evolutionary Multi-Agent System with Speciation and Resource Sharing Mechanisms. BibTeX

Volume 25, Number 5, 2006

• Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang: Formal Verification of Security Model Using SPR Tool. BibTeX
• Filip Orság: Speaker Recognition in the Biometric Security Systems. BibTeX
• T. T. Dang, Baltazár Frankovic, Ivana Budinska, Ben Flood, Con Sheahan, Bao-Lam Dang: Using Heuristic Search for Solving Single Machine Batch Processing Problems. BibTeX
• Josef Strnadel: Testability Analysis and Improvements of Register-Transfer Level Digital Circuits. BibTeX
• Eduard Toman, Martin Stanek: Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes. BibTeX
• Michal Laclavik, Zoltan Balogh, Marian Babik, Ladislav Hluchý: AgentOWL: Semantic Knowledge Model and Agent Architecture. BibTeX

Volume 25, Number 6, 2006

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