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

Tarkoititko:
programming computational » programming computation , program computational , processing computational
functions computation » function computation , functions composition , function composition
functions conditional » functions functional , functional conditioning , functions computational
methods papers » method papers , methods pattern , methods part

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

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

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

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

Julkaistu 2006

Sisällysluettelo: “... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Julkaistu 2010

Sisällysluettelo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hae kokoteksti

Elektroninen E-kirja

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

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

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

Julkaistu 2008

Sisällysluettelo: “... Motion Detection and Background Reconstruction with a Mixed-State Conditional Markov Random Field...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

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

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

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

Julkaistu 2013

Sisällysluettelo: “... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...”
Hae kokoteksti

Elektroninen E-kirja

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Julkaistu 2015

Sisällysluettelo: “... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”
Hae kokoteksti

Elektroninen E-kirja

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

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

Julkaistu 2008

Sisällysluettelo: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Hae kokoteksti

Elektroninen E-kirja

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Julkaistu 2007

Sisällysluettelo: “... for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A...”
Hae kokoteksti

Elektroninen E-kirja

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

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

Julkaistu 2008

Sisällysluettelo: “... of Initial Conditions -- Genetic Programming for Feature Ranking in Classification Problems -- Time Series...”
Hae kokoteksti

Elektroninen E-kirja

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: “... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...”
Hae kokoteksti

Elektroninen E-kirja

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

Rajaa hakua