Search Results - interval computer programming programming function https

Search alternatives:
programming programming » programming programmed , programming program
computer programming » computer program , computer programs
programming function » programming functional , programming functionals , programme function
interval computer » interface computer , interval computing , internet computer
function https » functions https , fiction https

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

Published 2008

Table of Contents: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
View full text

Electronic eBook

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Published 2007

Table of Contents: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”
View full text

Electronic eBook

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”
View full text

Electronic eBook

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Table of Contents: “... for the Minimal Interval Completion Problem -- Centdian Computation for Sensor Networks -- Twisted Jacobi...”
View full text

Electronic eBook

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”
View full text

Electronic eBook

Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Intervals, Syzygies, Numerical Gröbner Bases: A Mixed Study -- Application of Computer Algebra...”
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

The R Software Fundamentals of Programming and Statistical Analysis /

by Lafaye de Micheaux, Pierre., Lafaye de Micheaux, Pierre., Drouilhet, Rémy., Liquet, Benoit.
Published 2013

Table of Contents: “... Manipulation, Functions -- R and its Documentation -- Drawing Curves and Plots -- Programming in R -- Managing...”
View full text

Electronic eBook

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

Published 2005

Table of Contents: “... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”
View full text

Electronic eBook

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Published 2008

Table of Contents: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
View full text

Electronic eBook

Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings /

Published 2015

Table of Contents: “...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”
View full text

Electronic eBook

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
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: “...Invited Papers -- Toward Elucidating Language Functions in the Brain -- Privacy-Preserving...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
View full text

Electronic eBook

Narrow Search