Search Results - parallel programs deciding functionality function https

Search alternatives:
deciding functionality » defining functionality , adding functionality , design functionality
functionality function » functionals function , functionaries function , functional functions
parallel programs » parallel programming
programs deciding » programs deriving , programs designing , programs leading
function https » functions https , fiction https

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...”
View full text

Electronic eBook

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Published 2006

Table of Contents: “... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”
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

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

Published 2005

Table of Contents: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
View full text

Electronic eBook

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

Published 2015

Table of Contents: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
View full text

Electronic eBook

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
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: “... of Tame Polynomials and Rational Functions -- Newton Polyhedra and an Oscillation Index of Oscillatory...”
View full text

Electronic eBook

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... Theory in Coq -- Completeness and Decidability Results for CTL in Coq -- Hypermap Specification...”
View full text

Electronic eBook

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Published 2013

Table of Contents: “... for Uniform Semi-Unification.- Deciding WQO for Factorial Languages.- On the Construction of a Family...”
View full text

Electronic eBook

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Published 2006

Table of Contents: “... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...”
View full text

Electronic eBook

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Published 2006

Table of Contents: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
View full text

Electronic eBook

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Published 2006

Table of Contents: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
View full text

Electronic eBook

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
View full text

Electronic eBook

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “... Sequence Tags for Fast Database Search in Mass-Spectrometry -- A Hidden Markov Model Based Scoring Function...”
View full text

Electronic eBook

Narrow Search