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. 1-15
  
• Andraz Bezek, Matjaz Gams:
  Comparing a Traditional and a Multi-Agent Load-Balancing System. 17-42
  
• Mokhtar Sellami, Labiba Souici-Meslati:
  Perceptual Recognition of Arabic Literal Amounts. 43-59
  
• Ján Kollár, Jaroslav Porubän, Peter Václavík:
  From Eager PFL to Lazy Haskell. 61-80
  
• Tomás Brázdil, Ivana Cerná:
  Model Checking of RegCTL. 81-97
  

Volume 25, Number 2-3, 2006

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

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. 253-271
  
• Iftikhar Ahmed, Mohammad Jafar Sadiq:
  An Algorithmic Evaluation of Information Search in a Mobile Agent-Based Demand-Oriented Information Service System. 273-290
  
• Xiaosong Zheng, Petri Pulli:
  User-focused Reference Modelling for 3G and Beyond Mobile and Wireless Applications. 291-304
  
• Rafal Drezewski:
  Co-Evolutionary Multi-Agent System with Speciation and Resource Sharing Mechanisms. 305-331
  
• Ján Kollár, Viliam Geffert:
  Linear-Time In-Place Selection with epsilon.n Element Moves. 333-350
  

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. 353-368
  
• Filip Orság:
  Speaker Recognition in the Biometric Security Systems. 369-391
  
• Eduard Toman, Martin Stanek:
  Analysis of Greedy Algorithm for Vertex Covering of Random Graph by Cubes. 393-404
  
• Baltazár Frankovic, Ivana Budinska, Thanh-Tung Dang, Ben Flood, Con Sheahan, Bao-Lam Dang:
  Using Heuristic Search for Solving Single Machine Batch Processing Problems. 405-420
  
• Ladislav Hluchý, Michal Laclavik, Zoltan Balogh, Marian Babik:
  AgentOWL: Semantic Knowledge Model and Agent Architecture. 421-439
  
• Josef Strnadel:
  Testability Analysis and Improvements of Register-Transfer Level Digital Circuits. 441-464
  

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. 469-496
  
• Patrick Brézillon, Flávia Maria Santoro:
  The Role of Shared Context in Group Storytelling. 497-522
  
• Pedro Antunes, João Ramires, Ana Respício:
  Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation. 523-546
  
• Naiana Carminatti, Marcos R. S. Borges, José Orlando Gomes:
  Analyzing Approaches to Collective Knowledge Recall. 547-570
  
• Joan Manuel Marquès, Leandro Navarro:
  LaCOLLA: A Middleware to Support Self-sufficient Collaborative Groups. 571-595
  

Last update Tue Feb 14 04:14:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page