Результаты поиска - interactions ((functions programming) or (functional programming)) definition based three

1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

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

Оглавление: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Полный текст

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

2

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

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

Оглавление: “... for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics...”
Полный текст

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

3

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

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

Оглавление: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Полный текст

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

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

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

Оглавление: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Полный текст

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

5

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

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

Оглавление: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Полный текст

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

6

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /

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

Оглавление: “...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”
Полный текст

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

7

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

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

Оглавление: “... with Oscillatory Coefficients.-Part III: Advanced Methods for Transport Optimization–Based Modeling...”
Полный текст

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

8

Advances in Natural Language Processing 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings /

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

Оглавление: “... Semantics Language Resource Based on the Theory of Semantic Fields -- Automatically Extracting Personal Name...”
Полный текст

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

9

Software Process and Product Measurement International Conference, IWSM–MENSURA 2007, Palma de Mallorca, Spain, November 5-8, 2007, Revised Papers /

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

Оглавление: “...-Organizational ERP Size and Effort Estimation -- Do Base Functional Component Types Affect the Relationship...”
Полный текст

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

10

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

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

Оглавление: “...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...”
Полный текст

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

11

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

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

Оглавление: “... for Multiagent Interaction by F-logic -- Adding Adaptability to Mailbox-Based Mobile IP -- Palpability Support...”
Полный текст

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

12

Natural Language Processing and Information Systems 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2...

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

Оглавление: “... -- Analysis of Definitions of Verbs in an Explanatory Dictionary for Automatic Extraction of Actants Based...”
Полный текст

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

13

Developing the physical education curriculum: an achievement-based approach /

по Kelly, Luke E.
Опубликовано 2004

Оглавление: “... -- Eclectic -- Achievement-based curriculum -- The achievement-based physical education curriculum -- Program...”
Table of contents

‌

14

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

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

Оглавление: “... Perspective -- Definition of Attack in Context of High Level Interaction Honeypots -- Integrating Constraints...”
Полный текст

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

15

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /

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

Оглавление: “... for Probabilistic Languages -- Scene Based Reasoning -- Anchoring Knowledge in Interaction: Towards a harmonic...”
Полный текст

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

16

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

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

Оглавление: “... Multifractal Formalism: Definition and Implement -- Modified Filled Function Method for Resolving Nonlinear...”
Полный текст

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

17

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

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

Оглавление: “... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...”
Полный текст

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

18

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

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

Оглавление: “... -- Approximating Graphs by Graphs and Functions (Abstract) -- Traces, Feedback, and the Geometry of Computation...”
Полный текст

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

19

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

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

Оглавление: “...-Definition Movies -- Design and Experimental Validation of UAV Control System Software Based on the TMO...”
Полный текст

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

20

Artificial Intelligence in Theory and Practice IFIP 19th World Computer Congress, TC 12: IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /

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

Оглавление: “... Definition Questions by Two Machine Learning Approaches -- Fuzzy Rule-Based Hand Gesture Recognition...”
Полный текст

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

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