Page 33
Page 33
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances in natural language processing ; 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Natural Language Processing, GoTAL 2008, Gothenburg, Sweden, August 2008.
Advances in natural language processing ; 5th International Conference ; 1TAL 2006 Turku, Finland, August 23-25, 2006 Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Natural Language Processing, FinTAL 2006, held in Turku, Finland in August 2006. The book presents 72 revised full papers together with 1 invited talk and the extended abstracts of 2 invited keynote addresses. The papers address all current issues in computational linguistics and monolingual and multilingual intelligent language processing - theory, methods and applications.
Advances in multimedia information systems ; 11th International workshop, MIS 2005, Sorrento, Italy, September 19-21, 2005, proceedings
This volume collects the proceedings of the 11th International Workshop on Multimedia Information Systems, MIS 2005, in Italy. including Topics Computer Applications Multimedia Information Systems Computer Communication Networks Information Systems Applications (incl. Internet) Natural Language Processing (NLP) Image Processing and Computer Vision
Advances in Multilingual and Multimodal Information Retrieval ; 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, held in Budapest, Hungary, September 2007.
Advances in intelligent data analysis XIX ; 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings
Constitutes the proceedings of the 19th International Symposium on Intelligent Data Analysis, IDA 2021, which was planned to take place in Porto, Portugal. Due to the COVID-19 pandemic the conference was held online during April 26-28, 2021. The 35 papers included in this book were carefully reviewed and selected from 113 submissions. The papers were organized in topical sections named: modeling with neural networks; modeling with statistical learning; modeling language and graphs; and modeling special data formats.
Advances in information retrieval ; Vol. 3408 ; 27th European conference on IR research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005, Proceedings
These volume contain the refereed full papers and poster abstracts from 27th European Conference on IR Research, ECIR 2005, Spain, 2005. Including : Topics Information Storage and Retrieval / Artificial Intelligence / Database Management / Information Systems Applications (incl. Internet) / Multimedia Information Systems / Natural Language Processing (NLP)
Advances in information retrieval ; 30th European Conference on IR Research, ECIR 2008, Glasgow, UK, March 30-April 3, 2008. Proceedings
This book constitutes the refereed proceedings of the 30th annual European Conference on Information Retrieval Research, ECIR 2008, held in Glasgow, UK, in March/April 2008.
Advances in information retrieval ; 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings
This book presented evaluation, recommendation, optimization, semantics, aggregation, queries, mining social media, digital libraries, efficiency, and information retrieval theory. Also included are 3 tutorial and 4 workshop presentations.
Advances in informatics ; 10th Panhellenic Conference on informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which took place at the , Greece, Of the submitted papers, 81 were accepted for inclusion in this volume, papers are classi?ed into 17 thematic sections as follows: – data bases and data mining – algorithms and theoretical foundations – cultural and museum information systems – Internet-scale software/information systems – wearable and mobile computing – computer graphics, virtual reality and visualization – AI, machine learning and knowledge bases – languages, text and speech processing – bioinformatics – software engineering – educational technologies – e-business – computer and sensor hardware and architecture – computer security – image and video processing – signal processing and telecommunications – computer and sensor networks
Advances in Geometric Modeling and Processing ; 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Geometric Modeling and Processing, GMP 2008, held in Hangzhou, China, in April 2008.
Advances in databases and information systems ; Vol. 3631 ; 9th East European conference, ADBIS 2005, Tallinn, Estonia, September 12-15, 2005, Proceedings
This book constitutes the proceedings of the 9th East-European Conference on Advances in Databases and Information Systems was 2005, in Tallinn, Estonia. It was organized in a cooperation between the Institute of Cybernetics at Tallinn University of Technology, the Department of Computer Engineering of Tallinn University of Technology, and the Moscow chapter of ACM SIGMOD. The main objective of the ADBIS series of conferences is to provide a forum for the dissemination of excellent researchaccomplishmentsand to promote interaction and collaboration between the Database and Information Systems research communities from Central and East European countries and the rest of the world. The ADBIS conferences provide an international platform for the presentation of research on database theory, the development of advanced DBMS technologies, and their advanced applications in particular in information s- tems.
Advances in databases and information systems ; 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings
This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS 2021, held in Tartu, Estonia, in August 2021. The 18 full papers presented together with 3 keynotes were carefully reviewed and selected from 70 submissions. The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. They are organized in 5 sessions: patterns and events, social media and text mining, indexes, queries and constraints, high-dimensional data and data streams, and data integration.
Advances in databases and information systems ; 11th East European Conference, ADBIS 2007, Varna, Bulgaria, September 29-October 3, 2007, Proceedings
Contains database theory, development of advanced DBMS technologies, and their advanced applications.
Advances in databases : Concepts, systems and applications ; 12th International Conference on database systems for advanced applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007 Proceedings
Coverage includes query language and query optimization, data mining and knowledge discovery, P2P and grid-based data management, XML databases, database modeling and information retrieval, Web and information retrieval, database applications and security.
Advances in database technology -- EDBT 2006 ; 10 International conference on extending database technology, Munich, Germany, 26-31 March 2006, Proceedings
The series of International Conferences on Extending Database Technology (EDBT) is an established and prestigious forum for the exchange of the latest research results in data management. It provides unique opportunities for database researchers, practitioners, developers, and users to explore new ideas, techniques, and tools, and to exchange experiences. This volume contains the proceedings of the 10th EDBT Conference, held in Munich, Germany, March 27-29, 2006. The conference included 3 keynote talks, 56 full-size and 4 half-size research papers in 20 sessions, 8 industrial presentations in 3 sessions, 1 panel session, 5 tutorials in 7 sessions, and 20 demonstrations in 4 sessions. All of the research papers as well as papers and abstracts from most of the other sessions are included here.
Advances in Data and Web Management ; Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings
The rapid prevalence of Web applications requires new technologies for the - sign, implementation and management of Web-based information systems, and for the management and analysis of information on the Web.This book drew research and industrial papers on the theory, design and implementation of Web-based information systems and on the m- agement and analysis of information on the Web.
Advances in cryptology - CRYPTO -87 ; Conference on the theory and applications of cryptographic techniques : Proceedings
Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably secure protocols. Goldwasser, Micali, and Rackoff originally suggested this technique for controlling the knowledge released in an interactive proof of membership in a language, and for classification of languages. In this approach, knowledge is defined in terms of complexity to convey knowledge if it gives a computational advantage to the receiver, theory, and a message is said for example by giving him the result of an intractable computation. The formal model of interacting machines is described in. A proof-system (for a language L) is an interactive protocol by which one user, the prover, attempts to convince another user, the verifier, that a given input x is in L. We assume that the verifier is a probabilistic machine which is limited to expected polynomial-time computation, while the prover is an unlimited probabilistic machine.
Advances in computer science - ASIAN 2005 : Data management on the web ; 10th Asian computing science conference, Kunming, China, December 7-9, 2005, Proceedings
Constitutes the proceedings of the 10th ASIAN conference was held in Kunming, China,2005.Each year, the conference focuses on a different theme at the cutting edgeof computer science research. The theme of ASIAN 2005 was data managementon the Web. The Program Com-mittee selected 17 regular papers and 21 short papers. This volume contains thepapers based on the invited talks, the regular papers, and the short papers. this book Includ Topics / Theory of Computation / Database Management / Information Storage and Retrieval / Information Systems Applications (incl. Internet) / Computer Communication Networks / Artificial Intelligence"
Advances in Computational Collective Intelligence ; 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings
Constitutes refereed proceedings of the 12th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November – December 2020. Due to the the COVID-19 pandemic the conference was held online. The 68 papers were thoroughly reviewed and selected from 314 submissions. The papers are organized according to the following topical sections: data mining and machine learning; deep learning and applications for industry 4.0; recommender systems; computer vision techniques; decision support and control systems; intelligent management information systems; innovations in intelligent systems; intelligent modeling and simulation approaches for games and real world systems; experience enhanced intelligence to IoT; data driven IoT for smart society; applications of collective intelligence; natural language processing; low resource languages processing; computational collective intelligence and natural language processing.
