Hakutulokset - ((functions computational) or (functions conditional)) programming using methods papers*

1

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

Julkaistu 2015

Sisällysluettelo: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2014

Sisällysluettelo: “... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2013

Sisällysluettelo: “... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2013

Sisällysluettelo: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2008

Sisällysluettelo: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Hae kokoteksti

Elektroninen E-kirja

6

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2006

Sisällysluettelo: “... Continuity Conditions Between Two B-Spline Surfaces -- Automated Face Identification Using Volume-Based...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2005

Sisällysluettelo: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2008

Sisällysluettelo: “... -- An Experimental Comparison of Discrete and Continuous Shape Optimization Methods -- Image Feature Extraction Using...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2010

Sisällysluettelo: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2008

Sisällysluettelo: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2013

Sisällysluettelo: “..., Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras – One...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2013

Sisällysluettelo: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2008

Sisällysluettelo: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2008

Sisällysluettelo: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2008

Sisällysluettelo: “... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2006

Sisällysluettelo: “... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2008

Sisällysluettelo: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Hae kokoteksti

Elektroninen E-kirja

20

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

Julkaistu 2010

Sisällysluettelo: “... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua