## Home > Tags: method (Total 569 Records)

### Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

Algorithms By:Willem-Paul de Roever 2008-12-18 00:00:00

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refin data refinement, model-oriented proof methods, data refinement correct, data refinement proofs, highly applicable method

Tags:
*computer*
*data*
*science*
*method*
*theoretical*
*tracts*
*refinement*
*cambridge*
*proof*
*comparison*

### Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

Computer Science By:C. Neville Dean, Raymond T. Boute 2008-06-13 00:00:00

This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004. The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from n formal methods, colognet/fme symposium, lecture notes, teaching formal methods, tfm

Tags:
*computer*
*lecture*
*science*
*method*
*teaching*
*symposium*
*proceedings*
*formal*
*tfm*
*belgium*
*ghent*

### Reliable Face Recognition Methods: System Design, Implementation and Evaluation (International Series on Biometrics)

Computer Science By:Harry Wechsler 2006-11-02 00:00:00

This book seeks to comprehensively address the face recognition problem while gaining new insights from complementary fields of endeavor. These include neurosciences, statistics, signal and image processing, computer vision, machine learning and data mining. The book examines the evolution of resear face recognition methods, reliable face recognition, face recognition problem, reference work.reliable face, international series

Tags:
*design*
*implementation*
*system*
*series*
*method*
*recognition*
*face*
*evaluation*
*biometrics*
*reliable*

### Instruction Selection: Principles, Methods, and Applications

Algorithms By:Gabriel Hjort Blindell 2016-07-01 00:00:00

Authors: Hjort Blindell, Gabriel First comprehensive treatment of this topic since the 1980s Guides reader towards the extensive research literature Presents an elegant new taxonomy, and points to open problems This book presents a comprehensive, structured, up-to-date survey on instruction selecti instruction selection, extensive research literature, fundamental principles, interdependent machine instructions, machine instruction characteristics

### Computational and Statistical Methods for Analysing Big Data with Applications

Databases By:Shen Liu 2015-12-08 00:00:00

Due to the scale and complexity of data sets currently being collected in areas such as health, transportation, environmental science, engineering, information technology, business and finance, modern quantitative analysts are seeking improved and appropriate computational and statistical methods to big data, analysing big data, statistical methods, case studies, modern quantitative analysts

Tags:
*data*
*application*
*computational*
*method*
*statistical*
*analysing*

### Java Methods A&AB, AP Edition

Java By:Maria Litvin and Gary Litvin 2006-03-15 00:00:00

Once again, the Litvins bring you a textbook that expertly covers the subject, is fun to read, and works for students with different learning styles. In one volume, this edition covers both introductory Java/OOP A-level material and AB-level topics (data structures and algorithms). The book follows ap cs program, java methods a&, different learning styles, introductory java/oop a-level, java collections framework

### Design, User Experience, and Usability: Theories, Methods, and Tools for Designing the User Experience: Third International Conference, DUXU 2014, ... Part I (Lecture Notes in Computer Science)

Computer Science By:Aaron Marcus 2014-05-15 00:00:00

These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of c user experience, lecture notes, international conference, human-computer interaction, development efforts

Tags:
*computer*
*design*
*experience*
*lecture*
*science*
*method*
*tool*
*usability*
*conference*
*theories*
*duxu*

### Soft Computing Methods for Microwave and Millimeter-Wave Design Problems (Springer Studies in Computational Intelligence)

Computer Science By:Narendra Chauhan 2012-02-07 00:00:00

The growing commercial market of Microwave/ Millimeter wave industry over the past decade has led to the explosion of interests and opportunities for the design and development of microwave components.The design of most microwave components requires the use of commercially available electromagnetic millimeter-wave design problems, microwave components.the design, microwave/ millimeter wave, springer studies, soft computing methods

Tags:
*design*
*study*
*computing*
*soft*
*computational*
*method*
*problem*
*springer*
*intelligence*
*microwave*

### Handbook of Applied Spatial Analysis: Software Tools, Methods and Applications

Computer Science By:Manfred M. Fischer 2009-12-17 00:00:00

The Handbook is written for academics, researchers, practitioners and advanced graduate students. It has been designed to be read by those new or starting out in the field of spatial analysis as well as by those who are already familiar with the field. The chapters have been written in such a way th applied spatial analysis, advanced graduate students, software tools, important overview, handbook

Tags:
*application*
*analysis*
*software*
*handbook*
*method*
*tool*
*spatial*

### Efficient Algorithms for Global Optimization Methods in Computer Vision: International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, ... Papers (Lecture Notes in Computer Science)

Algorithms By:Andres Bruhn 2014-04-02 00:00:00

This book constitutes the thoroughly refereed post-conference proceedings of the International Dagstuhl-Seminar on Efficient Algorithms for Global Optimization Methods in Computer Vision, held in Dagstuhl Castle, Germany, in November 2011. The 8 revised full papers presented were carefully reviewed global optimization methods, international dagstuhl seminar, dagstuhl castle, efficient algorithms, lecture notes

Tags:
*optimization*
*computer*
*algorithm*
*efficient*
*lecture*
*science*
*method*
*global*
*vision*
*papers*
*dagstuhl*
*seminar*
*castle*