Arama Sonuçları - processing computers problems ((parameterized array) OR (parameterized program)) https

1

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”
Tam Metin Erişim

Elektronik Ekitap

2

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Solution Test -- Surfaces with Rational Chord Length Parameterization -- Support Function of Pythagorean...”
Tam Metin Erişim

Elektronik Ekitap

3

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”
Tam Metin Erişim

Elektronik Ekitap

4

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”
Tam Metin Erişim

Elektronik Ekitap

5

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Tam Metin Erişim

Elektronik Ekitap

6

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational...”
Tam Metin Erişim

Elektronik Ekitap

7

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Parameterization -- Sub-sampling for Efficient Spectral Mesh Processing -- Active Contours with Level-Set...”
Tam Metin Erişim

Elektronik Ekitap

8

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Oracles -- The Complexity of Black-Box Ring Problems -- Lower Bounds and Parameterized Approach...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Allocation Problems -- Vertex Disjoint Paths in Upward Planar Graphs -- On Lower Bounds for Multiplicative...”
Tam Metin Erişim

Elektronik Ekitap

12

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Complexity Analysis for Fork Processes -- Pure Pointer Programs and Tree Isomorphism -- A Language...”
Tam Metin Erişim

Elektronik Ekitap

13

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Graph Isomorphism using Parameterized Matching -- Suffix Array of Alignment: A Practical Index...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Model Checking -- Parameterized Verification of Infinite-State Processes with Global Conditions...”
Tam Metin Erişim

Elektronik Ekitap

15

Geometric Algebra Computing in Engineering and Computer Science /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Analysis -- Image Processing, Wavelets and Neurocomputing -- Geometric Neural Computing for 2D Contour...”
Tam Metin Erişim

Elektronik Ekitap

16

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”
Tam Metin Erişim

Elektronik Ekitap

17

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Problem in a Marked Point Process Application -- A Computational Approach to Fisher Information Geometry...”
Tam Metin Erişim

Elektronik Ekitap

18

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “...Identifying Regulatory Sites Using Neighborhood Species -- Genetic Programming and Other Machine...”
Tam Metin Erişim

Elektronik Ekitap

19

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”
Tam Metin Erişim

Elektronik Ekitap

20

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt