Computers

Bibliography on Abstract Data Types

Author: B. Kutzler

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 196

View: 937

Sponsored by the "Österr. Fonds zur Förderung der Wissenschaftlichen Forschung", project nr. P4567
Mathematics

Fundamentals of Algebraic Specification 2

Author: Hartmut Ehrig

Publisher: Springer Science & Business Media

ISBN:

Category: Mathematics

Page: 429

View: 723

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.
Computers

Journal on Data Semantics IX

Author: Stefano Spaccapietra

Publisher: Springer

ISBN:

Category: Computers

Page: 200

View: 895

This LNCS Journal presents notable work that, in one way or another, addresses research and development on issues related to data semantics. Its scope ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working in the field, from the semantic web and mobile information services to ontologies and artificial intelligence.
Computers

Programming Languages and Systems

Author: Jan Vitek

Publisher: Springer

ISBN:

Category: Computers

Page: 838

View: 306

This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.
Computers

The Semantic Web: Research and Applications

Author: Asuncion Gómez-Pérez

Publisher: Springer

ISBN:

Category: Computers

Page: 728

View: 539

This volume contains the papers presented at the 2nd European Semantic Web Conference (ESWC 2005) held in Heraklion, Crete, Greece, from 29th May to 1st June, 2005. The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the user to achieve goals by accessing and providing information in a machine-understandable form. This process may ultimately create extremely knowledgeable systems with various specialized reasoning services systems. Many technologies and methodologies are being developed within arti?cial intelligence, human language technology, machine learning, databases, software engineering and information systems that can contribute to the realization of this vision. The 2nd Annual European Semantic Web Conference presented the latest results in research and applications of Semantic Web technologies. Following the success of the ?rst edition, ESWC showed a signi?cant increase in participation. With148submissions,thenumberofpapersdoubledthatofthepreviousedition. Each submission was evaluated by at least three reviewers. The selection process resulted in the acceptance of 48 papers for publication and presentation at the conference (an acceptance rate of 32%). Papers did not come only from Europe but also from other continents.
Computers

Journal on Data Semantics V

Author: Stefano Spaccapietra

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 237

View: 503

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge.
Mathematics

Dynamic Fuzzy Logic and Its Applications

Author: Fanzhang Li

Publisher: Nova Publishers

ISBN:

Category: Mathematics

Page: 296

View: 993

Dynamic fuzzy problem are problems that are universally focused by academies. Mathematicians and cybernetic experts have used fuzzy logic to developed theories and solve static problems in so called subjective and objective worlds. This book includes 12 chapters. Chapter 1 is about basic conceptions of Dynamic Fuzzy Sets (DFS). Chapter 2 introduces Dynamic Fuzzy (DF) decomposition theorem. Chapter 3 is about L form of DFS module structure. Chapter 4 is about representation theorem of DFS. Chapter 5 introduces extension theorem of DFS. Chapter 6 is about DF measure theory. In chapter 7 it is Dynamic Fuzzy Logic (DFL). Chapter 8 is about reasoning methods of DFL. Chapter 9 is about bases of DFL programming language. Chapter 10 introduces multi-agent learning model based on DFL. Chapter 11 is about autonomic computing model based on DFL. The last Chapter introduces application of DFL in machine learning.
Computers

The Semantic Web - ISWC 2008

Author: Amit P. Sheth

Publisher: Springer

ISBN:

Category: Computers

Page: 935

View: 305

The Web is a globalinformationspace consistingoflinked documents andlinked data. As the Web continues to grow and new technologies, modes of interaction, and applications are being developed, the task of the Semantic Web is to unlock the power of information available on the Web into a common semantic inf- mation space and to make it available for sharing and processing by automated tools as well as by people. Right now, the publication of large datasets on the Web, the opening of data access interfaces, and the encoding of the semantics of the data extend the current human-centric Web. Now, the Semantic Web c- munity is tackling the challenges of how to create and manage Semantic Web content, how to make Semantic Web applications robust and scalable, and how to organize and integrate information from di?erent sources for novel uses. To foster the exchange of ideas and collaboration, the International Semantic Web Conference brings together researchers and practitioners in relevant disciplines such as arti?cial intelligence, databases, social networks, distributed computing, Web engineering, information systems, natural language processing, soft c- puting, and human–computer interaction. This volume contains the main proceedings of ISWC 2008, which we are - cited to o?er to the growing community of researchers and practitioners of the Semantic Web. We got a tremendous response to our call for research papers from a truly international community of researchers and practitioners from 41 countries submitting 261 papers. Each paper receivedan averageof 3.
Computers

Semantic Web and Peer-to-Peer

Author: Steffen Staab

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 365

View: 797

Just like the industrial society of the last century depended on natural resources, today’s society depends on information and its exchange. Staab and Stuckenschmidt structured the selected contributions into four parts: Part I, "Data Storage and Access", prepares the semantic foundation, i.e. data modelling and querying in a flexible and yet scalable manner. These foundations allow for dealing with the organization of information at the individual peers. Part II, "Querying the Network", considers the routing of queries, as well as continuous queries and personalized queries under the conditions of the permanently changing topological structure of a peer-to-peer network. Part III, "Semantic Integration", deals with the mapping of heterogeneous data representations. Finally Part IV, "Methodology and Systems", reports experiences from case studies and sample applications. The overall result is a state-of-the-art description of the potential of Semantic Web and peer-to-peer technologies for information sharing and knowledge management when applied jointly.
Computers

Logics of Programs

Author: Rohit Parikh

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 424

View: 578