![Special Issue on Selected Papers from the 18th Annual IEEE International Conference [on Tools with Artificial Intelligence], ICTAI-2006 PDF](https://books.google.com/books/content/images/frontcover/IHylPgAACAAJ?fife=w150-h200)
Author: Chang-Tien LuPublisher:
ISBN:
Category :
Languages : en
Pages : 245
Book Description
Special Issue on Selected Papers from the 18th Annual IEEE International Conference [on Tools with Artificial Intelligence], ICTAI-2006
![Special Issue on Selected Papers from the 18th Annual IEEE International Conference [on Tools with Artificial Intelligence], ICTAI-2006 PDF](https://books.google.com/books/content/images/frontcover/IHylPgAACAAJ?fife=w80-h100)
Author: Chang-Tien LuSoftware Language Engineering
Author: Krzysztof CzarneckiPublisher: Springer
ISBN: 3642360890
Category : Computers
Languages : en
Pages : 424
Book Description
This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.
Proceedings AAAI ... National Conference on Artificial Intelligence
Author: Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 644
Book Description
Special Issue on Selected Papers from the 13th International FLAIRS Conference (FLAIRS-2000)
Author: Florida AI Research SocietyPublisher:
ISBN:
Category :
Languages : en
Pages : 301
Book Description
Special Issue: Selected Papers from the Sixteenth Annual International Symposium on Algorithm and Computation (ISAAC)
Author: Li ZhangProceedings of the Twenty-third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference
Author: American Association for Artificial IntelligencePublisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 652
Book Description
Selected Papers from the 30th International Conference on Computers & Industrial Engineering
Author: International Conference on Computers and Industrial EngineeringPublisher:
ISBN:
Category :
Languages : en
Pages : 166
Book Description
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
Author: Alexander Nadel Publisher: TU Wien Academic Press
ISBN: 3854480601
Category : Computers
Languages : en
Pages : 332
Book Description
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Special Issue: Selected Papers from the 5th International Joint Conference on Automated Reasoning
Author: Jürgen GieslEternal Systems
Author: Alessandro MoschittiPublisher: Springer
ISBN: 3642280331
Category : Computers
Languages : en
Pages : 133
Book Description
This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems, networked systems and secure systems, by focusing on their shared objectives such as adaptation, evolvability and flexibility for the development of long living and versatile systems. The 6 revised full papers and 4 short papers presented were carefully reviewed and selected from 15 submissions. They are organized in topical sections on software and secure systems, machine learning for software systems, and ontology and knowledge representations.