Zoekresultaten - ((function computing) or (functions conditional)) programming using method papers*

1

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Gepubliceerd in 2015

Inhoudsopgave: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Volledige tekst

Elektronisch E-boek

2

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”
Volledige tekst

Elektronisch E-boek

3

Computer and Computing Technologies in Agriculture VI 6th IFIP WG 5.14 International Conference...

Gepubliceerd in 2013

Inhoudsopgave: “... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”
Volledige tekst

Elektronisch E-boek

4

Applications of Declarative Programming and Knowledge Management 19th International Conference...

Gepubliceerd in 2013

Inhoudsopgave: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Volledige tekst

Elektronisch E-boek

5

Advanced Techniques in Computing Sciences and Software Engineering

Gepubliceerd in 2010

Inhoudsopgave: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Volledige tekst

Elektronisch E-boek

6

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2005

Inhoudsopgave: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Volledige tekst

Elektronisch E-boek

8

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... Continuity Conditions Between Two B-Spline Surfaces -- Automated Face Identification Using Volume-Based...”
Volledige tekst

Elektronisch E-boek

9

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

Gepubliceerd in 2008

Inhoudsopgave: “... -- An Experimental Comparison of Discrete and Continuous Shape Optimization Methods -- Image Feature Extraction Using...”
Volledige tekst

Elektronisch E-boek

10

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

Gepubliceerd in 2010

Inhoudsopgave: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
Volledige tekst

Elektronisch E-boek

11

Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Volledige tekst

Elektronisch E-boek

12

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Gepubliceerd in 2013

Inhoudsopgave: “..., Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras – One...”
Volledige tekst

Elektronisch E-boek

13

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /

Gepubliceerd in 2013

Inhoudsopgave: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Volledige tekst

Elektronisch E-boek

14

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Volledige tekst

Elektronisch E-boek

15

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: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
Volledige tekst

Elektronisch E-boek

16

Modelling, Computation and Optimization in Information Systems and Management Sciences Second...

Gepubliceerd in 2008

Inhoudsopgave: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Volledige tekst

Elektronisch E-boek

17

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”
Volledige tekst

Elektronisch E-boek

18

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...”
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

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken