Page 12
Page 12
img

Long-Term Preservation of Digital Documents : Principles and Practices

Key to our culture is that we can disseminate information, and then maintain and access it over time. While we are rapidly advancing from vulnerable physical solutions to superior, digital media, preserving and using data over the long term involves complicated research challenges and organization efforts. Uwe Borghoff and his coauthors address the problem of storing, reading, and using digital data for periods longer than 50 years. They briefly describe several markup and document description languages like TIFF, PDF, HTML, and XML, explain the most important techniques such as migration and emulation, and present the OAIS (Open Archival Information System) Reference Model. To complement this background information on the technology issues the authors present the most relevant international preservation projects, such as the Dublin Core Metadata Initiative, and experiences from sample projects run by the Cornell University Library and the National Library of the Netherlands. A rated survey list of available systems and tools completes the book.

img

Logical Aspects of Computational Linguistics ; 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings

Inaugurates the new FoLLI LNAI subline. It constitutes the refereed proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics, LACL 2005, held in Bordeaux, France in April 2005. The 25 revised full papers presented were carefully reviewed and selected from over 40 submissions. The papers address a wide range of logical and formal methods in computational linguistics with studies of particular grammar formalisms and their computational properties, language engineering, and traditional topics about the syntax/semantics interface.

img

Logical and Relational Learning

This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming (ILP), multirelational data mining (MRDM) and (statistical) relational learning (SRL). These subfields of data mining and machine learning are concerned with the analysis of complex and structured data sets that arise in numerous applications, such as bio- and chemoinformatics, network analysis, Web mining, natural language processing, within the rich representations offered by relational databases and computational logic.

img

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.

img

List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition

Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.

img

Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project

Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.

img

Linguistics for the age of AI

One of the original goals of artificial intelligence research was to endow intelligent agents with human-level natural language capabilities. Recent AI research, however, has focused on applying statistical and machine learning approaches to big data rather than attempting to model what people do and how they do it. In this book, Marjorie McShane and Sergei Nirenburg return to the original goal of recreating human-level intelligence in a machine. They present a human-inspired, linguistically sophisticated model of language understanding for intelligent agent systems that emphasizes meaning—the deep, context-sensitive meaning that a person derives from spoken or written language.

img

Linear Systems, Signal Processing and Hypercomplex Analysis ; Chapman University, November 2017

includes contributions originating from a conference held at Chapman University during November 14-19, 2017. It presents original research by experts in signal processing, linear systems, operator theory, complex and hypercomplex analysis and related topics.

img

Linear and Generalized Linear Mixed Models and Their Applications

This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.

img

Liapunov Functions and Stability in Control Theory

Presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework of mathematical nonlinear control theory. A Particular focus is on the problem of the existence of Liapunov functions (converse Liapunov theorems) and their regularity, whose interest is especially motivated by applications to automatic control.

img

Legal Programming : Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond

LEGAL PROGRAMMING: Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond provides a process-oriented discussion of the legal concerns presented by agent-based technologies, processes and programming. It offers a general outline of the potential legal difficulties that could arise in relation to them, focusing on the programming of negotiation and contracting processes in a privacy, consumer and commercial context. The authors will elucidate how it is possible to create form of legal framework and design methodology for transaction agents, applicable in any environment and not just in a specific proprietary framework, that provides the right level of compliance and trust. Key elements considered include the design and programming of legally compliant methods, the determination of rights in respect of objects and variables, and ontologies and programming frameworks for agent interactions. Examples are used to illustrate the points made and provide a practical perspective.

img

Learn to Tango with D

Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. A concise yet thorough overview of the language's syntax and features is presented, followed by an introduction to Tango, the popular general–purpose library you'll find invaluable when building your D applications.

img

Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications

As part of this objective, ICT (information and communication technologies) services should become available for every citizen, and for all schools, homes and businesses. The book you have in front of you is about Semantic Web technology and law. Law is something omnipresent; all citizens — at some points in their lives — have to deal with it. In addition, law involves a large group of professionals, and is a mul- billion business world wide. Information technology is important because it that can improve citizens’ interaction with law, as well as improve legal professionals’ work environment. Legal professionals dedicate a significant amount of their time to finding, reading, analyzing and synthesizing information in order to take decisions, and prepare advice and trials, among other tasks. As part of the “Semantic-Based Knowledge and Content Systems” Strategic Objective, the European Commission is funding projects to construct technology to make the Semantic Web vision come true. 1 The articles in this book are related to two current foci of the Strategic Objective : • Knowledge acquisition and modelling, capturing knowledge from raw information and multimedia content in webs and other distributed repositories to turn poorly structured information into machi- processable knowledge.

img

Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

img

Knowledge Representation and the Semantics of Natural Language

This book presents a method for the semantic representation of natural l- guage expressions (texts, sentences, phrases, etc. ) which can be used as a u- versal knowledge representation paradigm in the human sciences, like lingu- tics, cognitive psychology, or philosophy of language, as well as in com- tational linguistics and in arti?cial intelligence. It is also an attempt to close the gap between these disciplines, which to a large extent are still working separately.

img

Knowledge Processing with Interval and Soft Computing

In particular, these chapters cover computing techniques for interval linear systems of equations, interval matrix singular-value decomposition, interval function approximation, and decision making with statistical and graph-based data processing. To enable these applications, the book presents a standards-based object-oriented interval computing environment in C++.

img

Knowledge and Information Visualization : Searching for Synergies

The basic ideas underlying knowledge visualization and information vi- alization are outlined. In a short preview of the contributions of this volume, the idea behind each approach and its contribution to the goals of the book are outlined. 2 The Basic Concepts of the Book Three basic concepts are the focus of this book: "data", "information", and "kno- edge". There have been numerous attempts to define the terms "data", "information", and "knowledge", among them, the OTEC Homepage "Data, Information, Kno- edge, and Wisdom" (Bellinger, Castro, & Mills, see http://www.syste- thinking.org/dikw/dikw.htm): Data are raw. They are symbols or isolated and non-interpreted facts. Data rep- sent a fact or statement of event without any relation to other data. Data simply exists and has no significance beyond its existence (in and of itself). It can exist in any form, usable or not. It does not have meaning of itself.

img

Knowledge and Data Management in GRIDs

Knowledge and Data Management in GRIDs is the third volume of the CoreGRID series and brings together scientific contributions by researchers and scientists working on storage, data, and knowledge management in GRID and Peer-to-Peer systems. This volume presents the latest GRID solutions and research results in key areas of knowledge and data management such as distributed storage management, GRID databases, Semantic GRID and GRID-aware data mining.

img

Kernel Methods for Machine Learning with Math and Python: 100 Exercises for Building Logic

Addresses the fundamentals of kernel methods for machine learning by considering relevant math problems and building Python programs. The book’s main features are as follows: Includes 100 exercises, which have been carefully selected and refined. As their solutions are provided in the main text, readers can solve all of the exercises by reading the book. / The mathematical premises of kernels are proven and the correct conclusions are provided, helping readers to understand the nature of kernels. / Source programs and running examples are presented to help readers acquire a deeper understanding of the mathematics used. / Once readers have a basic understanding of the functional analysis topics covered in Chapter 2, the applications are discussed in the subsequent chapters. Here, no prior knowledge of mathematics is assumed. / Considers both the kernel for reproducing kernel Hilbert space (RKHS) and the kernel for the Gaussian process; a clear distinction is made between the two.

img

Journal on Data Semantics XI

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal 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 on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.

Results Per Page