Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Combinatorial Pattern Matching [[electronic resource] ] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / / edited by Martin Farach-Colton
| Combinatorial Pattern Matching [[electronic resource] ] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / / edited by Martin Farach-Colton |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (IX, 259 p.) |
| Disciplina | 006.4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Pattern recognition
Algorithms Computers Computer science—Mathematics Combinatorics Pattern Recognition Algorithm Analysis and Problem Complexity Theory of Computation Discrete Mathematics in Computer Science |
| ISBN | 3-540-69054-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A fast bit-vector algorithm for approximate string matching based on dynamic programming -- A bit-parallel approach to suffix automata: Fast extended string matching -- A dictionary matching algorithm fast on the average for terms of varying length -- A very fast string matching algorithm for small alphabets and long patterns -- Approximate word sequence matching over Sparse Suffix Trees -- Efficient parallel algorithm for the editing distance between ordered trees -- Reporting exact and approximate regular expression matches -- An approximate oracle for distance in metric spaces -- A rotation invariant filter for two-dimensional string matching -- Constructing suffix arrays for multi-dimensional matrices -- Simple and flexible detection of contiguous repeats using a suffix tree Preliminary Version -- Comparison of coding DNA -- Fixed topology alignment with recombination -- Aligning alignments -- Efficient special cases of pattern matching with swaps -- Aligning DNA sequences to minimize the change in protein -- Genome halving. |
| Record Nr. | UNISA-996466350403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorial Pattern Matching [[electronic resource] ] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / / edited by Martin Farach-Colton
| Combinatorial Pattern Matching [[electronic resource] ] : 9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings / / edited by Martin Farach-Colton |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (IX, 259 p.) |
| Disciplina | 006.4 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Pattern perception
Algorithms Computers Computer science—Mathematics Combinatorial analysis Pattern Recognition Algorithm Analysis and Problem Complexity Theory of Computation Discrete Mathematics in Computer Science Combinatorics |
| ISBN | 3-540-69054-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A fast bit-vector algorithm for approximate string matching based on dynamic programming -- A bit-parallel approach to suffix automata: Fast extended string matching -- A dictionary matching algorithm fast on the average for terms of varying length -- A very fast string matching algorithm for small alphabets and long patterns -- Approximate word sequence matching over Sparse Suffix Trees -- Efficient parallel algorithm for the editing distance between ordered trees -- Reporting exact and approximate regular expression matches -- An approximate oracle for distance in metric spaces -- A rotation invariant filter for two-dimensional string matching -- Constructing suffix arrays for multi-dimensional matrices -- Simple and flexible detection of contiguous repeats using a suffix tree Preliminary Version -- Comparison of coding DNA -- Fixed topology alignment with recombination -- Aligning alignments -- Efficient special cases of pattern matching with swaps -- Aligning DNA sequences to minimize the change in protein -- Genome halving. |
| Record Nr. | UNINA-9910144908203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
LATIN 2004: Theoretical Informatics [[electronic resource] ] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings / / edited by Martin Farach-Colton
| LATIN 2004: Theoretical Informatics [[electronic resource] ] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings / / edited by Martin Farach-Colton |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVI, 632 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Data structures (Computer science) Computer logic Numerical analysis Theory of Computation Algorithm Analysis and Problem Complexity Data Structures Computation by Abstract Devices Logics and Meanings of Programs Numeric Computing |
| ISBN |
1-280-30822-2
9786610308224 3-540-24698-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- Analysis of Scheduling Algorithms for Proportionate Fairness -- Advances in the Regularity Method -- Fighting Spam: The Science -- The Consequences of Imre Simon’s Work in the Theory of Automata, Languages, and Semigroups -- Contributions -- Querying Priced Information in Databases: The Conjunctive Case -- Sublinear Methods for Detecting Periodic Trends in Data Streams -- An Improved Data Stream Summary: The Count-Min Sketch and Its Applications -- Rotation and Lighting Invariant Template Matching -- Computation of the Bisection Width for Random d-Regular Graphs -- Constrained Integer Partitions -- Embracing the Giant Component -- Sampling Grid Colorings with Fewer Colors -- The Complexity of Finding Top-Toda-Equivalence-Class Members -- List Partitions of Chordal Graphs -- Bidimensional Parameters and Local Treewidth -- Vertex Disjoint Paths on Clique-Width Bounded Graphs -- On Partitioning Interval and Circular-Arc Graphs into Proper Interval Subgraphs with Applications -- Collective Tree Exploration -- Off-Centers: A New Type of Steiner Points for Computing Size-Optimal Quality-Guaranteed Delaunay Triangulations -- Space-Efficient Algorithms for Computing the Convex Hull of a Simple Polygonal Line in Linear Time -- A Geometric Approach to the Bisection Method -- Improved Linear Expected-Time Algorithms for Computing Maxima -- A Constant Approximation Algorithm for Sorting Buffers -- Approximation Schemes for a Class of Subset Selection Problems -- Finding k-Connected Subgraphs with Minimum Average Weight -- On the (Im)possibility of Non-interactive Correlation Distillation -- Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces -- How Expressions Can Code for Automata -- Automata for Arithmetic Meyer Sets -- Efficiently Computing the Density of Regular Languages -- Longest Repeats with a Block of Don’t Cares -- Join Irreducible Pseudovarieties, Group Mapping, and Kovács-Newman Semigroups -- Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank -- Expected Length of the Longest Common Subsequence for Large Alphabets -- Universal Types and Simulation of Individual Sequences -- Separating Codes: Constructions and Bounds -- Encoding Homotopy of Paths in the Plane -- A Unified Approach to Coding Labeled Trees -- Cost-Optimal Trees for Ray Shooting -- Packing Problems with Orthogonal Rotations -- Combinatorial Problems on Strings with Applications to Protein Folding -- Measurement Errors Make the Partial Digest Problem NP-Hard -- Designing Small Keyboards Is Hard -- Metric Structures in L 1: Dimension, Snowflakes, and Average Distortion -- Nash Equilibria via Polynomial Equations -- Minimum Latency Tours and the k-Traveling Repairmen Problem -- Server Scheduling in the Weighted ? p Norm -- An Improved Communication-Randomness Tradeoff -- Distributed Games and Distributed Control for Asynchronous Systems -- A Simplified and Dynamic Unified Structure -- Another View of the Gaussian Algorithm -- Generating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections -- Rooted Maximum Agreement Supertrees -- Complexity of Cycle Length Modularity Problems in Graphs -- Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices -- A Proof System and a Decision Procedure for Equality Logic -- Approximating the Expressive Power of Logics in Finite Models -- Arithmetic Circuits for Discrete Logarithms -- On the Competitiveness of AIMD-TCP within a General Network -- Gathering Non-oblivious Mobile Robots -- Bisecting and Gossiping in Circulant Graphs -- Multiple Mobile Agent Rendezvous in a Ring -- Global Synchronization in Sensornets. |
| Record Nr. | UNISA-996465411003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings / / edited by Martin Farach-Colton
| LATIN 2004: Theoretical Informatics : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings / / edited by Martin Farach-Colton |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XVI, 632 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Algorithms Data structures (Computer science) Computer logic Numerical analysis Theory of Computation Algorithm Analysis and Problem Complexity Data Structures Computation by Abstract Devices Logics and Meanings of Programs Numeric Computing |
| ISBN |
1-280-30822-2
9786610308224 3-540-24698-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- Analysis of Scheduling Algorithms for Proportionate Fairness -- Advances in the Regularity Method -- Fighting Spam: The Science -- The Consequences of Imre Simon’s Work in the Theory of Automata, Languages, and Semigroups -- Contributions -- Querying Priced Information in Databases: The Conjunctive Case -- Sublinear Methods for Detecting Periodic Trends in Data Streams -- An Improved Data Stream Summary: The Count-Min Sketch and Its Applications -- Rotation and Lighting Invariant Template Matching -- Computation of the Bisection Width for Random d-Regular Graphs -- Constrained Integer Partitions -- Embracing the Giant Component -- Sampling Grid Colorings with Fewer Colors -- The Complexity of Finding Top-Toda-Equivalence-Class Members -- List Partitions of Chordal Graphs -- Bidimensional Parameters and Local Treewidth -- Vertex Disjoint Paths on Clique-Width Bounded Graphs -- On Partitioning Interval and Circular-Arc Graphs into Proper Interval Subgraphs with Applications -- Collective Tree Exploration -- Off-Centers: A New Type of Steiner Points for Computing Size-Optimal Quality-Guaranteed Delaunay Triangulations -- Space-Efficient Algorithms for Computing the Convex Hull of a Simple Polygonal Line in Linear Time -- A Geometric Approach to the Bisection Method -- Improved Linear Expected-Time Algorithms for Computing Maxima -- A Constant Approximation Algorithm for Sorting Buffers -- Approximation Schemes for a Class of Subset Selection Problems -- Finding k-Connected Subgraphs with Minimum Average Weight -- On the (Im)possibility of Non-interactive Correlation Distillation -- Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces -- How Expressions Can Code for Automata -- Automata for Arithmetic Meyer Sets -- Efficiently Computing the Density of Regular Languages -- Longest Repeats with a Block of Don’t Cares -- Join Irreducible Pseudovarieties, Group Mapping, and Kovács-Newman Semigroups -- Complementation of Rational Sets on Scattered Linear Orderings of Finite Rank -- Expected Length of the Longest Common Subsequence for Large Alphabets -- Universal Types and Simulation of Individual Sequences -- Separating Codes: Constructions and Bounds -- Encoding Homotopy of Paths in the Plane -- A Unified Approach to Coding Labeled Trees -- Cost-Optimal Trees for Ray Shooting -- Packing Problems with Orthogonal Rotations -- Combinatorial Problems on Strings with Applications to Protein Folding -- Measurement Errors Make the Partial Digest Problem NP-Hard -- Designing Small Keyboards Is Hard -- Metric Structures in L 1: Dimension, Snowflakes, and Average Distortion -- Nash Equilibria via Polynomial Equations -- Minimum Latency Tours and the k-Traveling Repairmen Problem -- Server Scheduling in the Weighted ? p Norm -- An Improved Communication-Randomness Tradeoff -- Distributed Games and Distributed Control for Asynchronous Systems -- A Simplified and Dynamic Unified Structure -- Another View of the Gaussian Algorithm -- Generating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections -- Rooted Maximum Agreement Supertrees -- Complexity of Cycle Length Modularity Problems in Graphs -- Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices -- A Proof System and a Decision Procedure for Equality Logic -- Approximating the Expressive Power of Logics in Finite Models -- Arithmetic Circuits for Discrete Logarithms -- On the Competitiveness of AIMD-TCP within a General Network -- Gathering Non-oblivious Mobile Robots -- Bisecting and Gossiping in Circulant Graphs -- Multiple Mobile Agent Rendezvous in a Ring -- Global Synchronization in Sensornets. |
| Record Nr. | UNINA-9910144205803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms
| Proceedings the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms |
| Pubbl/distr/stampa | [Place of publication not identified], : Society for Industrial and Applied Mathematics, 2003 |
| Descrizione fisica | 1 online resource (891 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SODA '03 |
| Record Nr. | UNINA-9910375979303321 |
| [Place of publication not identified], : Society for Industrial and Applied Mathematics, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||