Search Results - programs active https functionality setting https

Search alternatives:
functionality setting » functionality testing , functionality securing , functional setting
https functionality » its functionality , bags functionality , cross functionality
programs active » programs action , programs adaptive , programs practices
setting https » being https , writing https , feeding https
active https » practice https , vaccine https , crime https

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Functional Data Analysis and Its Application -- Evaluation of Pictogram Using Rough Sets -- A Logical...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Answer Set Programming for Knowledge Representation and Reasoning: Future Directions -- Building a...”
View full text

Electronic eBook

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Answer Set Programming for the Semantic Web -- Coinductive Logic Programming and Its Applications...”
View full text

Electronic eBook

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text

Electronic eBook

Adapting Proofs-as-Programs The Curry--Howard Protocol /

by Poernomo, Iman., Poernomo, Iman., Crossley, John N., Wirsing, Martin.
Published 2005

Table of Contents: “...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text

Electronic eBook

Genetic Programming Theory and Practice II

Published 2005

Table of Contents: “... Context -- Favourable Biasing of Function Sets Using Run Transferable Libraries -- Toward Automated Design...”
View full text

Electronic eBook

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Published 2010

Table of Contents: “... in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases...”
View full text

Electronic eBook

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”
View full text

Electronic eBook

Textpattern Solutions PHP-Based Content Management Made Easy /

by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007

Table of Contents: “...Getting started -- Setting the Stage -- Installing Textpattern -- The Textpattern Interface -- Site...”
View full text

Electronic eBook

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /

Published 2008

Table of Contents: “... -- A Comprehensive Study on Reducts in Dominance-Based Rough Set Approach -- Graph-Based Active...”
View full text

Electronic eBook

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”
View full text

Electronic eBook

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
View full text

Electronic eBook

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings /

Published 2010

Table of Contents: “... to Examine the Extent of SPI Activity in an Organisation -- Team SPICE: A SPICE-Based Teamwork Assessment...”
View full text

Electronic eBook

Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /

Published 2007

Table of Contents: “...Keynotes -- Software Architectures for Task-Oriented Computing -- An Active Architecture Approach...”
View full text

Electronic eBook

Prediction of course grades in computer science higher education program via a combination of loss functions in lstm model

by Ghazvini, Anahita, Mohd Sharef, Nurfadhlina, Sidi, Fatimah
Published 2024

“... meticulously designed feature sets representing combination of demography, learning activities and assessment...”
View full text

Article

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Published 2014

Table of Contents: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
View full text

Electronic eBook

Lattice Multivariate Data Visualization with R /

by Sarkar, Deepayan., Sarkar, Deepayan.
Published 2008

Table of Contents: “... Parameters and Other Settings -- Plot Coordinates and Axis Annotation -- Labels and Legends -- Data...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

Dynamics, Games and Science International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013 /

Published 2015

Table of Contents: “... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...”
View full text

Electronic eBook

Narrow Search