Search Results - interval computing programming programming computation https

Search alternatives:
programming programming » programming programmed , programming program
programming computation » programming formulation , programming comparison , programming formulations
computing programming » computer programming , computers programming
interval computing » intervals comparing , internet computing , interval counting
computation https » computing https

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

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

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

Published 2014

Table of Contents: “... Sensing -- Breaking the PPSZ Barrier for Unique 3-SAT -- Privately Solving Linear Programs -- How...”
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

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

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

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

Published 2010

Table of Contents: “... on the Planar Branchwidth with Respect to the Largest Grid Minor Size -- Session 7A. Computational Geometry II...”
View full text

Electronic eBook

Algorithms and Computation 17th International Symposium, ISAAC 2006, Kolkata, India, December 18-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”
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

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: “... -- Improved Fault Tolerance and Secure Computation on Sparse Networks -- Sparse Reliable Graph Backbones...”
View full text

Electronic eBook

Constraint Programming and Decision Making

Published 2014

Table of Contents: “... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”
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

Genetic Programming Theory and Practice V

Published 2008

Table of Contents: “...Genetic Programming: Theory and Practice -- Better Solutions Faster: Soft Evolution of Robust...”
View full text

Electronic eBook

Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday /

Published 2012

Table of Contents: “... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”
View full text

Electronic eBook

Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings /

Published 2005

Table of Contents: “... Distributed System-Level Diagnosis -- Analysis of Interval-Based Global State Detection -- Grid Computing -- A...”
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: “...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”
View full text

Electronic eBook

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

Narrow Search