Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers / / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XII, 179 p. 59 illus.) |
Disciplina | 794.8 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Artificial intelligence
Personal computers Computer science—Mathematics Computers Artificial Intelligence Personal Computing Mathematics of Computing Theory of Computation |
ISBN | 3-319-57969-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254818803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Games : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers / / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 179 p. 51 illus.) |
Disciplina | 794.8 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Artificial intelligence
Personal computers Computer science—Mathematics Computers Artificial Intelligence Personal Computing Mathematics of Computing Theory of Computation |
ISBN | 3-319-39402-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910254995303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
KI 2011: Advances in Artificial Intelligence [[electronic resource] ] : 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings / / edited by Joscha Bach, Stefan Edelkamp |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIV, 370 p. 112 illus., 56 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Application software Data mining User interfaces (Computer systems) Multimedia information systems Computer simulation Artificial Intelligence Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery User Interfaces and Human Computer Interaction Multimedia Information Systems Simulation and Modeling |
ISBN | 3-642-24455-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465925503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2021: advances in artificial intelligence : 44th German Conference on AI, virtual event, September 27 - October 1, 2021 : proceedings / / edited by Stefan Edelkamp, Ralf Möller, Elmar Rueckert |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (388 pages) |
Disciplina | 006.3 |
Collana | Lecture Notes in Computer Science Ser. |
Soggetto topico | Optical data processing |
ISBN | 3-030-87626-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Special Events -- Tutorial -- Workshops -- Organization -- Abstracts of Invited Talks -- Monte Carlo Search -- Autonomy in AI: Reactive Synthesis, Planning and Reinforcement Learning in Linear Temporal Logic on Finite Traces -- Ontologies for Providing Map Knowledge to Autonomous Vehicles -- The Third Wave of AI -- Motion Intelligence for Human-Centred Robots -- Human-Compatible Artificial Intelligence -- Contents -- Technical Programme -- RP-DQN: An Application of Q-Learning to Vehicle Routing Problems -- 1 Introduction -- 2 Related Work -- 3 Problem Definition -- 4 Method -- 4.1 Original Attention-Model -- 4.2 RP-DQN -- 5 Experiments -- 5.1 Baselines -- 5.2 Data -- 5.3 CVRP Results -- 5.4 MDVRP Results -- 5.5 Learning Curves -- 5.6 Runtime Comparison -- 5.7 Generalization Study -- 6 Conclusion -- References -- -Circulant Maximum Variance Bases -- 1 Introduction -- 2 Preliminaries -- 2.1 Principal Component Analysis -- 2.2 Dynamic Principal Component Analysis -- 2.3 -Circulant Matrices -- 3 Maximum Variance Bases -- 3.1 Simple Matched Circulants -- 3.2 Matched -Circulant Matrices -- 3.3 Relation to PCA, DPCA and DFT -- 4 Numerical Results -- 4.1 MA Process -- 4.2 Circular Process -- 5 Conclusion -- References -- Quantified Boolean Solving for Achievement Games -- 1 Introduction -- 2 Quantified Boolean Formulas -- 3 Harary's Tic-Tac-Toe -- 4 Related Work -- 5 The Pairing Encoding -- 6 Experimental Results -- 7 Conclusion -- References -- Knowledge Graph Based Question Answering System for Financial Securities -- 1 Introduction -- 2 Framework -- 2.1 Knowledge Graph Construction -- 2.2 Semantic Question Answering System -- 3 Experiments -- 4 Conclusion -- References -- Semi-unsupervised Learning: An In-depth Parameter Analysis -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 Learning Paradigms.
3.2 Semi-unsupervised Learning with Deep Generative Models -- 4 Datasets -- 5 Experiments -- 5.1 Semi-unsupervised Classification -- 5.2 Parameter Analysis -- 6 Summary and Outlook -- References -- Combining Transformer Generators with Convolutional Discriminators -- 1 Introduction -- 2 Related Work -- 2.1 Generative Models Using CNNs -- 2.2 Generative Models Using Attention -- 2.3 Hybrid Models -- 3 Model Architecture -- 3.1 Transformer Generator -- 3.2 Convolutional Discriminator -- 4 Experiments -- 4.1 Setup -- 4.2 Results -- 4.3 Frequency Analysis -- 5 Discussion -- 6 Conclusion -- References -- Explanation as a Process: User-Centric Construction of Multi-level and Multi-modal Explanations -- 1 Introduction -- 2 A Relational Knowledge Domain -- 3 Learning an Interpretable Model with ILP -- 4 Multi-level and Multi-modal Explanations -- 4.1 Explanation Generation -- 4.2 Explanatory Dialogue -- 4.3 Proof-of-Concept Implementation -- 5 Conclusion and Outlook -- References -- Multi-Type-TD-TSR - Extracting Tables from Document Images Using a Multi-stage Pipeline for Table Detection and Table Structure Recognition: From OCR to Structured Table Representations -- 1 Introduction -- 2 Related Work -- 3 End-to-End Multistage Pipeline -- 4 Methods -- 4.1 Table Alignment Pre-processing -- 4.2 Table Detection -- 4.3 Bordered TSR -- 4.4 Unbordered TSR -- 4.5 Partially Bordered TSR -- 4.6 Color Invariance Pre-Processing -- 5 Evaluation -- 6 Conclusion -- References -- A High-Speed Neural Architecture Search Considering the Number of Weights -- 1 Introduction and Related Works -- 2 Proposed Method -- 2.1 DARTS Algorithm -- 2.2 Loss Function with the Number of Weights -- 3 Experiments -- 3.1 Implementation Details -- 3.2 Results -- 4 Conclusions -- References -- Semantic Segmentation of Aerial Images Using Binary Space Partitioning -- 1 Introduction. 2 Related Work -- 3 Semantic Segmentation -- 3.1 BSP-based Segmentation Model -- 3.2 Differentiable BSP Tree Rendering -- 3.3 Comparison to State of the Art -- 4 Evaluation -- 4.1 Datasets -- 4.2 Training and Test Setup -- 4.3 Ground Truth as BSP Trees -- 4.4 Semantic Segmentation -- 4.5 Prediction Confidence -- 5 Conclusion -- A Dataset Class Distributions -- B Hyperparameters and Model Details -- C Metrics -- D Additional Sample Images -- E Confidence -- References -- EVARS-GPR: EVent-Triggered Augmented Refitting of Gaussian Process Regression for Seasonal Data -- 1 Introduction -- 2 Related Work -- 3 Problem Formulation -- 4 EVARS-GPR -- 5 Experimental Setup -- 5.1 Simulated Data -- 5.2 Real-World Datasets -- 5.3 Evaluation -- 6 Experimental Results -- 6.1 Behavior on Simulated Data -- 6.2 Results on Real-World Datasets -- 6.3 Discussion -- 7 Conclusion -- Appendix A: Gaussian Process Regression -- Appendix B: List of Symbols -- Appendix C: Online Change Point Detection -- Appendix D: Data Augmentation -- Appendix E: EVARS-GPR Parameters -- Appendix F: Real-World Datasets -- Appendix G: Further Simulated Scenarios -- References -- Selective Pseudo-Label Clustering -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 Formal Description -- 3.2 Implementation Details -- 4 Proof of Correctness -- 4.1 Agreed Pseudo-Labels Are More Accurate -- 4.2 Increased Pseudo-Label Accuracy Improves Clustering -- 5 Experimental Results -- 5.1 Ablation Studies -- 5.2 Ensemble Size -- 6 Conclusion -- A Appendix A: Full Proofs -- A.1 More Accurate Pseudo-Labels Supplement -- A.2 Lemma 1 Supplement -- A.3 Lemma 2 Supplement -- A.4 Lemma 3 Supplement -- A.5 Theorem 5 Supplement -- B Appendix C: Extended Results -- References -- Crop It, but Not Too Much: The Effects of Masking on the Classification of Melanoma Images -- 1 Introduction -- 2 Related Work. 3 Method Overview -- 4 Experiments -- 5 Visual Inspection -- 6 Discussion -- 7 Conclusions -- A MedNode Results -- B ISIC2016 Results -- References -- A Demonstrator for Interactive Image Clustering and Fine-Tuning Neural Networks in Virtual Reality -- 1 Introduction -- 2 Architecture -- 3 Visualization in VR -- 3.1 PCA/t-SNE Approach -- 3.2 VAE Approach -- 4 Interactive Fine-Tuning -- 5 Conclusion and Future Work -- References -- HUI-Audio-Corpus-German: A High Quality TTS Dataset -- 1 Introduction -- 2 Related Work -- 3 Data Processing Pipeline -- 3.1 Acquisition of Suitable Audio Data -- 3.2 Splitting of Audio Data -- 3.3 Audio Normalization -- 3.4 Transcription of Audio Data for Subsequent Alignment -- 3.5 Acquisition of Text for Audio Data -- 3.6 Text Normalization -- 3.7 Transcript Alignment -- 4 Dataset Summary -- 4.1 Full Dataset -- 4.2 Clean Dataset -- 4.3 Discussion -- 4.4 Evaluation with Tacotron 2 -- 5 Conclusion and Outlook -- References -- Negation in Cognitive Reasoning -- 1 Introduction -- 2 Background and Related Works -- 2.1 Negation in Logic and Natural Language -- 2.2 Commonsense Reasoning and Negation -- 3 Methods -- 3.1 A System for Cognitive Reasoning -- 3.2 Negation Scope and the Negatus - Why Size Matters -- 3.3 Approach to Negation Treatment for Cognitive Reasoning -- 4 Experiments -- 4.1 Data Preparation and Evaluation -- 5 Summary, Conclusions, and Future Work -- References -- Learning to Detect Adversarial Examples Based on Class Scores -- 1 Introduction -- 1.1 Related Work -- 1.2 Contributions -- 2 Detecting Adversarial Examples from Class Scores -- 3 Experimental Setup -- 4 Results -- 5 Conclusion -- References -- An Agent Architecture for Knowledge Discovery and Evolution -- 1 Introduction -- 2 Background and Related Work -- 2.1 The BDI Architecture -- 2.2 Integrating AI into BDI Agents. 2.3 KDE Systems and Approaches -- 3 Design of the KDE Agent Architecture -- 4 The KDE Agent Architecture -- 4.1 The Exogenous Modules -- 4.2 The Endogenous Modules -- 5 Use Case - Domestic Electricity Consumption -- 5.1 Cluster Analysis Service -- 5.2 Perception -- 5.3 Deliberation to Generate Explanations -- 6 Discussion and Conclusion -- References -- Demystifying Artificial Intelligence for End-Users: Findings from a Participatory Machine Learning Show -- 1 Introduction -- 2 Related Work -- 2.1 Virtual Agents in Education and Edutainment -- 2.2 Explainable AI -- 2.3 Trust in Technical Systems -- 3 Field Study -- 3.1 Demonstrator Setup -- 3.2 Study Procedure -- 3.3 Evaluation Method -- 4 Results -- 4.1 Information About Participants -- 4.2 Results of the ML-show -- 4.3 Comparison Between Participating and Non-participating Museum Visitors -- 5 Discussion -- 5.1 Take Users' Attitudes and Experiences into Account -- 5.2 Think About Who You Want to Reach with XAI Edutainment -- 5.3 Trust and Distrust Are Important Components in XAI Interaction Design -- 6 Conclusion -- References -- Recent Advances in Counting and Sampling Markov Equivalent DAGs -- 1 Introduction -- 2 Main Results -- References -- An Approach to Reduce the Number of Conditional Independence Tests in the PC Algorithm -- 1 Introduction -- 2 Preliminaries -- 3 Detection of V-Structures in Advance -- 4 The ED-PC Algorithm -- 5 Proof of Correctness -- 6 Experimental Analysis -- 7 Conclusions and Outlook -- References -- Poster Papers -- Unsupervised Anomaly Detection for Financial Auditing with Model-Agnostic Explanations -- 1 Introduction -- 2 Related Work -- 3 Explainable Anomaly Detection in the Context of Auditing -- 3.1 Data -- 3.2 Feature Engineering -- 3.3 Ensemble-Based Architecture -- 3.4 Model-Agnostic and Receiver-Dependent Explanations -- 4 Conclusion and Future Work. A Anomaly Detection Ensemble. |
Record Nr. | UNISA-996464524103316 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
KI 2021: Advances in Artificial Intelligence : 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings / / edited by Stefan Edelkamp, Ralf Möller, Elmar Rueckert |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (388 pages) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Image processing - Digital techniques Computer vision Computer engineering Computer networks Education - Data processing Artificial Intelligence Computer Imaging, Vision, Pattern Recognition and Graphics Computer Engineering and Networks Computers and Education |
ISBN | 3-030-87626-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Circulant Maximum Variance Bases -- Quantified Boolean Solving for Achievement Games -- Knowledge Graph Based Question Answering System for Financial Securities -- Semi-unsupervised Learning: An In-depth Parameter Analysis -- Combining Transformer Generators with Convolutional Discriminators -- Explanation as a process: user-centric construction of multi-level and multi-modal explanations -- Multi-Type-TD-TSR - Extracting Tables from Document Images using a Multi-stage Pipeline for Table Detection and Table Structure Recognition: from OCR to Structured Table Representations -- A high-speed neural architecture search considering the number of weights -- Semantic Segmentation of Aerial Images using Binary Space Partitioning -- EVARS-GPR: EVent-triggered Augmented Refitting of Gaussian Process Regression for Seasonal Data -- Selective Pseudo-label Clustering -- Crop it, but not too much: the effects of mask-based image preprocessing on the classification of skin lesions . . . . A Demonstrator for Interactive Image Clustering and Fine-Tuning Neural Networks in Virtual Reality -- HUI-Audio-Corpus-German: A high quality TTS dataset -- Negation in Cognitive Reasoning -- Learning to Detect Adversarial Examples Based on Class Scores -- An agent architecture for knowledge discovery and evolution -- Demystifying Artificial Intelligence for End-Users: Findings from a Participatory Machine Learning Show -- Recent Advances in Counting and Sampling Markov Equivalent DAGs -- Approach to Reduce the Number of Conditional Independence Tests in the PC Algorithm -- Unsupervised Anomaly Detection for Financial Auditing with Model-Agnostic Explanations -- Approximation of Symmetries in Dynamic Probabilistic Relational Models -- Towards More Explicit Interaction Modelling in Agent-Based Simulation Using Affordance Schemata -- Critic Guided Segmentation of Rewarding Objects in First-Person Views -- Self-Supervised Domain Adaptation for Diabetic Retinopathy Grading using Vessel Image Reconstruction -- BehavE: Behaviour Understanding through Automated Generation of Situation Models. |
Record Nr. | UNINA-9910502987403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (IX, 185 p.) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico |
Computer systems - Verification
Computer software - Verification Artificial intelligence |
ISBN | 3-540-74128-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking. |
Record Nr. | UNISA-996465861703316 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model checking and artificial intelligence : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, revised selected and invited papers / / Stefan Edelkamp, Alessio Lomuscio (editors) |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (IX, 185 p.) |
Disciplina | 006.3 |
Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
Soggetto topico |
Computer systems - Verification
Computer software - Verification Artificial intelligence |
ISBN | 3-540-74128-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis -- Verifying Space and Time Requirements for Resource-Bounded Agents -- Automated Creation of Pattern Database Search Heuristics -- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL -- Real-Time Model Checking on Secondary Storage -- Checking Liveness Properties of Concurrent Systems by Reinforcement Learning -- Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation -- Symbolic Model Checking of Logics with Actions -- A Framework for Model Checking Institutions -- SAT-Based Verification of Security Protocols Via Translation to Networks of Automata -- Distributed Extended Beam Search for Quantitative Model Checking. |
Record Nr. | UNINA-9910768165903321 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model Checking Software [[electronic resource] ] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / / edited by Dragan Bosnacki, Stefan Edelkamp |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 285 p.) |
Disciplina | 005.1/4 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
ISBN | 3-540-73370-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | StackSnuffer: Curing Orion’s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples Through Randomized Guided Search -- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software -- Some Solutions to the Ignoring Problem -- Cartesian Partial-Order Reduction -- On-the-Fly Dynamic Dead Variable Analysis -- SAT-Based Summarization for Boolean Programs -- LTL Satisfiability Checking -- An Embeddable Virtual Machine for State Space Generation -- Scalable Multi-core LTL Model-Checking -- A SystemC/TLM Semantics in Promela and Its Possible Applications -- Towards Model Checking Spatial Properties with SPIN -- Model Extraction for ARINC 653 Based Avionics Software -- BEEM: Benchmarks for Explicit Model Checkers -- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs -- ACSAR: Software Model Checking with Transfinite Refinement -- Instrumenting C Programs with Nested Word Monitors. |
Record Nr. | UNISA-996465872503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings / / edited by Dragan Bosnacki, Stefan Edelkamp |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Descrizione fisica | 1 online resource (X, 285 p.) |
Disciplina | 005.1/4 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
ISBN | 3-540-73370-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | StackSnuffer: Curing Orion’s Unsoundness -- Tutorial: Parallel Model Checking -- Local Abstraction-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples Through Randomized Guided Search -- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software -- Some Solutions to the Ignoring Problem -- Cartesian Partial-Order Reduction -- On-the-Fly Dynamic Dead Variable Analysis -- SAT-Based Summarization for Boolean Programs -- LTL Satisfiability Checking -- An Embeddable Virtual Machine for State Space Generation -- Scalable Multi-core LTL Model-Checking -- A SystemC/TLM Semantics in Promela and Its Possible Applications -- Towards Model Checking Spatial Properties with SPIN -- Model Extraction for ARINC 653 Based Avionics Software -- BEEM: Benchmarks for Explicit Model Checkers -- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs -- ACSAR: Software Model Checking with Transfinite Refinement -- Instrumenting C Programs with Nested Word Monitors. |
Record Nr. | UNINA-9910484349603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|