This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.;The 50 revised papers pres...
详细信息
ISBN:
(数字)9783540455752
ISBN:
(纸本)9783540430759
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.;The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.
This book collects high-quality research papers presented at the International conference on computing Applications in Electrical & Electronics Engineering, held at Rajkiya Engineering College, Sonbhadra, India, o...
详细信息
ISBN:
(数字)9789811523694
ISBN:
(纸本)9789811523687;9789811523717
This book collects high-quality research papers presented at the International conference on computing Applications in Electrical & Electronics Engineering, held at Rajkiya Engineering College, Sonbhadra, India, on August 30–31, 2019. It provides novel contributions in computational intelligence, together with valuable reference material for future research. The topics covered include: big data analytics, IoT and smart infrastructures, machine learning, artificial intelligence and deep learning, crowd sourcing and social intelligence, natural language processing, business intelligence, high-performance computing, wireless, mobile and green communications, ad-hoc, sensor and mesh networks, SDN and network virtualization, cognitive systems, swarm intelligence, human–computer interaction, network and information security, intelligent control, soft computing, networked control systems, renewable energy sources and technologies, biomedical signal processing, pattern recognition and object tracking, and sensor devices and applications.
Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital r...
详细信息
ISBN:
(数字)9783540448600
ISBN:
(纸本)9783540401940
Some of the most challenging problems in science and engineering are being addressed by the integration of computation and science, a research ?eld known as computational science. Computational science plays a vital role in fundamental advances in biology, physics, chemistry, astronomy, and a host of other disciplines. This is through the coordination of computation, data management, access to instrumentation, knowledge synthesis, and the use of new devices. It has an impact on researchers and practitioners in the sciences and beyond. The sheer size of many challenges in computational science dictates the use of supercomputing, parallel and distri- ted processing, grid-based processing, advanced visualization and sophisticated algorithms. At the dawn of the 21st century the series of International conferences on Computational Science (ICCS) was initiated with a ?rst meeting in May 2001 in San Francisco. The success of that meeting motivated the organization of the - cond meeting held in Amsterdam April 21–24, 2002, where over 500 participants pushed the research ?eld further. The International conference on Computational Science 2003 (ICCS 2003) is the follow-up to these earlier conferences. ICCS 2003 is unique, in that it was a single event held at two di?erent sites almost opposite each other on the globe – Melbourne, Australia and St. Petersburg, Russian Federation. The conference ran on the same dates at both locations and all the presented work was published in a single set of proceedings, which you hold in your hands right now.
This book constitutes the proceedings of the 18th International conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented to...
详细信息
ISBN:
(数字)9783319096988
ISBN:
(纸本)9783319096971
This book constitutes the proceedings of the 18th International conference on Developments in Language Theory, DLT 2014, held in Ekaterinburg, Russia, in August 2014. The 22 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions. The papers are organized in topical subjects on Grammars, Acceptors and Transducers for Words, Trees and Graphs, Algebraic Theories of Automata, Algorithmic, Combinatorial and Algebraic Properties of Words and Languages, variable Length Codes, Symbolic Dynamics, Cellular Automata, Polyominoes and Multidimensional Patterns, Decidability Questions, Image Manipulation and Compression, Efficient Text algorithms, Relationships to Cryptography, Concurrency, Complexity Theory and Logic, Bio-Inspired computing and Quantum computing.
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012. The 118 papers published ...
详细信息
ISBN:
(数字)9783642289422
ISBN:
(纸本)9783642289415
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012.
The 118 papers published in these proceedings were carefully reviewed and selected from 293 submissions. They are organized in topical sessions on agents and multi agents systems, HAIS applications, cluster analysis, data mining and knowledge discovery, evolutionary computation, learning algorithms, systems, man, and cybernetics by HAIS workshop, methods of classifier fusion, HAIS for computer security (HAISFCS), data mining: data preparation and analysis, hybrid artificial intelligence systems in management of production systems, hybrid artificial intelligent systems for ordinal regression, hybrid metaheuristics for combinatorial optimization and modelling complex systems, hybrid computational intelligence and lattice computing for image and signal processing and nonstationary models of pattern recognition and classifier combinations.
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012. The 118 papers published ...
详细信息
ISBN:
(数字)9783642289316
ISBN:
(纸本)9783642289309
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012.
The 118 papers published in these proceedings were carefully reviewed and selected from 293 submissions. They are organized in topical sessions on agents and multi agents systems, HAIS applications, cluster analysis, data mining and knowledge discovery, evolutionary computation, learning algorithms, systems, man, and cybernetics by HAIS workshop, methods of classifier fusion, HAIS for computer security (HAISFCS), data mining: data preparation and analysis, hybrid artificial intelligence systems in management of production systems, hybrid artificial intelligent systems for ordinal regression, hybrid metaheuristics for combinatorial optimization and modelling complex systems, hybrid computational intelligence and lattice computing for image and signal processing and nonstationary models of pattern recognition and classifier combinations.
This book constitutes the refereed proceedings of the 14th International conference on Industrial and Engineering Applications of Artificial Intelligence and Export Systems, IEA/AIE 2001, held in Budapest, Hungary in ...
详细信息
ISBN:
(数字)9783540455172
ISBN:
(纸本)9783540422198
This book constitutes the refereed proceedings of the 14th International conference on Industrial and Engineering Applications of Artificial Intelligence and Export Systems, IEA/AIE 2001, held in Budapest, Hungary in June 2001. The 104 papers presented were carefully reviewed and selected from a total of 140 submissions. The proceedings offer topical sections on searching, knowledge representation, model-based reasoning, machine learning, data mining, soft computing, evolutionary algorithms, distributed problem solving, export systems, pattern and speech recognition, vision language processing, planning and scheduling, robotics, autonomous agents, design, control, manufacturing systems, finance and business, software engineering, and intelligent tutoring.
暂无评论