Risultati della ricerca - parallel programs approximation functionality function https

Cerca anche:
approximation functionality » approximation functional , application functionality , approximation fractional
programs approximation » programs approximating , problems approximation , programming approximation
functionality function » functionals function , functionaries function , functional functions
parallel programs » parallel programming
function https » functions https , fiction https

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th...

Pubblicazione 2010

Sommario: “...Contributed Talks of APPROX -- Approximation Algorithms for the Bottleneck Asymmetric Traveling...”
Testo

Elettronico eBook

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Pubblicazione 2010

Sommario: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Testo

Elettronico eBook

Recent Advances in Operator Theory and Its Applications The Israel Gohberg Anniversary Volume /

Pubblicazione 2005

Sommario: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
Testo

Elettronico eBook

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Pubblicazione 2010

Sommario: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
Testo

Elettronico eBook

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Pubblicazione 2006

Sommario: “...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”
Testo

Elettronico eBook

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

Pubblicazione 2008

Sommario: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Testo

Elettronico eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Pubblicazione 2013

Sommario: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Testo

Elettronico eBook

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”
Testo

Elettronico eBook

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

Pubblicazione 2010

Sommario: “... Functions Conflicts Calculation -- Credal Sets Approximation by Lower Probabilities: Application to Credal...”
Testo

Elettronico eBook

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Pubblicazione 2005

Sommario: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Testo

Elettronico eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Pubblicazione 2010

Sommario: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Testo

Elettronico eBook

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Testo

Elettronico eBook

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

Pubblicazione 2015

Sommario: “... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”
Testo

Elettronico eBook

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers /

Pubblicazione 2015

Sommario: “... for Convergence Analysis -- The Power of Trefftz Approximations: Finite Difference, Boundary Difference...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Testo

Elettronico eBook

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Pubblicazione 2008

Sommario: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Testo

Elettronico eBook

Multiobjective Optimization Interactive and Evolutionary Approaches /

Pubblicazione 2008

Sommario: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Testo

Elettronico eBook

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Pubblicazione 2015

Sommario: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Testo

Elettronico eBook

Restringi la ricerca