25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNISA-996465393403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 years of model checking : history, achievements, perspectives / / Orna Grumberg, Helmut Veith (eds.) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, : Springer, 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Altri autori (Persone) |
GrumbergOrna
VeithHelmut |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico | Computer systems - Verification |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Altri titoli varianti | Twenty-five years of model checking |
Record Nr. | UNINA-9910767508103321 |
Berlin, : Springer, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspects of Natural Language Processing [[electronic resource] ] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / / edited by Malgorzata Marciniak, Agnieszka Mykowiecka |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XIV, 449 p.) |
Disciplina | 004 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Natural language processing (Computer science)
Artificial intelligence Data mining Mathematical logic User interfaces (Computer systems) Natural Language Processing (NLP) Artificial Intelligence Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages User Interfaces and Human Computer Interaction |
Soggetto genere / forma | Aufsatzsammlung |
ISBN | 3-642-04735-1 |
Classificazione |
DAT 003f
DAT 710f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic -- Wisdom Technology: A Rough-Granular Approach -- Paraconsistent Reasoning with Words -- Language -- On the Root-Based Lexicon for Polish -- Representation of Uzbek Morphology in Prolog -- Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex -- A New Formal Definition of Polish Nominal Phrases -- Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish -- Towards the Automatic Acquisition of a Valence Dictionary for Polish -- Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm -- Adjectives: Constructions vs. Valence -- Applications -- User-Centered Design for a Voice Portal -- Speech Understanding System SUSY—A New Version of the Speech Synthesis Program -- Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries -- Domain Model for Medical Information Extraction—The LightMedOnt Ontology -- A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences -- Intelligent Decision Support: A Fuzzy Stock Ranking System -- COLLANE: An Experiment in Computer-Mediated Tacit Collaboration. |
Record Nr. | UNISA-996465383003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Aspects of natural language processing : essays dedicated to Leonard Bolc on the occasion of his 75th Birthday / / Magorzata Marciniak, Agnieszka Mykowiecka (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer-Verlag, c2009 |
Descrizione fisica | 1 online resource (XIV, 449 p.) |
Disciplina | 004 |
Altri autori (Persone) |
MarciniakMagorzata
MykowieckaAgnieszka |
Collana | Lecture notes in computer science |
Soggetto topico | Natural language processing (Computer science) |
ISBN | 3-642-04735-1 |
Classificazione |
DAT 003f
DAT 710f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Logic -- Wisdom Technology: A Rough-Granular Approach -- Paraconsistent Reasoning with Words -- Language -- On the Root-Based Lexicon for Polish -- Representation of Uzbek Morphology in Prolog -- Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex -- A New Formal Definition of Polish Nominal Phrases -- Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish -- Towards the Automatic Acquisition of a Valence Dictionary for Polish -- Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm -- Adjectives: Constructions vs. Valence -- Applications -- User-Centered Design for a Voice Portal -- Speech Understanding System SUSY—A New Version of the Speech Synthesis Program -- Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries -- Domain Model for Medical Information Extraction—The LightMedOnt Ontology -- A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences -- Intelligent Decision Support: A Fuzzy Stock Ranking System -- COLLANE: An Experiment in Computer-Mediated Tacit Collaboration. |
Record Nr. | UNINA-9910484450903321 |
Berlin ; ; New York, : Springer-Verlag, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Efficient Algorithms [[electronic resource] ] : Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday / / edited by Susanne Albers, Helmut Alt, Stefan Näher |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 439 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Computer science—Mathematics Discrete mathematics Algorithms Numerical analysis Programming Techniques Mathematics of Computing Discrete Mathematics Mathematical Applications in Computer Science Numerical Analysis |
ISBN | 3-642-03456-X |
Classificazione |
DAT 003f
DAT 530f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models of Computation and Complexity -- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge -- On Negations in Boolean Networks -- The Lovász Local Lemma and Satisfiability -- Kolmogorov-Complexity Based on Infinite Computations -- Pervasive Theory of Memory -- Introducing Quasirandomness to Computer Science -- Sorting and Searching -- Reflections on Optimal and Nearly Optimal Binary Search Trees -- Some Results for Elementary Operations -- Maintaining Ideally Distributed Random Search Trees without Extra Space -- A Pictorial Description of Cole’s Parallel Merge Sort -- Self-matched Patterns, Golomb Rulers, and Sequence Reconstruction -- Combinatorial Optimization with Applications -- Algorithms for Energy Saving -- Minimizing Average Flow-Time -- Integer Linear Programming in Computational Biology -- Via Detours to I/O-Efficient Shortest Paths -- Computational Geometry and Geometric Graphs -- The Computational Geometry of Comparing Shapes -- Finding Nearest Larger Neighbors -- Multi-core Implementations of Geometric Algorithms -- The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension -- On Map Labeling with Leaders -- The Crossing Number of Graphs: Theory and Computation -- Algorithm Engineering, Exactness, and Robustness -- Algorithm Engineering – An Attempt at a Definition -- Of What Use Is Floating-Point Arithmetic in Computational Geometry? -- Car or Public Transport—Two Worlds -- Is the World Linear? -- In Praise of Numerical Computation -- Much Ado about Zero -- Polynomial Precise Interval Analysis Revisited. |
Record Nr. | UNISA-996465631403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Efficient algorithms : essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / / Susanne Albers, Helmut Alt, Stefan Naher (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
Descrizione fisica | 1 online resource (IX, 439 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
AlbersSusanne
AltHelmut NaherStefan |
Collana |
Lecture notes in computer science
Festschrift |
Soggetto topico | Algorithms |
ISBN | 3-642-03456-X |
Classificazione |
DAT 003f
DAT 530f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models of Computation and Complexity -- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge -- On Negations in Boolean Networks -- The Lovász Local Lemma and Satisfiability -- Kolmogorov-Complexity Based on Infinite Computations -- Pervasive Theory of Memory -- Introducing Quasirandomness to Computer Science -- Sorting and Searching -- Reflections on Optimal and Nearly Optimal Binary Search Trees -- Some Results for Elementary Operations -- Maintaining Ideally Distributed Random Search Trees without Extra Space -- A Pictorial Description of Cole’s Parallel Merge Sort -- Self-matched Patterns, Golomb Rulers, and Sequence Reconstruction -- Combinatorial Optimization with Applications -- Algorithms for Energy Saving -- Minimizing Average Flow-Time -- Integer Linear Programming in Computational Biology -- Via Detours to I/O-Efficient Shortest Paths -- Computational Geometry and Geometric Graphs -- The Computational Geometry of Comparing Shapes -- Finding Nearest Larger Neighbors -- Multi-core Implementations of Geometric Algorithms -- The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension -- On Map Labeling with Leaders -- The Crossing Number of Graphs: Theory and Computation -- Algorithm Engineering, Exactness, and Robustness -- Algorithm Engineering – An Attempt at a Definition -- Of What Use Is Floating-Point Arithmetic in Computational Geometry? -- Car or Public Transport—Two Worlds -- Is the World Linear? -- In Praise of Numerical Computation -- Much Ado about Zero -- Polynomial Precise Interval Analysis Revisited. |
Record Nr. | UNINA-9910484157203321 |
Berlin ; ; New York, : Springer, c2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|