Search Results - program computing https functionality combining https

Search alternatives:
functionality combining » functions combining , function combining , functionality domain
https functionality » its functionality , bags functionality , cross functionality
program computing » program comparing , programs compiling , problem computing
combining https » combining hst , combining bottom , combining attack

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...”
View full text

Electronic eBook

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”
View full text

Electronic eBook

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /

Published 2013

Table of Contents: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
View full text

Electronic eBook

Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Published 2005

Table of Contents: “... Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid...”
View full text

Electronic eBook

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Published 2005

Table of Contents: “...-Oriented Languages -- A Functional Shell That Dynamically Combines Compiled Code -- Polymorphic Type...”
View full text

Electronic eBook

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /

Published 2005

Table of Contents: “... Procedures -- Connecting Many-Sorted Structures and Theories Through Adjoint Functions -- Combining Data...”
View full text

Electronic eBook

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Published 2013

Table of Contents: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
View full text

Electronic eBook

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

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

“... crafted by seamlessly combining two established loss functions: Mean Square Error (MSE) and LogCosh...”
View full text

Article

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Published 2015

Table of Contents: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
View full text

Electronic eBook

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... Perfectly One-Way Functions -- Error-Tolerant Combiners for Oblivious Primitives -- Asynchronous Multi-Party...”
View full text

Electronic eBook

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

Table of Contents: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”
View full text

Electronic eBook

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... -- A Logic Programming Framework for Combinational Circuit Synthesis -- Spatial-Yap: A Logic-Based...”
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

An Introduction to Meshfree Methods and Their Programming

by Liu, G.R., Liu, G.R., Gu, Y.T.
Published 2005

Table of Contents: “...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text

Electronic eBook

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
View full text

Electronic eBook

Distributed Computing 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008, Proceedings /

Published 2008

Table of Contents: “...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”
View full text

Electronic eBook

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”
View full text

Electronic eBook

1
2
3
4
5
6
7
8
9
10
11
Next »
[17]

Narrow Search