Geometric Constraint Solving and Applications, Beat Br?derlin; Dieter Roller

Автор: Henry Chang; Edoardo Charbon; Umakanta Choudhury;
Название: A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
ISBN: 1461346800 ISBN-13(EAN): 9781461346807
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Bessiere
Название: Data Mining and Constraint Programming
ISBN: 3319501364 ISBN-13(EAN): 9783319501369
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It would not only allow one to use data mining techniques in constraint programming to identify and update constraints and optimization criteria, but also to employ constraints and criteria in data mining and machine learning in order to discover models compatible with prior knowledge.

Автор: Perwass Christian
Название: Geometric Algebra with Applications in Engineering
ISBN: 3642100325 ISBN-13(EAN): 9783642100321
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book examines all aspects essential for a successful application of geometric algebra to engineering-the theoretical foundations, the representation of geometric constraints, and the numerical estimation from uncertain data.

Автор: Jefferey Shufelt
Название: Geometric Constraints for Object Detection and Delineation
ISBN: 1461374057 ISBN-13(EAN): 9781461374053
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Geometric Constraints for Object Detection and Delineation addresses these problems with a suite of novel methods and techniques for detecting and delineating generic objects in images of complex scenes, and applies them to the specific task of building detection and delineation from monocular aerial imagery.

Автор: Jun Yuan; Carl Pixley; Adnan Aziz
Название: Constraint-Based Verification
ISBN: 1441938524 ISBN-13(EAN): 9781441938527
Издательство: Springer
Рейтинг:
Цена: 23757.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.