Resultados de procura - ((functions computational) 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 /

Publicado 2015

Table of Contents: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Ligazón do recurso

Electrónico eBook

2

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

Publicado 2014

Table of Contents: “... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”
Ligazón do recurso

Electrónico eBook

3

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

Publicado 2013

Table of Contents: “... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”
Ligazón do recurso

Electrónico eBook

4

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

Publicado 2013

Table of Contents: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Ligazón do recurso

Electrónico eBook

5

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

Publicado 2008

Table of Contents: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Ligazón do recurso

Electrónico eBook

6

Advanced Techniques in Computing Sciences and Software Engineering

Publicado 2010

Table of Contents: “... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”
Ligazón do recurso

Electrónico eBook

7

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

Publicado 2005

Table of Contents: “... -- A Parallel and Distributed Method for Computing High Dimensional MOLAP -- An Improved ACO Algorithm...”
Ligazón do recurso

Electrónico eBook

8

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

Publicado 2006

Table of Contents: “... Continuity Conditions Between Two B-Spline Surfaces -- Automated Face Identification Using Volume-Based...”
Ligazón do recurso

Electrónico eBook

9

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

Publicado 2008

Table of Contents: “... -- An Experimental Comparison of Discrete and Continuous Shape Optimization Methods -- Image Feature Extraction Using...”
Ligazón do recurso

Electrónico eBook

10

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

Publicado 2010

Table of Contents: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
Ligazón do recurso

Electrónico eBook

11

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

Publicado 2008

Table of Contents: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Ligazón do recurso

Electrónico eBook

12

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

Publicado 2013

Table of Contents: “..., Remote Gaze Detection System Based on Pupil-Corneal Reflection Method with Using Two Video Cameras – One...”
Ligazón do recurso

Electrónico eBook

13

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

Publicado 2013

Table of Contents: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Ligazón do recurso

Electrónico eBook

14

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

Publicado 2008

Table of Contents: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...”
Ligazón do recurso

Electrónico eBook

16

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

Publicado 2008

Table of Contents: “... for the Automatic Regulation of Intersections in Real Time Using Soft-Computing Techniques -- Composite Dispatching...”
Ligazón do recurso

Electrónico eBook

17

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

Publicado 2008

Table of Contents: “... Optimization Using a Steady-State Approach -- Genetic Algorithm Based Methods for Identification of Health Risk...”
Ligazón do recurso

Electrónico eBook

18

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

Publicado 2006

Table of Contents: “... About Metric and Topology -- The QBFEVAL Web Portal -- A Slicing Tool for Lazy Functional Logic Programs...”
Ligazón do recurso

Electrónico eBook

19

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

Publicado 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Ligazón do recurso

Electrónico eBook

20

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

Publicado 2010

Table of Contents: “... for Objective Functions with Locally Correlated Variables -- Neural Data Analysis and Reduction Using Improved...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados