Canlyniadau Chwilio - ((function computation) or (functions computation)) programming approach method cases*

1

Cyhoeddwyd 2006

Tabl Cynhwysion: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Cael y testun llawn

Electronig eLyfr

2

Stochastic Linear Programming Models, Theory, and Computation /

gan Kall, Peter., Kall, Peter., Mayer, János.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Cael y testun llawn

Electronig eLyfr

3

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

4

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”
Cael y testun llawn

Electronig eLyfr

5

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
Cael y testun llawn

Electronig eLyfr

6

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

7

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Cael y testun llawn

Electronig eLyfr

10

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held...

Cyhoeddwyd 2007

Tabl Cynhwysion: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
Cael y testun llawn

Electronig eLyfr

11

Advances in Communication and Computing

Cyhoeddwyd 2015

Tabl Cynhwysion: “...A Discrete Event System Based Approach for Obfuscated Malware Detection -- Quantification...”
Cael y testun llawn

Electronig eLyfr

12

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children -- Variability...”
Cael y testun llawn

Electronig eLyfr

13

Twofold Integer Programming Model for Improving Rough Set Classification Accuracy in Data Mining.

gan Saeed, Walid
Cyhoeddwyd 2005

Pynciau: “...Programming language(Electronic computer)...”
Cael y testun llawn

Thesis

14

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach First...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Based on Genetic Computation of Surrogate Multipliers -- An Evolutionary Approach to Designing...”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Networks to Enhance Customer Lifetime Predictions -- A Note on Machine Learning Approach to Analyze...”
Cael y testun llawn

Electronig eLyfr

16

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”
Cael y testun llawn

Electronig eLyfr

17

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

18

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

19

Towards the Internet of Services: The THESEUS Research Program

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”
Cael y testun llawn

Electronig eLyfr

20

Statistical Approach to Quantum Field Theory An Introduction /

gan Wipf, Andreas., Wipf, Andreas.
Cyhoeddwyd 2013

Tabl Cynhwysion: “... Inequalities and Roots of Partition Functions -- High-Temperature and Low-Temperature Expansions -- Peierls...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad