Form-Oriented Analysis, Dirk Draheim; Gerald Weber

Автор: Zechao Li
Название: Understanding-Oriented Multimedia Content Analysis
ISBN: 9811036888 ISBN-13(EAN): 9789811036880
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a systematic introduction to an understanding-oriented approach to multimedia content analysis. It integrates the visual understanding and learning models into a unified framework, within which the visual understanding guides the model learning while the learned models improve the visual understanding.

Автор: Sutcliffe, Mandy
Название: Head First Object-Oriented Analysis and Design: A Brain Friendly Guide to OOA&D
ISBN: 0596008678 ISBN-13(EAN): 9780596008673
Издательство: Wiley
Рейтинг:
Цена: 59130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Shows you how to analyze, design, and write serious object-oriented software. This work helps you learn how to: use OO principles like encapsulation and delegation to build applications that are flexible; apply the Open-Closed Principle (OCP) and the Single Responsibility Principle (SRP) to promote reuse of your code; among others.

Автор: Alessandro Abate; Gilles Geeraerts
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 331965764X ISBN-13(EAN): 9783319657646
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Автор: Friedemann K?ster
Название: Multidimensional Analysis of Conversational Telephone Speech
ISBN: 9811052239 ISBN-13(EAN): 9789811052231
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a new diagnostic information methodology to assess the quality of conversational telephone speech. The dimension scores gathered with the new test method are used to determine the quality of each conversational phase, and the qualities of the three phases, in turn, are combined for overall conversational quality modeling.

Автор: Shin Nakajima; Jean-Pierre Talpin; Masumi Toyoshim
Название: Cyber-Physical System Design from an Architecture Analysis Viewpoint
ISBN: 981104435X ISBN-13(EAN): 9789811044359
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.

Автор: Brijesh Verma; Ligang Zhang; David Stockwell
Название: Roadside Video Data Analysis
ISBN: 9811045380 ISBN-13(EAN): 9789811045387
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book highlights the methods and applications for roadside video data analysis, with a particular focus on the use of deep learning to solve roadside video data segmentation and classification problems.

Автор: Rokia Missaoui; Talel Abdessalem; Matthieu Latapy
Название: Trends in Social Network Analysis
ISBN: 331953419X ISBN-13(EAN): 9783319534190
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book collects contributions from experts worldwide addressing recent scholarship in social network analysis such as influence spread, link prediction, dynamic network biclustering, and delurking.

Автор: Stanis?aw Kozielski; Dariusz Mrozek; Pawe? Kasprow
Название: Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation
ISBN: 3319582739 ISBN-13(EAN): 9783319582733
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2017, held in Ustron, Poland, in May/June 2017.It consists of 44 carefully reviewed papers selected from 118 submissions.

Автор: Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nago
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319577077 ISBN-13(EAN): 9783319577074
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.

Автор: Erik Cambria; Dipankar Das; Sivaji Bandyopadhyay;
Название: A Practical Guide to Sentiment Analysis
ISBN: 3319553925 ISBN-13(EAN): 9783319553924
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sentiment analysis research has been started long back and recently it is one of the demanding research topics.

Автор: Axel Legay; Tiziana Margaria
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3662545799 ISBN-13(EAN): 9783662545799
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Автор: Axel Legay; Tiziana Margaria
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 3662545764 ISBN-13(EAN): 9783662545768
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Invited Talk.- Validation, Synthesis and Optimization for Cyber-Physical Systems.- Verification Techniques.- An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP.- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.- Bounded Quantifier Instantiation for Checking Inductive Invariants.- Proving Termination through Conditional Termination.-Efficient Certified Resolution Proof Checking.- Precise Widening Operators for Proving Termination by Abstract Interpretation.- Automatic Verification of Finite Precision Implementations of Linear Controllers.- Learning.- Learning Symbolic Automata.- ML for ML: Learning Cost Semantics by Experiment.- A Novel Learning Algorithm for B uchi Automata based on Family of DFAs and Classification Trees.- Synthesis.- Hierarchical Network Formation Games.- Synthesis of Recursive ADT Transformers from Reusable Templates.- Counterexample-Guided Model Synthesis.- Interpolation-Based GR(1) Assumptions Refinement.- Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.- Scaling Enumerative Program Synthesis via Divide and Conquer.- Towards Parallel Boolean Functional Synthesis.- Encodings of Bounded Synthesis.- Tools.- HQSpre - An Effective Preprocessor for QBF and DQBF.- RPP: Automatic Proof of Relational Properties by Self-Composition.- autoCode4: Structural Controller Synthesis.- Automata.- Lazy Automata Techniques for WS1S.- From LTL and limit-deterministic Bьchi automata to deterministic parity automata.- Index appearance record for transforming Rabin automata into parity automata.- Minimization of Visibly Pushdown Automata Using Partial Max-SAT.- Concurrency and Bisimulation.- CSimpl: a Framework for the Verification of Concurrent Programs using Rely-Guarante.- Fair Termination for Parameterized Probabilistic Concurrent Systems.- Forward Bisimulations for Nondeterministic Symbolic Finite Automata.- Up-To Techniques for Weighted Systems.- Hybrid Systems.- Rigorous Simulation-Based Analysis of Linear Hybrid Systems.- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-Linear Hybrid Automata.- Counterexample-guided Refinement of Template Polyhedra.