Search Results - programmed reduction https functionality adding https

Search alternatives:
programmed reduction » programme production , programmes education , programmed introduction
functionality adding » functionality using , functionality amino , functionality setting
https functionality » its functionality , bags functionality , cross functionality
reduction https » production https , education https , education http
adding https » aging https , auditing https , banking https

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Published 2008

Table of Contents: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

Computational and Analytical Mathematics In Honor of Jonathan Borwein's 60th Birthday /

Published 2013

Table of Contents: “... Subdifferential Operators (R.I. Boţ and E.R. Csetnek) -- 7. A q-Analog of Euler's Reduction Formula for the Double...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
View full text

Electronic eBook

Advances in Intelligent Data Analysis VI 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings /

Published 2005

Table of Contents: “... for Dimension Reduction to Visualize High Dimensional Data -- Miner Ants Colony: A New Approach to Solve a Mine...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2008

Table of Contents: “... -- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols -- Proving Ptolemy Right...”
View full text

Electronic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”
View full text

Electronic eBook

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Published 2008

Table of Contents: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
View full text

Electronic eBook

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Published 2010

Table of Contents: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
View full text

Electronic eBook

Analysis and Modeling of Complex Data in Behavioral and Social Sciences

Published 2014

Table of Contents: “...) -- Estimating a Rasch Model via Fuzzy Empirical Probability Functions -- Scale Reliability Evaluation for a...”
View full text

Electronic eBook

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Published 2010

Table of Contents: “... Cat Map -- Hybrid Activities of AODV for Wireless Ad hoc Sensor Network -- Design and Evaluation of a...”
View full text

Electronic eBook

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Published 2007

Table of Contents: “... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...”
View full text

Electronic eBook

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Published 2007

Table of Contents: “... Management for Multicast of Ad Hoc Sensor Network -- An Accurate and Fast WLAN User Location Estimation...”
View full text

Electronic eBook

Security in Communication Networks 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Invited Talk -- ECRYPT: The Cryptographic Research Challenges for the Next Decade -- Reduction...”
View full text

Electronic eBook

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I...

Published 2010

Table of Contents: “... for Vehicular Ad-Hoc Networks -- WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm...”
View full text

Electronic eBook

Agent and Multi-Agent Systems: Technologies and Applications 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Programming API for Lego Mindstorms NXT -- Agent-Enabled Collaborative Downloading: Towards Energy-Efficient...”
View full text

Electronic eBook

Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings /

Published 2014

Table of Contents: “... with Sliding Cameras in Linear Time -- Information Gathering in Ad-Hoc Radio Networks with Tree Topology...”
View full text

Electronic eBook

Narrow Search