|
|
|
|
Software Abstractions: Logic, Language, and Analysis
As a programmer working for Logica UK in London in the mid-1980’s, I became a passionate advocate of formal methods. Extrapolating from small successes with VDM and JSP, I was sure that widespread use of formal methods would bring an end to the software crisis.
One approach especially intrigued me. John Guttag and Jim... | | Artificial Organic Networks: Artificial Intelligence Based on Carbon Networks
This monograph describes the synthesis and use of biologically-inspired artificial hydrocarbon networks (AHNs) for approximation models associated with machine learning and a novel computational algorithm with which to exploit them. The reader is first introduced to various kinds of algorithms designed to deal with approximation problems and... | | Basic GIS Coordinates, Second Edition
Coordinates are the foundation of GIS, cartography, and surveying, to name just a few fields. Computers have an astounding capacity for repetition and they possess a superior ability to handle the mathematics behind coordinate manipulation—but they are very bad at interpreting coordinates and coordinate systems.
Basic... |
|
|
Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis (Information Science and Statistics)Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies in the area of applied artificial intelligence, offering intuitive, efficient, and reliable methods for diagnosis, prediction, decision making, classification, troubleshooting, and data mining under uncertainty.... | | 3D Game Development with Microsoft Silverlight 3: Beginner's GuideMicrosoft Silverlight is a programmable web browser plug-in that enables the animation, vector graphics, and audio-video playback features that characterize Rich Internet Applications. Silverlight is a great (and growing) RIA platform and games are the next level to exploit in it. But it doesn't offer 3D capabilities out of the box and integrating... | | |
|
|
|
Result Page: 159 158 157 156 155 154 153 152 151 150 149 148 147 146 145 144 143 142 141 |