wyszukanych pozycji: 5
Handbook of Blind Source Separation: Independent Component Analysis and Applications
ISBN: 9780123747266 / Angielski / Twarda / 2010 / 831 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. Edited by the people who were forerunners in creating the field, together with contributions from 34 leading international experts, this handbook provides the definitive reference on Blind Source Separation, giving a broad and comprehensive description of all the core principles and methods, numerical algorithms and major applications in the fields of telecommunications, biomedical engineering and audio, acoustic and speech processing. Going beyond a machine learning perspective, the book reflects recent results in signal processing and numerical analysis, and includes topics such as... Edited by the people who were forerunners in creating the field, together with contributions from 34 leading international experts, this handbook p... |
|
cena:
597,01 zł |
Rewriting Techniques and Applications: 8th International Conference, Rta-97, Sitges, Spain, June 2-5, 1997. Proceedings
ISBN: 9783540629504 / Angielski / Miękka / 1997 / 348 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997.
The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications. This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, S...
|
|
cena:
196,31 zł |
Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
ISBN: 9783540731467 / Angielski / Miękka / 2007 / 276 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient... Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced ... |
|
cena:
196,31 zł |
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
ISBN: 9783540593409 / Angielski / Miękka / 1995 / 228 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in Font Romeu, France in May 1993.
This seminar was devoted to rewriting in a broad sense, as rewriting is now an important discipline, relating to many other areas such as formal languages, models of concurrency, tree automata, functional programming languages, constraints, symbolic computation, and automated deduction. The book includes a number of surveys contributed by senior researchers as well as a few papers presenting original research of... This volume contains thoroughly revised versions of the contributions presented at the French Spring School of Theoretical Computer Science, held in F...
|
|
cena:
196,31 zł |
Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
ISBN: 9783540419501 / Angielski / Miękka / 2001 / 316 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.
This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school... Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming parad...
|
|
cena:
196,31 zł |