Результаты поиска - ((functions computation) or (functions conditional)) programming computational methods papers*

1

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

Опубликовано 2013

Оглавление: “... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”
Полный текст

Электронный ресурс eКнига

2

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

Опубликовано 2015

Оглавление: “... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...”
Полный текст

Электронный ресурс eКнига

3

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...”
Полный текст

Электронный ресурс eКнига

4

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

Опубликовано 2006

Оглавление: “... with Automatic Transition -- MIP-Guided Vascular Image Visualization with Multi-Dimensional Transfer Function...”
Полный текст

Электронный ресурс eКнига

5

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

Опубликовано 2010

Оглавление: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Полный текст

Электронный ресурс eКнига

6

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

Опубликовано 2008

Оглавление: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Полный текст

Электронный ресурс eКнига

7

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

Опубликовано 2010

Оглавление: “... on the Riblets Surface -- Towards Analysis of Semi-Markov Decision Processes -- Automatic Programming...”
Полный текст

Электронный ресурс eКнига

8

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

Опубликовано 2008

Оглавление: “... Motion Detection and Background Reconstruction with a Mixed-State Conditional Markov Random Field...”
Полный текст

Электронный ресурс eКнига

9

Advanced Techniques in Computing Sciences and Software Engineering

Опубликовано 2010

Оглавление: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Полный текст

Электронный ресурс eКнига

10

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

Опубликовано 2014

Оглавление: “... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”
Полный текст

Электронный ресурс eКнига

11

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

Опубликовано 2013

Оглавление: “... Function Theory.- A Genetic Algorithm for the TOPdTW at Operating Rooms.- A Computational Study...”
Полный текст

Электронный ресурс eКнига

12

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

Опубликовано 2013

Оглавление: “... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...”
Полный текст

Электронный ресурс eКнига

13

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

Опубликовано 2015

Оглавление: “... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”
Полный текст

Электронный ресурс eКнига

14

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

Опубликовано 2013

Оглавление: “... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”
Полный текст

Электронный ресурс eКнига

15

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

Опубликовано 2008

Оглавление: “... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...”
Полный текст

Электронный ресурс eКнига

16

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

Опубликовано 2007

Оглавление: “... for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A...”
Полный текст

Электронный ресурс eКнига

17

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

Опубликовано 2008

Оглавление: “... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”
Полный текст

Электронный ресурс eКнига

18

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

Опубликовано 2008

Оглавление: “... of Initial Conditions -- Genetic Programming for Feature Ranking in Classification Problems -- Time Series...”
Полный текст

Электронный ресурс eКнига

19

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Опубликовано 2010

Оглавление: “... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...”
Полный текст

Электронный ресурс eКнига

20

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

Опубликовано 2008

Оглавление: “...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска