Zoekresultaten - ((function computing) or (functions computational)) programming evaluation methods cases*

1

Gepubliceerd in 2006

Inhoudsopgave: “... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...”
Volledige tekst

Elektronisch E-boek

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Volledige tekst

Elektronisch E-boek

3

Innovations in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Volledige tekst

Elektronisch E-boek

4

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Volledige tekst

Elektronisch E-boek

5

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal...”
Volledige tekst

Elektronisch E-boek

6

Advances in Communication and Computing

Gepubliceerd in 2015

Inhoudsopgave: “... Effect of Loads on the Transfer Function of Power Line -- On-Line and Off-Line Handwriting Recognition...”
Volledige tekst

Elektronisch E-boek

7

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part II /

Gepubliceerd in 2014

Inhoudsopgave: “... the Results of Pairwise Comparison Based Parametric Evaluation of Research Units -- Bagging of Instance...”
Volledige tekst

Elektronisch E-boek

8

Abdominal Imaging. Computational and Clinical Applications 5th International Workshop, Held...

Gepubliceerd in 2013

Inhoudsopgave: “... Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography...”
Volledige tekst

Elektronisch E-boek

9

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory...

Gepubliceerd in 2007

Inhoudsopgave: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Volledige tekst

Elektronisch E-boek

10

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Gepubliceerd in 2010

Inhoudsopgave: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Volledige tekst

Elektronisch E-boek

11

Towards the Internet of Services: The THESEUS Research Program

Gepubliceerd in 2014

Inhoudsopgave: “... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”
Volledige tekst

Elektronisch E-boek

12

Topics in Operator Theory Volume 1: Operators, Matrices and Analytic functions /

Gepubliceerd in 2010

Inhoudsopgave: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Volledige tekst

Elektronisch E-boek

13

Development of an integrated scheduling model for handling equipment in automated port container terminals

door Sadeghian, Syed Hamidreza
Gepubliceerd in 2014

Onderwerpen: “...Model-integrated computing...”
Volledige tekst

Thesis

14

Automated model-based test case generation using UML activity diagram

door Monim, Md Abdul
Gepubliceerd in 2018

Onderwerpen: “...Computer software...”
Volledige tekst

Thesis

15

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Library Methods: An Evaluation of the Vector Space Model (VSM) and Latent Semantic Indexing (LSI...”
Volledige tekst

Elektronisch E-boek

16

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Gepubliceerd in 2012

Inhoudsopgave: “... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...”
Volledige tekst

Elektronisch E-boek

17

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Gepubliceerd in 2010

Inhoudsopgave: “... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”
Volledige tekst

Elektronisch E-boek

18

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Volledige tekst

Elektronisch E-boek

19

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Volledige tekst

Elektronisch E-boek

20

Modeling Psychophysical Data in R

door Knoblauch, Kenneth., Knoblauch, Kenneth., Maloney, Laurence T.
Gepubliceerd in 2012

Inhoudsopgave: “...) -- The Psychometric Function: Introduction -- The Psychometric Function: Continuation -- Classification Images...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken