this book constitutes the refereed post-conference proceedings of the 6thinternationalconference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2022, held in May 2022. Due to COVI...
详细信息
ISBN:
(数字)9783031151019
ISBN:
(纸本)9783031151002
this book constitutes the refereed post-conference proceedings of the 6thinternationalconference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2022, held in May 2022. Due to COVID-19 pandemic the conference was held virtually.
this book constitutes the refereed proceedings of the 6thinternational60;Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, the Netherlands, in June 2017.;the 10 full papers and 3 short papers pres...
详细信息
ISBN:
(数字)9783319587356
ISBN:
(纸本)9783319587349
this book constitutes the refereed proceedings of the 6thinternational Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, the Netherlands, in June 2017.;the 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions. According to the theme of the conference "that was business, this is personal" the papers address the personal involvement and engagement of end-users, the application of end-user programming beyond the professional environment looking also at discretionary use of technologies. they also deal with topics covered by the broader area of end-user development such as domain specific tools, spreadsheets, and end user aspects.
this book constitutes the refereed proceedings of the 18thinternationalconference on Computer-Aided Systems theory, 60;EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022.60;...
详细信息
ISBN:
(数字)9783031253126
ISBN:
(纸本)9783031253119
this book constitutes the refereed proceedings of the 18thinternationalconference on Computer-Aided Systems theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022. the 77 full papers included in this book were carefully reviewed and selected from 110 submissions.;they were organized in topical sections as follows: Systems theory and Applications, theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems thinking. Relevance for Technology, science and Management Professionals.
this volume constitutes the thoroughly refereed post-conference proceedings of the 6thinternationalconference on Verified Software: theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer...
详细信息
ISBN:
(数字)9783319121543
ISBN:
(纸本)9783319121536
this volume constitutes the thoroughly refereed post-conference proceedings of the 6thinternationalconference on Verified Software: theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the internationalconference on Computer-Aided Verification. the 17 revised full papers presented were carefully revised and selected from 34 submissions. the papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
the internationalconference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, im...
详细信息
ISBN:
(数字)9783642149221
ISBN:
(纸本)9783642149214
the internationalconference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology. It aims to bring together researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the m- tifaceted aspects of intelligent computing. ICIC 2010, held in Changsha, China, August 18-21, 2010, constituted the 6th - ternational conference on Intelligent Computing. It built upon the success of ICIC 2009, ICIC 2008, ICIC 2007, ICIC 2006, and ICIC 2005 that were held in Ulsan, Korea, Shanghai, Qingdao, Kunming and Hefei, China, respectively. this year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
this year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the new...
详细信息
ISBN:
(数字)9783540478492
ISBN:
(纸本)9783540666943
this year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged internationalconference. For all the changes, however, it has kept its generalist and mul- ***,rangingfromTrendsintheory to Software and Information engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. therichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.
this is the joint post-proceedings of the 6thinternational Symposium on High Performance Computing (ISHPC-VI) and the First international Workshop on Advanced Low Power Systems 2006 (ALPS2006). the post-proceedings a...
详细信息
ISBN:
(数字)9783540777045
ISBN:
(纸本)9783540777038
this is the joint post-proceedings of the 6thinternational Symposium on High Performance Computing (ISHPC-VI) and the First international Workshop on Advanced Low Power Systems 2006 (ALPS2006). the post-proceedings also contain the papers presented at the Second HPF international Workshop: - periences and Progress (HiWEP2005) and the Workshop on Applications for PetaFLOPS Computing (APC2005), which are workshops of ISHPC-VI. ISHPC-VI, HiWEP2005 and APC2005 were held in Nara, Japan during September 7–9, 2005. Fifty-eight papers from 11 countries were submitted to ISHPC-VI. After the reviews of the submitted papers, the ISHPC-VI Program Committee selected 15 regular (12-page) papers for oral presentation. In ad- tion, several other papers with favorable reviews were recommended for poster presentation, and 14 short (8-page) papers were also selected. Twenty-eight papers out of 29 ISHPC-VI papers are contained in the post-proceedings. Hi- WEP2005 and APC2005 received eight and ten submissions, with six and eight papers being accepted for oral presentation after reviews, respectively. All the HiWEP2005 and APC2005 papers are included in the post-proceedings. ALPS2006 was held in Cairns, Australia on July 1, 2006 in conjunction withthe ACM 20thinternationalconference on Supercomputing. the number of submitted papers was 15, and eight papers were accepted for oral presentation. the post-proceedings contain six of the eight papers.
this book includes high-quality papers presented at 16thinternationalconference on Information Technology and Applications (ICITA 2022), held in Lisbon, Portugal during October 20–22, 2022. the book presents origin...
详细信息
ISBN:
(数字)9789811993312
ISBN:
(纸本)9789811993305
this book includes high-quality papers presented at 16thinternationalconference on Information Technology and Applications (ICITA 2022), held in Lisbon, Portugal during October 20–22, 2022. the book presents original research work of academics and industry professionals to exchange their knowledge of the state-of-the-art research and development in information technology and applications. the topics covered in the book are cloud computing, business process engineering, machine learning, evolutionary computing, big data analytics, Internet of things and cyber-physical systems, information and knowledge management, computer vision and image processing, computer graphics and games programming, mobile computing, ontology engineering, software and systems modeling, human–computer interaction, online learning / e-learning, computer networks, and web engineering.
this book constitutes the refereed proceedings of the 6thinternationalconference on theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. the 13 full papers and 5 tool and...
详细信息
ISBN:
(数字)9783642388835
ISBN:
(纸本)9783642388828
this book constitutes the refereed proceedings of the 6thinternationalconference on theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013. the 13 full papers and 5 tool and application demonstrations were carefully selected from 58 submissions. the papers are grouped in topical sections which focus on new programming models, tools and applications, evolution and synchronization, transformation engineering, and testing.
this book constitutes the thoroughly refereed post-conference proceedings of the 6thinternational Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020. th...
详细信息
ISBN:
(数字)9783030532628
ISBN:
(纸本)9783030532611
this book constitutes the thoroughly refereed post-conference proceedings of the 6thinternational Symposium on Combinatorial Optimization, ISCO 2020, which was due to be held in Montreal, Canada, in May 2020. the conference was held virtually due to the COVID-19 pandemic.;the 24 revised full papers presented in this book were carefully reviewed and selected from 66 submissions.;they were organized in the following topical sections: polyhedral combinatorics; integer programming; scheduling; matching; Network Design; Heuristics.
暂无评论