Rezultati - processing computing problems parameterized array https

Poišči alternative:
processing computing » processing computer , processing computational , processing conditions
parameterized array » parameterized real , parameterized program , parameterized variety
computing problems » compounding problems , routing problems , computers problems
https » http

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

Izdano 2013

Kazalo: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... to the Cleavage Site Prediction Problem in Bioinformatics -- Learning PDFA with Asynchronous Transitions...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... for Computing the Longest Parameterized Common Subsequence -- Fixed-Parameter Tractability of the Maximum...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... Common Rigid Subsequence Problem -- Text Indexing with Errors -- A New Compressed Suffix Tree Supporting...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... of a Class of Nonlinear Systems with Parameterized Unknown Dynamics -- H-infinity Control Synthesis...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2010

Kazalo: “... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2015

Kazalo: “... -- Parameterized Complexity of Superstring Problems -- On the Fixed Parameter Tractability and Approximability...”
Polni tekst

Elektronski eKnjiga

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...

Izdano 2007

Kazalo: “...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... -- Some New Directions and Questions in Parameterized Complexity -- Basic Notions of Reaction Systems -- A...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
Polni tekst

Elektronski eKnjiga

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

od Spear, Chris., Spear, Chris.
Izdano 2008

Kazalo: “... Randomization Problems -- 6.13 Iterative and Array Constraints -- 6.14 Atomic Stimulus Generation vs. Scenario...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

Kazalo: “... and Ordering of Feedbacks -- Non-Linearities -- Parameterization of Complex Hydrological Systems -- 3...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje