Search Results - (((((((kent OR find) OR semantic) OR carter) OR cantor) OR anne) OR maarten) OR mantis) algorithms.

HTML5 Multimedia Development Cookbook. by Cruse, Dale

Table of Contents: “…; How it works ... ; There's more ... ; Validation as an aid, not a crutch; Eric Meyer's funny; Where to find validators; See also.…”
Full text (MFA users only)

Future Farming. by Shukla, Praveen Kumar

Table of Contents: “…PROPOSED METHODOLOGY -- Pre-processing -- Leaf Image from Plants -- Segmentation Model Using Improved Canny Algorithm -- Steps of Improved Canny Algorithm -- Leaf Image Feature Selection Using Hybrid Black Widow Optimization Algorithm with Mayfly Optimization Algorithm (BWO-MA) -- Pseudo-Code of the Hybrid (BWO-MA) Algorithm -- Output: Objective Function's -RMSE -- Leaf Image Classification Using (BWO-MA) with ANN -- Hyper-Parameter Tuning With (BWO-MA) -- RESULT AND DISCUSSION -- Dataset Description -- Evaluation & Results -- CONCLUSION -- REFERENCES…”
Full text (MFA users only)

Rough fuzzy image analysis : foundations and methodologies

Table of Contents: “…1. Cantor, fuzzy, near, and rough sets in image analysis / James F. …”
Full text (MFA users only)

Handbook of Modal Logic. by Blackburn, Patrick

Table of Contents: “…13 Quantified Modal Logic13.1 Syntax and Semantics; 13.2 Constant Domain Tableaus; 13.3 Soundness and Completeness; 13.4 Variations; 14 Conclusion; Bibliography; Chapter 3 Complexity of Modal Logic; 1 Introduction; 1.1 Examples of decision problems in modal logic; 1.2 A simple and a hard problem; 1.3 The model checking problem; 1.4 The consequence problem; 1.5 A tiling logic; 2 Decision algorithms; 2.1 Selection of points; 2.2 Filtration; 2.3 Hintikka set elimination; 2.4 Hintikka set elimination without constraints; 2.5 Forcing exponentially deep paths; 2.6 Tree automata; 2.7 Pseudo-models.…”
Full text (MFA users only)

Ivor Horton's beginning Visual C++ 2012 by Horton, Ivor

Table of Contents: “…Finding the Length of a Null-Terminated String --…”
Full text (MFA users only)

Enterprise artificial intelligence transformation : a playbook for the next generation of business and technology leaders by Haq, Rashed

Table of Contents: “…Types of Uses for Machine Learning -- Types of Machine Learning Algorithms -- Supervised, Unsupervised, and Semisupervised Learning -- Making Data More Useful -- Semantic Reasoning -- Applications of AI -- PART II Artificial Intelligence in the Enterprise -- Chapter 3 AI in E-Commerce and Retail -- Digital Advertising -- Marketing and Customer Acquisition -- Cross-Selling, Up-Selling, and Loyalty -- Business-to-Business Customer Intelligence -- Dynamic Pricing and Supply Chain Optimization -- Digital Assistants and Customer Engagement -- Chapter 4 AI in Financial Services -- Anti-Money Laundering.…”
Full text (MFA users only)

Artificial Intelligence and Machine Learning Fundamentals : Develop Real-World Applications Powered by the Latest AI Advances. by Nagy, Zsolt

Table of Contents: “…Uninformed and Informed SearchCreating Heuristics; Admissible and Non-Admissible Heuristics; Heuristic Evaluation; Exercise 5: Tic-Tac-Toe Static Evaluation with a Heuristic Function; Using Heuristics for an Informed Search; Types of Heuristics; Pathfinding with the A* Algorithm; Exercise 6: Finding the Shortest Path to Reach a Goal; Exercise 7: Finding the Shortest Path Using BFS; Introducing the A* Algorithm; A* Search in Practice Using the simpleai Library; Game AI with the Minmax Algorithm and Alpha-Beta Pruning; Search Algorithms for Turn-Based Multiplayer Games; The Minmax Algorithm…”
Full text (MFA users only)

Urodynamics : a quick pocket guide by Vignoli, Giancarlo

Full text (MFA users only)

Language and logos : studies in theoretical and computational linguistics

Table of Contents: “…CONTENTS -- Preface -- Part I Syntax -- A Spurious Genitive Puzzle in Polish -- Semantic Type Effects on Crossing Movement in German -- Me and Chomsky -- On the Typology of Verb Second -- Movement from Verb-Second Clauses Revisited -- Spurious Ambiguities and the Parentheticals Debate -- Part II Semantics -- On Squeamishness of the Royal Kind -- Information Structure of schon -- When- Clauses, Factive Verbs and Correlates -- The Proof Theory of Partial Variables -- Brentano's Apple -- How to Interpret Expletive Negation under bevor in German…”
Full text (MFA users only)

