Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 394
Book Description
Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems
Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 394
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 394
Book Description
Advances in Web Mining and Web Usage Analysis
Author: Haizheng Zhang
Publisher: Springer
ISBN: 3642005284
Category : Computers
Languages : en
Pages : 164
Book Description
Thisyear’svolumeofAdvancesinWebMiningandWebUsageAnalysiscontains thepostworkshopproceedingsofajointevent,the9thInternationalWorkshopon Knowledge Discovery from the Web (WEBKDD 2007) and the First SNA-KDD Workshop on Social Network Analysis (SNA-KDD 2007). The joint workshop on Web Mining and Social Network Analysis took place at the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). It attracted 23 submissions, of which 14 were accepted for presentation at the workshop. Eight of them have been extended for inclusion in this volume. WEBKDD is one of the most traditional workshops of the ACM SIGKDD internationalconference, under the auspices of which it has been organizedsince 1999. The strong interest for knowledge discovery in the Web, fostered not least by WEBKDD itself, has led to solutions for many problems in the Web’s p- mature era. In the meanwhile, the Web has stepped into a new era, where it is experienced as a social medium, fostering interaction among people, enabling and promoting the sharing of knowledge, experiences and applications, char- terized by group activities, community formation, and evolution. The design of Web 2. 0 re?ects the socialcharacterof the Web, bringing new potential and new challenges. The 9th WEBKDD was devoted to the challenges and opportunities of mining for the social Web and promptly gave rise to the joint event with the First Workshop on Social Network Analysis (SNA-KDD). Social network research has advanced signi?cantly in the last few years, strongly motivated by the prevalence of online social websites and a variety of large-scale o?ine social network systems.
Publisher: Springer
ISBN: 3642005284
Category : Computers
Languages : en
Pages : 164
Book Description
Thisyear’svolumeofAdvancesinWebMiningandWebUsageAnalysiscontains thepostworkshopproceedingsofajointevent,the9thInternationalWorkshopon Knowledge Discovery from the Web (WEBKDD 2007) and the First SNA-KDD Workshop on Social Network Analysis (SNA-KDD 2007). The joint workshop on Web Mining and Social Network Analysis took place at the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD). It attracted 23 submissions, of which 14 were accepted for presentation at the workshop. Eight of them have been extended for inclusion in this volume. WEBKDD is one of the most traditional workshops of the ACM SIGKDD internationalconference, under the auspices of which it has been organizedsince 1999. The strong interest for knowledge discovery in the Web, fostered not least by WEBKDD itself, has led to solutions for many problems in the Web’s p- mature era. In the meanwhile, the Web has stepped into a new era, where it is experienced as a social medium, fostering interaction among people, enabling and promoting the sharing of knowledge, experiences and applications, char- terized by group activities, community formation, and evolution. The design of Web 2. 0 re?ects the socialcharacterof the Web, bringing new potential and new challenges. The 9th WEBKDD was devoted to the challenges and opportunities of mining for the social Web and promptly gave rise to the joint event with the First Workshop on Social Network Analysis (SNA-KDD). Social network research has advanced signi?cantly in the last few years, strongly motivated by the prevalence of online social websites and a variety of large-scale o?ine social network systems.
Formal Ontology in Information Systems
Author: Carola Eschenbach
Publisher: IOS Press
ISBN: 1586039237
Category : Computers
Languages : en
Pages : 340
Book Description
"Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. As ontologies have been applied in new and exciting domains such as the World Wide Web, bioinformatics, and geographical information systems, it has become evident that there is a need for ontologies that have been developed with solid theoretical foundations based on philosophical, linguistic and logical analysis. Similarly, there is also a need for theoretical research that is driven by the issues that have been raised by recent work in the more applied domains. FOIS is intended to be a forum in which to explore this interplay between the theoretical insights of formal ontology and their application to information systems and emerging semantic technologies. Themes emerging from this volume give a snapshot of current issues within the fields of formal ontology and ontological engineering, as well providing a glimpse of future research directions."--BOOK JACKET.
Publisher: IOS Press
ISBN: 1586039237
Category : Computers
Languages : en
Pages : 340
Book Description
"Since its start ten years ago, the International Conference in Formal Ontology on Information Systems (FOIS) has explored the multiple perspectives on the notion of ontology that have arisen from such diverse research communities as philosophy, logic, computer science, cognitive science, linguistics, and various scientific domains. As ontologies have been applied in new and exciting domains such as the World Wide Web, bioinformatics, and geographical information systems, it has become evident that there is a need for ontologies that have been developed with solid theoretical foundations based on philosophical, linguistic and logical analysis. Similarly, there is also a need for theoretical research that is driven by the issues that have been raised by recent work in the more applied domains. FOIS is intended to be a forum in which to explore this interplay between the theoretical insights of formal ontology and their application to information systems and emerging semantic technologies. Themes emerging from this volume give a snapshot of current issues within the fields of formal ontology and ontological engineering, as well providing a glimpse of future research directions."--BOOK JACKET.
Tools and Methods of Program Analysis
Author: Anna Kalenkova
Publisher: Springer Nature
ISBN: 3030714721
Category : Computers
Languages : en
Pages : 216
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Publisher: Springer Nature
ISBN: 3030714721
Category : Computers
Languages : en
Pages : 216
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
Computing and Combinatorics
Author: Thang N. Dinh
Publisher: Springer
ISBN: 3319426346
Category : Computers
Languages : en
Pages : 629
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 50 revised full papers papers presented in this book were carefully reviewed and selected from various submissions. The papers cover various topics including: Theory and Algorithms; Parameterized Complexity and Algorithms; Database and Data Structures; Computational Complexity; Approximation Algorithms; Cryptography; Network and Algorithms; Graph Theory and Algorithms; Computational Geometry; Scheduling Algorithms and Circuit Complexity; Computational Geometry and Computational Biology; and Logic, Algebra and Automata.
Publisher: Springer
ISBN: 3319426346
Category : Computers
Languages : en
Pages : 629
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Computing and Combinatorics, COCOON 2016, held in Ho Chi Minh City, Vietnam, in August 2016. The 50 revised full papers papers presented in this book were carefully reviewed and selected from various submissions. The papers cover various topics including: Theory and Algorithms; Parameterized Complexity and Algorithms; Database and Data Structures; Computational Complexity; Approximation Algorithms; Cryptography; Network and Algorithms; Graph Theory and Algorithms; Computational Geometry; Scheduling Algorithms and Circuit Complexity; Computational Geometry and Computational Biology; and Logic, Algebra and Automata.
Interoperability in Digital Public Services and Administration: Bridging E-Government and E-Business
Author: Charalabidis, Yannis
Publisher: IGI Global
ISBN: 1615208887
Category : Business & Economics
Languages : en
Pages : 456
Book Description
During the last decade, interoperability has emerged as a vivid research area in electronic business and electronic governance, promising a significant increase in productivity and efficiency of information systems, enterprises and administrations. Interoperability in Digital Public Services and Administration: Bridging E-Government and E-Business provides the latest research findings such as theoretical foundations, principles, methodologies, architectures, technical frameworks, international policy, standardization and case studies for the achievement of interoperability within the provision of digital services, from administration and businesses toward the user citizens and enterprises.
Publisher: IGI Global
ISBN: 1615208887
Category : Business & Economics
Languages : en
Pages : 456
Book Description
During the last decade, interoperability has emerged as a vivid research area in electronic business and electronic governance, promising a significant increase in productivity and efficiency of information systems, enterprises and administrations. Interoperability in Digital Public Services and Administration: Bridging E-Government and E-Business provides the latest research findings such as theoretical foundations, principles, methodologies, architectures, technical frameworks, international policy, standardization and case studies for the achievement of interoperability within the provision of digital services, from administration and businesses toward the user citizens and enterprises.
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
Author: Ingela Nyström
Publisher: Springer Nature
ISBN: 3030339041
Category : Computers
Languages : en
Pages : 800
Book Description
This book constitutes the refereed conference proceedings of the 24rd Iberoamerican Congress on Pattern Recognition, CIARP 2019, held in Havana, Cuba, in October 2019. The 70 papers presented were carefully reviewed and selected from 128 submissions. The papers are organized in topical sections named: Data Mining: Natural Language Processing and Text Mining; Image Analysis and Retrieval; Machine Learning and Neural Networks; Mathematical Theory of Pattern Recognition; Pattern Recognition and Applications; Signals Analysis and Processing; Speech Recognition; Video Analysis.
Publisher: Springer Nature
ISBN: 3030339041
Category : Computers
Languages : en
Pages : 800
Book Description
This book constitutes the refereed conference proceedings of the 24rd Iberoamerican Congress on Pattern Recognition, CIARP 2019, held in Havana, Cuba, in October 2019. The 70 papers presented were carefully reviewed and selected from 128 submissions. The papers are organized in topical sections named: Data Mining: Natural Language Processing and Text Mining; Image Analysis and Retrieval; Machine Learning and Neural Networks; Mathematical Theory of Pattern Recognition; Pattern Recognition and Applications; Signals Analysis and Processing; Speech Recognition; Video Analysis.
Formal Methods and Software Engineering
Author: Zhenhua Duan
Publisher: Springer
ISBN: 3319686909
Category : Computers
Languages : en
Pages : 509
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Publisher: Springer
ISBN: 3319686909
Category : Computers
Languages : en
Pages : 509
Book Description
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Web and Big Data
Author: Xiangyu Song
Publisher: Springer Nature
ISBN: 9819723876
Category :
Languages : en
Pages : 540
Book Description
Publisher: Springer Nature
ISBN: 9819723876
Category :
Languages : en
Pages : 540
Book Description
Intelligent Computing Theories and Application
Author: De-Shuang Huang
Publisher: Springer
ISBN: 3030269698
Category : Computers
Languages : en
Pages : 810
Book Description
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions. The ICIC theme unifies 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. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.
Publisher: Springer
ISBN: 3030269698
Category : Computers
Languages : en
Pages : 810
Book Description
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed proceedings of the 15th International Conference on Intelligent Computing, ICIC 2019, held in Nanchang, China, in August 2019. The 217 full papers of the three proceedings volumes were carefully reviewed and selected from 609 submissions. The ICIC theme unifies 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. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, including theories, methodologies, and applications in science and technology.