default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Artificial Intelligence Tools, Volume 15
Volume 15, Number 1, February 2006
- Stephan Schulz, Geoff Sutcliffe
, Tanel Tammet:
Preface. 1-2 - Larry Wos:
Milestones for Automated Reasoning with Otter. 3-20 - Peter Baumgartner, Alexander Fuchs, Cesare Tinelli:
Implementing the Model Evolution Calculus. 21-52 - Bernd Löchner:
Things to Know When Implementing Lpo. 53-80 - Ewen Denney, Bernd Fischer, Johann Schumann:
An Empirical Evaluation of Automated Theorem Provers in Software Certification. 81-108 - Josef Urban:
Momm - Fast Interreduction and Retrieval in Large Libraries of Formalized Mathematics. 109-130
Volume 15, Number 2, April 2006
- Ting-Ya Hsieh, Morris H. L. Wang, Cheng-Wu Chen, Chen-Yuan Chen, Shang-En Yu, Hsien-Chueh Yang, Tsung-Hao Chen:
A New Viewpoint of S-curve Regression Model and its Application to Construction Management. 131-142 - Georgios Lappas, R. J. Frank, Andreas Alexander Albrecht:
A Computational Study on Circuit Size versus Circuit Depth. 143-162 - Cheng-Wu Chen, Wei-Ling Chiang, Chung-Hung Tsai, Chen-Yuan Chen, Morris H. L. Wang:
Fuzzy Lyapunov Method for Stability Conditions of Nonlinear Systems. 163-172 - Christian Gagné, Marc Parizeau:
Genericity in Evolutionary Computation Software Tools: Principles and Case-study. 173-194 - Michael J. Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons:
Model Checking for Multiagent Systems: the Mable Language and its Applications. 195-226 - Stergios Papadimitriou, Seferina Mavroudi, Spiridon D. Likothanassis:
Mutual Information Clustering for Efficient Mining of Fuzzy Association Rules with Application to Gene Expression Data Analysis. 227-250 - Virgil Andronache, Matthias Scheutz:
Ade - an Architecture Development Environment for Virtual and Robotic Agents. 251-286 - Athanasios Tsakonas, Theodora Tsiligianni, Georgios Dounias:
Evolutionary Neural Logic Networks in Splice-junction Gene Sequences Classification. 287-308 - Ka-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai:
Modular Structures and Robustness of Protein Networks. 309-322 - Veera Boonjing, Cheng Hsu:
A New Feasible Natural Language Database Query Method. 323-330
Volume 15, Number 3, June 2006
- George D. Magoulas, Georgios Dounias, Derek A. Linkens:
Preface. 331-334 - Ilias N. Flaounas, Dimitrios K. Iakovidis, Dimitrios E. Maroulis:
Cascading SVMS as a Tool for Medical Diagnosis Using Multi-class Gene Expression Data. 335-352 - Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal:
Learning Gene Network Using Time-delayed Bayesian Network. 353-370 - Vasileios L. Georgiou, Nicos G. Pavlidis, Konstantinos E. Parsopoulos, Philipos D. Alevizos, Michael N. Vrahatis:
New Self-adaptive Probabilistic Neural Networks in Bioinformatic and Medical Tasks. 371-396 - Mannes Poel, Taco Ekkel:
Analyzing Infant Cries Using a Committee of Neural Networks in Order to Detect Hypoxia Related Disorder. 397-410 - George K. Georgoulas, Chrysostomos D. Stylios, Peter P. Groumpos:
Feature Extraction and Classification of Fetal Heart Rate Using Wavelet Analysis and Support Vector Machines. 411-432 - Amol Dattatraya Mali, Minh Tang:
State-space Planning with Variants of A*. 433-464 - Enhong Chen, Shu Wang, Phillip C.-Y. Sheu:
A Novel Approach of Table Detection and Analysis for Semantic Annotation. 465-480 - Yunsong Guo, Andrew Lim, Brian Rodrigues, Jiqing Tang:
Using a Lagrangian Heuristic for a Combinatorial Auction Problem. 481-489
Volume 15, Number 4, August 2006
- Bill Z. Manaris, Penousal Machado:
Preface. 491-494 - Søren Tjagvad Madsen, Gerhard Widmer:
Exploring Pianist Performance Styles with Evolutionary String Matching. 495-514 - Hugo Liu, Pattie Maes:
Rendering Aesthetic Impressions of Text in Color Space. 515-550 - John P. Collomosse, Peter M. Hall:
Salience-adaptive Painterly Rendering Using Genetic Search. 551-576 - Gary Greenfield:
Genetic Learning for Biologically Inspired Aesthetic Processes. 577-598 - James Mandelis, Phil Husbands:
Genophone: Evolving Sounds and Integral Performance Parameter Mappings. 599-622 - Judy A. Franklin:
Jazz Melody Generation Using Recurrent Networks and Reinforcement Learning. 623-650 - Evelyne Lutton:
Evolution of Fractal Shapes for Artists and Designers. 651-672 - Rafael Ramírez, Amaury Hazan:
A Tool for Generating and Explaining Expressive Music Performances of Monophonic Jazz Melodies. 673-691
Volume 15, Number 5, October 2006
- Preface. 693-694
- Daniele Masotti, Elisa Ficarra, Enrico Macii, Luca Benini:
Optimized Technique for Dna Structural Properties Discovering. 695-710 - Reiichiro Nakamichi, Seiya Imoto, Satoru Miyano:
Statistical Model Selection Method to Analyze Combinatorial Effects of Snps and Environmental Factors for Binary Disease. 711-724 - Eunice E. Santos, Eugene Santos Jr.:
Effective Computational Reuse for Energy Evaluations in Protein Folding. 725-740 - Wieslaw Lucjan Nowinski:
Virtual Reality in Brain Intervention. 741-752 - Rong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai:
Predicting Cancerous Genes Based on Regulation Truth Tables. 753-766 - Phanni Penumatsa, Matthew Ventura, Arthur C. Graesser, Max M. Louwerse, Xiangen Hu, Zhiqiang Cai, Donald R. Franceschetti:
The Right Threshold Value: What Is the Right Threshold of Cosine Measure When Using Latent Semantic Analysis for Evaluating Student Answers? 767-778 - Amol Dattatraya Mali, Ying Liu:
T-satplan: a Sat-based Temporal Planner. 779-802 - Ping Yan, Mingyue Ding, Changwen Zheng:
Mission-adaptable Route Planning in Uncertain and Adversarial Environment. 803-822 - Efstathios Stamatatos:
Authorship Attribution Based on Feature Set Subspacing Ensembles. 823-838 - Olcay Kursun, Anna Koufakou, Abhijit Wakchaure, Michael Georgiopoulos, Kenneth M. Reynolds, Ronald Eaglin:
Answer: approximate Name Search with Errors in Large Databases by a Novel Approach Based on Prefix-dictionary. 839-848 - Juan Jose García Adeva, Juan Manuel Pikatza:
Web Misuse Detection through Text Categorisation of Application Server Logs. 849-854 - Ju Jiang, Mohamed S. Kamel, Lei Chen:
Aggregation of Multiple Reinforcement Learning Algorithms. 855-861
Volume 15, Number 6, December 2006
- Preface. 863-866
- Lawrence B. Holder, Zdravko Markov, Ingrid Russell:
Advances in Knowledge Acquisition and Representation. 867-874 - Gaurav Tandon, Philip K. Chan:
On the Learning of System Call Attributes for Host-based Anomaly Detection. 875-892 - Jiang Li, Jianhua Yao, Ronald M. Summers, Nicholas Petrick, Michael T. Manry, Amy K. Hara:
An Efficient Feature Selection Algorithm for Computer-aided Polyp Detection. 893-916 - Jeffrey Coble, Diane J. Cook, Lawrence B. Holder:
Structure Discovery in Sequentially-connected Data Streams. 917-944 - John O'Donovan, Barry Smyth:
Mining Trust Values from Recommendation Errors. 945-962 - Ziad Kobti, Robert G. Reynolds, Timothy A. Kohler:
The Emergence of Social Network Hierarchy Using Cultural Algorithms. 963-978 - Daniel Pless, Chayan Chakrabarti, Roshan Rammohan, George F. Luger:
The Design and Testing of a First-order Logic-based Stochastic Modeling Language. 979-1006 - Ismaïl Biskri, Jean-Pierre Desclés, Boucif Amar Bensaber:
Coordination and Applicative Categorial Type Logic. 1007-1020 - Max M. Louwerse, Zhiqiang Cai, Xiangen Hu, Matthew Ventura, Patrick Jeuniaux:
Cognitively Inspired Nlp-based Knowledge Representations: Further Explorations of Latent Semantic Analysis. 1021-1040 - Jean-Pierre Desclés, Anca Pascu:
Logic of Determination of Objects: the Meaning of Variable in Quantification. 1041-1052 - Geoff Sutcliffe:
Semantic Derivation Verification: Techniques and Implementation. 1053-1070 - Alfred Ka Yiu Wong, Nandan Paramesh, Pradeep Ray:
Towards an Ontology Mapping Approach for Security Management. 1071-1090 - Markus Nilsson:
Retrieving Heart Rate Sequences. 1091-1106
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
