Hakutulokset - processing computing problem parameterized array (https OR http)

Tarkoititko:
problem parameterized » problems parameterized , improved parameterized
processing computing » processing computer , processing computational , processing conditions
parameterized array » parameterized real , parameterized program , parameterized variety
computing problem » computing problems , routing problem , computer problem

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

Julkaistu 2013

Sisällysluettelo: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Hae kokoteksti

Elektroninen E-kirja

String Processing and Information Retrieval 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
Hae kokoteksti

Elektroninen E-kirja

Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

Julkaistu 2010

Sisällysluettelo: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Hae kokoteksti

Elektroninen E-kirja

Combinatorial Pattern Matching 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”
Hae kokoteksti

Elektroninen E-kirja

Combinatorial Pattern Matching 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”
Hae kokoteksti

Elektroninen E-kirja

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...”
Hae kokoteksti

Elektroninen E-kirja

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”
Hae kokoteksti

Elektroninen E-kirja

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”
Hae kokoteksti

Elektroninen E-kirja

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Julkaistu 2007

Sisällysluettelo: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Hae kokoteksti

Elektroninen E-kirja

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”
Hae kokoteksti

Elektroninen E-kirja

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hae kokoteksti

Elektroninen E-kirja

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Hae kokoteksti

Elektroninen E-kirja

SystemVerilog for Verification A Guide to Learning the Testbench Language Features /

Tekijä Spear, Chris., Spear, Chris.
Julkaistu 2008

Sisällysluettelo: “... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Hae kokoteksti

Elektroninen E-kirja

Coupled Models for the Hydrological Cycle Integrating Atmosphere, Biosphere and Pedosphere /

Julkaistu 2005

Sisällysluettelo: “... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua