Αποτελέσματα αναζήτησης - ((function computing) or (function computation)) programming resolving method based*

1

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

Έκδοση 2007

Πίνακας περιεχομένων: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Έκδοση 2007

Πίνακας περιεχομένων: “...Resolving Occlusion Method of Virtual Object in Simulation Using Snake and Picking Algorithm...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Έκδοση 2014

Πίνακας περιεχομένων: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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

ανά Saeed, Walid
Έκδοση 2005

Θέματα: “...Programming language(Electronic computer)...”
Λήψη πλήρους κειμένου

Thesis

6

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... Recognition in Portuguese -- Functional Aspects in Portuguese NER -- SIEMÊS – A Named-Entity Recognizer...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Έκδοση 2008

Πίνακας περιεχομένων: “... Multifractal Formalism: Definition and Implement -- Modified Filled Function Method for Resolving Nonlinear...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures...

Έκδοση 2005

Πίνακας περιεχομένων: “... Integer Programming -- Design Methods, Process and Creativity -- Examining Learning in Multiple Settings...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working...

Έκδοση 2005

Πίνακας περιεχομένων: “... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Έκδοση 2013

Πίνακας περιεχομένων: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- An Improved Conformance Testing Method -- Resolving Observability Problems in Distributed Test Architectures...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

ανά Saeed, Walid
Έκδοση 2005

“...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...”
Λήψη πλήρους κειμένου

Thesis

15

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Έκδοση 2010

Πίνακας περιεχομένων: “... in SOKU Systems -- Autonomous Systems -- A Computational Analysis of Cognitive Effort -- An Algorithm...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Networked Digital Technologies, Part I Second International Conference, NDT 2010, Prague, Czech Republic /

Έκδοση 2010

Πίνακας περιεχομένων: “... Functions -- Distributed Data-Mining in the LISp-Miner System Using Techila Grid -- Non-negative Matrix...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο