 |
|
|
 Modern Signal Processing (Mathematical Sciences Research Institute Publications)
The mathematical basis of signal processing and its many areas of application is the subject of this book. Based on a series of graduate-level lectures held at the Mathematical Sciences Research Institute, the volume emphasizes current challenges, new techniques adapted to new technologies, and certain recent advances in algorithms and... |  |  Geometric Partial Differential Equations and Image Analysis
This book is an introduction to the use of geometric partial differential equations (PDEs) in image processing and computer vision. This relatively new research area brings a number of new concepts into the field, providing, among other things, a very fundamental and formal approach to image processing. State-of-the-art practical results in... |  |  The Clausal Theory of Types
This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long-sought goal of logic programming, the clausal theory of types is a logic programming language that allows functional computation as a primitive operation while having rigorous, sound, and... |
|
|
|
Result Page: 73 72 71 70 69 68 67 66 65 64 63 62 61 |