Hakutulokset - processing computers problems ((parameterized array) OR (parameterized real)) https

1

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

Julkaistu 2006

Sisällysluettelo: “... on Consistent Volume Parameterization -- Sketch Based Mesh Fusion -- Real-Time Rendering of Point Based Water...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2006

Sisällysluettelo: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Hae kokoteksti

Elektroninen E-kirja

3

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

4

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

Julkaistu 2013

Sisällysluettelo: “... for Solving Complex Problems of Computational Geometry -- Rigid Body Molecular Dynamics within the Domain...”
Hae kokoteksti

Elektroninen E-kirja

5

Geometric Algebra Computing in Engineering and Computer Science /

Julkaistu 2010

Sisällysluettelo: “... Analysis -- Image Processing, Wavelets and Neurocomputing -- Geometric Neural Computing for 2D Contour...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2008

Sisällysluettelo: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
Hae kokoteksti

Elektroninen E-kirja

7

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

8

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

9

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

Julkaistu 2006

Sisällysluettelo: “... Problems -- An Expressive Temporal Logic for Real Time -- On Matroid Representability and Minor Problems...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2010

Sisällysluettelo: “... Decision Processes -- All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated...”
Hae kokoteksti

Elektroninen E-kirja

11

Entertainment for Education. Digital Techniques and Systems 5th International Conference on E-learning and Games, Edutainment 2010, Changchun, China, August 16-18, 2010, Proceeding...

Julkaistu 2010

Sisällysluettelo: “... Learning Style Learners -- Computer-Supported Collaborative Conceptual Change -- Optimization Technique...”
Hae kokoteksti

Elektroninen E-kirja

12

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...”
Hae kokoteksti

Elektroninen E-kirja

13

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current...

Julkaistu 2015

Sisällysluettelo: “...Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science...”
Hae kokoteksti

Elektroninen E-kirja

14

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Julkaistu 2007

Sisällysluettelo: “... -- Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization -- Parameterization...”
Hae kokoteksti

Elektroninen E-kirja

15

Computational Intelligence and Decision Making Trends and Applications /

Julkaistu 2013

Sisällysluettelo: “... case of the multi-objective shortest path problem - a computational study....”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2010

Sisällysluettelo: “... for Identifying Probabilistic Deterministic Real-Time Automata from Positive Data -- A Local Search Algorithm...”
Hae kokoteksti

Elektroninen E-kirja

17

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

18

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Julkaistu 2005

Sisällysluettelo: “... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”
Hae kokoteksti

Elektroninen E-kirja

19

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

20

Mathematics of Surfaces XI 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Detection of Surface Creases in Range Data -- Efficient Linear System Solvers for Mesh Processing...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua