Arama Sonuçları - ((processing computing) OR (processing computer)) problem parameterized program https

1

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

2

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

3

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

4

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

5

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

6

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

7

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

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

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Engine Processors -- Query Processing in Highly-Loaded Search Engines -- Indexes for Jumbled Pattern...”
Tam Metin Erişim

Elektronik Ekitap

10

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

11

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

12

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Approach -- Constrained Total Variation Minimization and Application in Computerized Tomography -- Some New...”
Tam Metin Erişim

Elektronik Ekitap

13

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

14

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

15

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”
Tam Metin Erişim

Elektronik Ekitap