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

Альтернативы поиска:
functions computational » function computation , directions computational , section computational
functions computation » function computation , functions composition , function composition
programming semantics » programming mathematics , programming series , programming secrets
semantics methods » semantic methods , semantics method , semantic method
methods classes » methods atlases , methods case , methods charles

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

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

Оглавление: “... -- An Abstract Strong Normalization Theorem -- Semantics and Logics -- On Bunched Polymorphism -- Distributed...”
Полный текст

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

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

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

Оглавление: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Полный текст

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

The Semantic Web: Research and Applications 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain /

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

Оглавление: “... -- Foundational Issues -- An Entity Name System (ENS) for the Semantic Web -- A Functional Semantic Web...”
Полный текст

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

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Книга

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

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

Оглавление: “... Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type...”
Полный текст

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

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

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

Оглавление: “... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”
Полный текст

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

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

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

Оглавление: “... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...”
Полный текст

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

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

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

Оглавление: “... Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event...”
Полный текст

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

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

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

Оглавление: “... Expensive Functions -- Discriminant Analysis Methods for Microarray Data Classification...”
Полный текст

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

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

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

Оглавление: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Полный текст

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

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

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

Оглавление: “... the Multiagent Paradigm -- Genetic Computing and Games -- Experimental Comparison of Methods to Handle Boundary...”
Полный текст

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

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

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

Оглавление: “...Invited Papers -- Methodologies for Automated Telephone Answering -- Anomaly Detection in Computer...”
Полный текст

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

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

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

Оглавление: “... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”
Полный текст

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

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