Resultados de búsqueda - "neural network"
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- History of engineering & technology 332
- Technology: general issues 266
- Research & information: general 164
- Artificial intelligence 77
- Computer science 74
- Information technology industries 65
- Neurosciences 41
- Biology, life sciences 40
- Medicine 38
- Mathematics & science 36
- Machine learning 30
- Computer networking & communications 26
- Neural networks & fuzzy systems 23
- Software Engineering 22
- Environmental science, engineering & technology 19
- Algorithms & data structures 16
- Physics 16
- Artificial Intelligence 15
- Energy industries & utilities 14
- Chemistry 13
- Data mining 13
- Electrical engineering 13
- Geography 13
- Mechanical engineering & materials 13
- Robotics 13
- Information technology: general issues 12
- Computer networks 11
- Technology, engineering, agriculture 11
- Computer Engineering and Networks 10
- Computer engineering 10
-
2661
-
2662
-
2663
-
2664
-
2665
-
2666
-
2667
-
2668
-
2669
-
2670
Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /
Publicado 2022Tabla de Contenidos: “…Rethinking the Input for Process Mining: Insights from the XES Survey and Workshop -- Probability Estimation of Uncertain Process Trace Realizations -- Visualizing Trace Variants From Partially Ordered Event Data -- Analyzing Multi-level BOM-structured Event Data -- Linac: A Smart Environment Simulator of Human Activities -- Root Cause Analysis in Process Mining with Probabilistic Temporal Logic -- xPM: A Framework for Process Mining with Exogenous Data -- A Bridging Model for Process Mining and IoT -- Exploiting Instance Graphs and Graph Neural Networks for next activity prediction -- Can deep neural networks learn process modelstructure? …”
Link to Metadata
Electrónico eBook -
2671
Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /
Publicado 2018Tabla de Contenidos: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
Link to Metadata
Electrónico eBook -
2672
-
2673
-
2674
-
2675
-
2676
-
2677
-
2678
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Publicado 2021Tabla de Contenidos: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electrónico eBook -
2679
-
2680