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

1

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Cael y testun llawn

Electronig eLyfr

3

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Cael y testun llawn

Electronig eLyfr

4

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”
Cael y testun llawn

Electronig eLyfr

5

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal...”
Cael y testun llawn

Electronig eLyfr

6

Advances in Communication and Computing

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Effect of Loads on the Transfer Function of Power Line -- On-Line and Off-Line Handwriting Recognition...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... the Results of Pairwise Comparison Based Parametric Evaluation of Research Units -- Bagging of Instance...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”
Cael y testun llawn

Electronig eLyfr

10

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”
Cael y testun llawn

Electronig eLyfr

11

Towards the Internet of Services: The THESEUS Research Program

Cyhoeddwyd 2014

Tabl Cynhwysion: “... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”
Cael y testun llawn

Electronig eLyfr

13

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

gan Sadeghian, Syed Hamidreza
Cyhoeddwyd 2014

Pynciau: “...Model-integrated computing...”
Cael y testun llawn

Thesis

14

Automated model-based test case generation using UML activity diagram

gan Monim, Md Abdul
Cyhoeddwyd 2018

Pynciau: “...Computer software...”
Cael y testun llawn

Thesis

15

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Library Methods: An Evaluation of the Vector Space Model (VSM) and Latent Semantic Indexing (LSI...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles...”
Cael y testun llawn

Electronig eLyfr

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...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”
Cael y testun llawn

Electronig eLyfr

18

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Cael y testun llawn

Electronig eLyfr

20

Modeling Psychophysical Data in R

gan Knoblauch, Kenneth., Knoblauch, Kenneth., Maloney, Laurence T.
Cyhoeddwyd 2012

Tabl Cynhwysion: “...) -- The Psychometric Function: Introduction -- The Psychometric Function: Continuation -- Classification Images...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad