Learn IT - Books tags computation

Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China

Springer, 2006

In several practical circumstances we have to solve a problem whose instance is not a priori completely known. Situations of this kind occur in computer systems and networks management, in financial decision making, in robotics etc. Problems that have to be solved without a complete knowledge of the instance are called on-line...

Foundations of Statistical Algorithms: With References to R Packages (Chapman & Hall/CRC Computer Science and Data Analysis)

CRC Press, 2013

A new and refreshingly different approach to presenting the foundations of statistical algorithms, Foundations of Statistical Algorithms: With References to R Packages reviews the historical development of basic algorithms to illuminate the evolution of today’s more powerful statistical...

Transactional Memory (Synthesis Lectures on Computer Architecture)

Morgan Kaufmann, 2007

The advent of multicore processors has renewed interest in the idea of incorporating transactions into the programming model used to write parallel programs. This approach, known as transactional memory, offers an alternative, and hopefully better, way to coordinate concurrent threads. The ACI (atomicity, consistency, isolation) properties of...

Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

Springer, 2007

Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems are now omnipresent in our life, and they may be found in several domains such as communications (ex. mobile terminals, optical switches), health (e.g. cardiac stimulators, cochlear implants), transportation (ex. automotive...

Path-Oriented Program Analysis

Cambridge University Press, 2007

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set...

Concepts, Techniques, and Models of Computer Programming

MIT Press, 2004

One approach to the study of computer programming is to study programming
languages.But there are a tremendously large number of languages, so large that
it is impractical to study them all.Ho w can we tackle this immensity? We could
pick a small number of languages that are representative of different programming
paradigms.But...

Algorithmic Learning Theory: 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings

Springer, 2004

This book constitutes the refereed proceedings of the 15th International Conference on Algorithmic Learning Theory, ALT 2004, held in Padova, Italy in October 2004.

The 29 revised full papers presented together with 5 invited papers and 3 tutorial summaries were carefully reviewed and selected from 91 submissions. The papers are organized in...

Computational Intelligence Paradigms: Theory & Applications using MATLAB

CRC Press, 2010

Offering a wide range of programming examples implemented in MATLAB^®, Computational Intelligence Paradigms: Theory and Applications Using MATLAB^® presents theoretical concepts and a general framework for computational intelligence (CI) approaches, including artificial neural networks, fuzzy...

Mathematics and Computation in Imaging Science and Information Processing

World Scientific Publishing, 2007

Rapid advances in communication, sensing and computational power have led to an explosion of data. The usefulness of this resource for human knowledge is determined by its accessibility and portability, which present fresh challenges to existing techniques in terms of transmission, storage, querying, display and numerical manipulation. As a...

Advances in Cryptology -- CRYPTO 2011: 31st Annual Cryptology Conference, Santa Barbara

Springer, 2011

This book constitutes the refereed proceedings of the 31st Annual International Cryptology Conference, CRYPTO 2011, held in Santa Barbara, CA, USA in August 2011. The 42 revised full papers presented were carefully reviewed and selected from 230 submissions. The volume also contains the abstract of one invited talk. The papers are organized...

Bio-inspired Algorithms for the Vehicle Routing Problem (Studies in Computational Intelligence)

Springer, 2008

The vehicle routing problem (VRP) is one of the most famous combinatorial optimization problems. In simple terms, the goal is to determine a set of routes with overall minimum cost that can satisfy several geographical scattered demands. Biological inspired computation is a field devoted to the development of computational tools modeled after...

Reference and Computation: An Essay in Applied Philosophy of Language (Studies in Natural Language Processing)

Cambridge University Press, 1990

This book deals with a major problem in the study of language: the problem of reference. The ease with which we refer to things in conversation is deceptive. Upon closer scrutiny, it turns out that we hardly ever tell each other explicitly what object we mean, although we expect our interlocutor to discern it. Amichai Kronfeld provides an answer...

Result Page: 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28