Constraint-Based Verification, Jun Yuan; Carl Pixley; Adnan Aziz

Автор: Pavel Brazdil; Alipio Jorge
Название: Progress in Artificial Intelligence: Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving
ISBN: 354043030X ISBN-13(EAN): 9783540430308
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The tenth Portuguese Conference on Arti?cial Intelligence, EPIA 2001 was held in Porto and continued the tradition of previous conferences in the series. The conference was organized, as usual, under the auspices of the Portuguese Association for Arti?cial Intelligence (APPIA, http://www.appia.pt).

Автор: Steven G. Woods; Alexander E. Quilici; Qiang Yang
Название: Constraint-Based Design Recovery for Software Reengineering
ISBN: 0792380673 ISBN-13(EAN): 9780792380672
Издательство: Springer
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The great challenge of reverse engineering is recovering design information from legacy code: the `concept recovery` problem. This monograph describes research dealing with this problem. It discusses a theory of how a constraint-based approach to program plan recognition can efficiently extract design concepts from source code.

Автор: Marie Pelleau
Название: Abstract Domains in Constraint Programming
ISBN: 1785480103 ISBN-13(EAN): 9781785480102
Издательство: Elsevier Science
Рейтинг:
Цена: 53010.00 T
Наличие на складе: Невозможна поставка.
Описание: Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are today efficient enough to solve large industrial problems, in a generic framework. However, solvers are dedicated to a single variable type: integer or real. Solving mixed problems relies on ad hoc transformations. In another field, Abstract Interpretation offers tools to prove program properties, by studying an abstraction of their concrete semantics, that is, the set of possible values of the variables during an execution. Various representations for these abstractions have been proposed. They are called abstract domains. Abstract domains can mix any type of variables, and even represent relations between the variables. . In this work, we define abstract domains for Constraint Programming, so as to build a generic solving method, dealing with both integer and real variables. We also study the octagons abstract domain, already defined in Abstract Interpretation. Guiding the search by the octagonal relations, we obtain good results on a continuous benchmark. We also define our solving method using Abstract Interpretation techniques, in order to include existing abstract domains. Our solver, AbSolute, is able to solve mixed problems and use relational domains.

Автор: Henry Chang; Edoardo Charbon; Umakanta Choudhury;
Название: A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
ISBN: 0792397940 ISBN-13(EAN): 9780792397946
Издательство: Springer
Рейтинг:
Цена: 174150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Analog circuit design is often the bottleneck when designing mixed analog-digital systems. This work presents a methodology based on a top-down, constraint-driven design paradigm that provides a solution to this problem. It also presents the design methodology along with foundation material. It describes supporting concepts for the methodology.

Автор: Ian P. Gent
Название: Principles and Practice of Constraint Programming - CP 2009
ISBN: 3642042430 ISBN-13(EAN): 9783642042430
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at CP 2009: The 15th International Conference on Principles and Practice of Constraint Programming. Papers submitted as long papers were accepted at full length or not at all. It is important to note that papers submitted as short papers were held to the same high standards of qualityas long papers.

Автор: Beat Br?derlin; Dieter Roller
Название: Geometric Constraint Solving and Applications
ISBN: 3642637817 ISBN-13(EAN): 9783642637810
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Henry Chang; Edoardo Charbon; Umakanta Choudhury;
Название: A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
ISBN: 1461346800 ISBN-13(EAN): 9781461346807
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Analog circuit design is often the bottleneck when designing mixed analog-digital systems. The principal goals are: (1) developing the design methodology, (2) developing and applying new tools, and (3) `proving` the methodology by undertaking `industrial strength` design examples.

Автор: Zhang
Название: Distributed Fusion Estimation for Sensor Networks with Communication Constraints
ISBN: 9811007934 ISBN-13(EAN): 9789811007934
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thisbook systematically presents energy-efficient robust fusion estimation methodsto achieve thorough and comprehensive results in the context of network-basedfusion estimation. It summarizes recent findings on fusion estimation withcommunication constraints; several novel energy-efficient and robust designmethods for dealing with energy constraints and network-induced uncertaintiesare presented, such as delays, packet losses, and asynchronous information...All the results are presented as algorithms, which are convenient for practicalapplications.

Автор: Louise Trave; Andre Titli; Ahmed M. Tarras
Название: Large Scale Systems: Decentralization, Structure Constraints, and Fixed Modes
ISBN: 3540507876 ISBN-13(EAN): 9783540507871
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is devoted to Large Scale Systems methodologies including decomposition, aggregation, and model reduction techniques. Graduate students concerned with system and control theory will be interested in this book, since it offers a global synthesis on the problem of structurally constrained control.

Автор: Ba-Ngu Vo; Antonio Cantoni; Kok Lay Teo
Название: Filter Design With Time Domain Mask Constraints: Theory and Applications
ISBN: 1441948589 ISBN-13(EAN): 9781441948588
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Optimum envelope-constrained filter design is concerned with time-domain synthesis of a filter such that its response to a specific input signal stays within prescribed upper and lower bounds, while minimizing the impact of input noise on the filter output or the impact of the shaped signal on other systems depending on the application.

Автор: Denys Duchier; Yannick Parmentier
Название: Constraint Solving and Language Processing
ISBN: 3642415776 ISBN-13(EAN): 9783642415777
Издательство: Springer
Рейтинг:
Цена: 42860.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Constraint Solving and Language Processing (CSLP) workshop considers the role of constraints in the representation of language and the implementation of language processing applications. Constraints are widely used in linguistics, computer science, and psychology.

Автор: Ali Saberi; Anton A. Stoorvogel; Peddapullaiah San
Название: Control of Linear Systems with Regulation and Input Constraints
ISBN: 1447111893 ISBN-13(EAN): 9781447111894
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph couples output regulation with several recent developments in modern control theory.