Kategoria BISAC: Computers >> Machine Theory

Three paradigms have dominated machine translation (MT)--rule-based machine translation (RBMT), statistical machine translation (SMT), and example-based machine translation (EBMT). These paradigms differ in the way they handle the three fundamental processes in MT--analysis, transfer, and generation (ATG). In its pure form, RBMT uses rules, while SMT uses data. EBMT tries a combination--data supplies translation parts that rules recombine to produce translation.

Machine Translation compares and contrasts the salient principles and practices of RBMT, SMT, and EBMT. Offering an...

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of -formal methods- (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people...

Regularization, Optimization, Kernels, and Support Vector Machines offers a snapshot of the current state of the art of large-scale machine learning, providing a single multidisciplinary source for the latest research and advances in regularization, sparsity, compressed sensing, convex and large-scale optimization, kernel methods, and support vector machines. Consisting of 21 chapters authored by leading researchers in machine learning, this comprehensive reference:

• Covers the relationship between support vector machines (SVMs) and the Lasso
...

Restricted-orientation convexity is the study of geometric objects whose intersections with lines from some fixed set are connected. This notion generalizes standard convexity and several types of nontraditional convexity. We explore the properties of this generalized convexity in multidimensional Euclidean space, describes restricted-orientation analogs of lines, hyperplanes, flats, and halfspaces, and identify major properties of standard convex sets that also hold for restricted-orientation convexity. We then introduce the notion of strong restricted-orientation convexity, which is an...

Constrained optimization is a challenging branch of operations research that aims to create a model which has a wide range of applications in the supply chain, telecommunications and medical fields. As the problem structure is split into two main components, the objective is to accomplish the feasible set framed by the system constraints. The aim of this book is expose optimization problems that can be expressed as graphs, by detailing, for each studied problem, the set of nodes and the set of edges. This graph modeling is an incentive for designing a platform that integrates all...

Artificial Intelligence Tools: Decision Support Systems in Condition Monitoring and Diagnosis discusses various white- and black-box approaches to fault diagnosis in condition monitoring (CM). This indispensable resource:

• Addresses nearest-neighbor-based, clustering-based, statistical, and information theory-based techniques
• Considers the merits of each technique as well as the issues associated with real-life application
• Covers classification methods, from neural networks to Bayesian and support vector machines
• Proposes fuzzy logic...