Rezultaty - processing computing problem parameterized programs https

Inne możliwości wyszukiwania:
parameterized programs » parameterized program , parameterized problems , parallelized programs
problem parameterized » problems parameterized , improved parameterized
processing computing » processing computer , processing computational , processing conditions
computing problem » computing problems , routing problem , computer problem
https » http

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings /

Wydane 2014

Spis treści: “... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Geometric Modeling and Processing 6th International Conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010, Proceedings /

Wydane 2010

Spis treści: “... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2015

Spis treści: “... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”
Dokumenty pełnotekstowe

Elektroniczne E-book

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

Wydane 2010

Spis treści: “.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Wydane 2006

Spis treści: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /

Wydane 2010

Spis treści: “... Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Advances in Computer Graphics 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006, Proceedings /

Wydane 2006

Spis treści: “... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Wydane 2010

Spis treści: “... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings /

Wydane 2013

Spis treści: “... for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computing and Combinatorics 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings /

Wydane 2006

Spis treści: “... Oracles -- The Complexity of Black-Box Ring Problems -- Lower Bounds and Parameterized Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /

Wydane 2014

Spis treści: “... Allocation Problems -- Vertex Disjoint Paths in Upward Planar Graphs -- On Lower Bounds for Multiplicative...”
Dokumenty pełnotekstowe

Elektroniczne E-book

String Processing and Information Retrieval 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings /

Wydane 2013

Spis treści: “... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Wydane 2006

Spis treści: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Wydane 2007

Spis treści: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...

Wydane 2013

Spis treści: “... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 5th European...

Wydane 2007

Spis treści: “...Identifying Regulatory Sites Using Neighborhood Species -- Genetic Programming and Other Machine...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Energy Minimization Methods in Computer Vision and Pattern Recognition 5th International Workshop...

Wydane 2005

Spis treści: “... Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Wydane 2008

Spis treści: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Dokumenty pełnotekstowe

Elektroniczne E-book

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Wydane 2006

Spis treści: “... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Geometric Algebra Computing in Engineering and Computer Science /

Wydane 2010

Spis treści: “... Analysis -- Image Processing, Wavelets and Neurocomputing -- Geometric Neural Computing for 2D Contour...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty