this book constitutes the proceedings of the 14thinternationalconference on Web Information systems Engineering, WISE 2013, held in Nanjing, China, in October 2013. the 48 full papers, 29 short papers, and 10 demo a...
详细信息
ISBN:
(数字)9783642412301
ISBN:
(纸本)9783642412295
this book constitutes the proceedings of the 14thinternationalconference on Web Information systems Engineering, WISE 2013, held in Nanjing, China, in October 2013. the 48 full papers, 29 short papers, and 10 demo and 5 challenge papers, presented in the two-volume proceedings LNCS 8180 and 8181, were carefully reviewed and selected from 198 submissions. they are organized in topical sections named: Web mining; Web recommendation; Web services; data engineering and database; semi-structured data and modeling; Web data integration and hidden Web; challenge; social Web; information extraction and multilingual management; networks, graphs and Web-based business processes; event processing, Web monitoring and management; and innovative techniques and creations.
this book constitutes the refereed proceedings of 14thinternationalconference on Augmented Cognition, AC 2020, held as part of the 22nd internationalconference on Human-Computer Interaction, HCII 2020, in July 2020...
详细信息
ISBN:
(数字)9783030503536
ISBN:
(纸本)9783030503529
this book constitutes the refereed proceedings of 14thinternationalconference on Augmented Cognition, AC 2020, held as part of the 22nd internationalconference on Human-Computer Interaction, HCII 2020, in July 2020. the conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.
this book constitutes the proceedings of the 14thinternational Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. the conference was held virtually due to the COVID-19 pandemic. the ...
详细信息
ISBN:
(数字)9783030599010
ISBN:
(纸本)9783030599003
this book constitutes the proceedings of the 14thinternational Workshop on Frontiers in Algorithmics, FAW 2020, held in Haikou, China, in May 2020. the conference was held virtually due to the COVID-19 pandemic. the 12 full papers presented in this volume were carefully reviewed and selected from 15 submissions.;the workshop provides a focused forum on current trends of research on algorithms, discrete structures, and their applications, and brings together international experts at the research frontiers in these areas to exchange ideas and to present significant new results. the papers detail graph theory, scheduling and algorithm and complexity.
this volume constitutes the refereed proceedings of the 14thinternational Software Product Line conference, SPLC 2010, held on Jeju Island, South Korea, in September 2010.
ISBN:
(数字)9783642155796
ISBN:
(纸本)9783642155789
this volume constitutes the refereed proceedings of the 14thinternational Software Product Line conference, SPLC 2010, held on Jeju Island, South Korea, in September 2010.
this book constitutes the refereed proceedings of the 14thinternationalconference on Economics of Grids, Clouds, systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.
ISBN:
(数字)9783319680668
ISBN:
(纸本)9783319680651
this book constitutes the refereed proceedings of the 14thinternationalconference on Economics of Grids, Clouds, systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.
this four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14thinternationalconference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thema...
详细信息
ISBN:
(数字)9783642216169
ISBN:
(纸本)9783642216152
this four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14thinternationalconference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thematically similar conferences.;the revised papers presented were carefully reviewed and selected from numerous submissions. the papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. the papers of this volume are organized in topical sections on mobile interaction, interaction in intelligent environments, orientation and navigation, in-vehicle interaction, social and environmental issues in HCI, and emotions in HCI.
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as...
详细信息
ISBN:
(数字)9783031906602
ISBN:
(纸本)9783031906596
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the international Joint conferences on theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.
the 46 papers presented were carefully reviewed and selected from 148 submissions. the proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. the papers were organized in topical sections as follows:
Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;
Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;
Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as...
详细信息
ISBN:
(数字)9783031906534
ISBN:
(纸本)9783031906527
the open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st internationalconference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2025, which was held as part of the international Joint conferences on theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada.
the 46 papers presented were carefully reviewed and selected from 148 submissions. the proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. the papers were organized in topical sections as follows:
Part I: Program analysis, ATP and rewriting; model checking; LTL; verification;
Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games;
Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
this book constitutes the proceedings of the 14thinternationalconference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. the 25 full papers and 24 short papers pres...
详细信息
ISBN:
(数字)9783319629322
ISBN:
(纸本)9783319629315
this book constitutes the proceedings of the 14thinternationalconference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017. the 25 full papers and 24 short papers presented were carefully reviewed and selected from 93 submissions. the papers are organized in topical sections on mainstream parallel computing, parallel models and algorithms in numerical computation, cellular automata and discrete event systems, organization of parallel computation, parallel computing applications.
this six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14thinternationalconference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27thinternationalconference on...
详细信息
ISBN:
(数字)9783031932366
ISBN:
(纸本)9783031932359
this six-volume set LNCS 15794-15799 constitutes the refereed proceedings of the 14thinternationalconference on Design, User Experience, and Usability, DUXU 2025, held as part of the 27thinternationalconference on Human-Computer Interaction, HCII 2025, in Gothenburg, Sweden, during June 22-27, 2025.
the total of
1430 papers and 355 posters
included in the HCII 2025 proceedings was carefully reviewed and selected from
7972
submissions.
the six volumes cover the following topics:
Part I: Information design and visualization; emotional interaction and persuasive design; and interactive systems and user behavior.
Part II: UX design and evaluation methodologies; inclusive design and accessible experiences; and product and industrial design.
Part III: Design and the digital transmission of culture; design for arts and creativity; and designing for health and therapeutic experiences.
Part IV: Consumer experience and service design; design and evaluation of technology-enhanced learning; and UX in automotive and transportation.
Part V: Design education and professional practice; and human-centered design and interactive experiences.
Part VI: AI and the future of UX design; and UX in AI and emerging technologies.
暂无评论