Structured Matrices in Mathematics, Computer Science, and Engineering. by Olshevsky, Vadim

Table of Contents: “…Contents -- Foreword -- Part V. Fast Algorithms -- The Schur algorithm for matrices with Hessenberg displacement structure -- Fast inversion algorithms for a class of block structured matrices -- A fast and stable solver for recursively semi-separable systems of linear equations -- Part VI. …”
Full text (MFA users only)
Full text (MFA users only)

Constraint Solving over Multi-valued Logics : Application to Digital Circuits.

Table of Contents: “…-- 3.2 Test Generation -- 3.3 TG Modelling Approaches and Algorithms.…”
Full text (MFA users only)

Smart antenna engineering by El Zooghby, Ahmed

Full text (MFA users only)

Just Enough R! : an Interactive Approach to Machine Learning and Analytics. by Roiger, Richard J.

Full text (MFA users only)

Media smart : lessons, tips and strategies for librarians, classroom instructors and other information professionals by Burkhardt, Joanna M.

Full text (MFA users only)

Advanced Methods and Technologies for Agent and Multi-Agent Systems. by Edited by

Table of Contents: “…""Role and Member Selection in Team Formation Using Resource Estimation""""Incorporating Explicit Coordination Mechanisms by Agents to Obtain Green Waves""; ""Communication Leading to Coalition Nash Equilibrium I""; ""Agent-Based Optimization""; ""An Agent-Based Cooperative Population Learning Algorithm for Vehicle Routing Problem with Time Windows""; ""Mobile Agent-based Dynamic Resource Allocation Method for Query Optimization in Data Grid Systems""; ""Memetic Multi-Agent Computing in Difficult Continuous Optimisation""; ""Web Services and Semantic Web""…”
Full text (MFA users only)

Quantum Bio-Informatics V : Proceedings of the Quantum Bio-Informatics 2011. by Accardi, Luigi

Table of Contents: “…Introduction; 2. Simon's period-finding quantum algorithm; 2.1. Ingredients of Simon's quantum period finding algorithm (QPFA); 3. …”
Full text (MFA users only)

The Complete Rust Programming Reference Guide : Design, Develop, and Deploy Effective Software Systems Using the Advanced Constructs of Rust. by Sharma, Rahul

Table of Contents: “…Chapter 1: Getting Started with Rust -- Chapter 2: Managing Projects with Cargo -- Chapter 3: Tests, Documentation, and Benchmarks -- Chapter 4: Types, Generics, and Traits -- Chapter 5: Memory Management and Safety -- Chapter 6: Error Handling -- Chapter 7: Advanced Concepts -- Chapter 8: Concurrency -- Chapter 9: Metaprogramming with Macros -- Chapter 10: Unsafe Rust and Foreign Function Interfaces -- Chapter 11: Logging -- Chapter 12: Network Programming in Rust -- Chapter 13: Building Web Applications with Rust -- Chapter 14: Lists, Lists, and More Lists -- Chapter 15: Robust Trees -- Chapter 16: Exploring Maps and Sets -- Chapter 17: Collections in Rust -- Chapter 18: Algorithm Evaluation -- Chapter 19: Ordering Things -- Chapter 20: Finding Stuff -- Chapter 21: Random and Combinatorial -- Chapter 22: Algorithms of the Standard Library.…”
Full text (MFA users only)

Geometric Function Theory In Several Complex Variables, Proceedings Of A Satellite Conference To The Int'l Congress Of Mathematicians In Beijing 2002. by FitzGerald, Carl H.

Table of Contents: “…Greiner and Jingzhi Tie); Defective values of double Meissel's formula and reduction of space-time requirement of Meissel-Lehmer-Lagarias-Odlyzko's algorithm an experimental program to find T(1021) (by Chen Guangxiao); Hardy space of holomorphic functions in infinite complex variables (by Zeqian Chen); The law of the iterated logarithm for pluriharmonic functions in the unit ball of Cn (by Zeqian Chen, Caiheng Ouyang).…”
Full text (MFA users only)

Electronic design automation : synthesis, verification, and test

Full text (MFA users only)

Visual Data Mining : The VisMiner Approach. by Anderson, Russell K.

Table of Contents: “…Regression Analysis -- The Regression Model -- Correlation and Causation -- Algorithms for Regression Analysis -- Assessing Regression Model Performance -- Model Validity -- Looking Beyond R2 -- Polynomial Regression -- Artificial Neural Networks for Regression Analysis -- Dataset Preparation -- Tutorial -- A Regression Model for Home Appraisal -- Modeling with the Right Set of Observations -- Exercise 6.1 -- ANN Modeling -- The Advantage of ANN Regression -- Top-Down Attribute Selection -- Issues in Model Interpretation -- Model Validation -- Model Application -- Summary…”
Full text (MFA users only)