UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Formal Methods and Software Engineering, 2018, Vol.11232, p.177-193

2018

Volltextzugriff (PDF)

Towards Dependable and Explainable Machine Learning Using Automated Reasoning

Formal Methods and Software Engineering, 2018, Vol.11232, p.412-416

2018

Volltextzugriff (PDF)

Modeling and Verifying NDN Access Control Using CSP

Formal Methods and Software Engineering, 2018, Vol.11232, p.143-159

2018

Volltextzugriff (PDF)

Analysis on Strategies of Superposition Refinement of Event-B Specifications

Formal Methods and Software Engineering, 2018, Vol.11232, p.357-372

2018

Volltextzugriff (PDF)

Model Based Testing of Cyber-Physical Systems

Formal Methods and Software Engineering, 2018, Vol.11232, p.423-426

2018

Volltextzugriff (PDF)

Developing Reliable Component-Based Software in Mediator

Formal Methods and Software Engineering, 2018, Vol.11232, p.432-435

2018

Volltextzugriff (PDF)

Principled Greybox Fuzzing

Formal Methods and Software Engineering, 2018, Vol.11232, p.455-458

2018

Volltextzugriff (PDF)

Generating Chinese Classical Poems with RNN Encoder-Decoder

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.211-223

2017

Volltextzugriff (PDF)

Multichannel LSTM-CRF for Named Entity Recognition in Chinese Social Media

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.197-208

2017

Volltextzugriff (PDF)

Bi-directional Gated Memory Networks for Answer Selection

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.251-262

2017

Volltextzugriff (PDF)

Ontology Matching with Word Embeddings

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2014, p.34-45

2014

Volltextzugriff (PDF)

Behaviour-Driven Formal Model Development

Formal Methods and Software Engineering, 2018, Vol.11232, p.21-36

2018

Volltextzugriff (PDF)

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X

Formal Methods and Software Engineering, 2018, Vol.11232, p.89-105

2018

Volltextzugriff (PDF)

Local Community Detection Using Social Relations and Topic Features in Social Networks

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.371-383

2017

Volltextzugriff (PDF)

Named Entity Recognition with Gated Convolutional Neural Networks

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.110-121

2017

Volltextzugriff (PDF)

PAR: A Practicable Formal Method and Its Supporting Platform

Formal Methods and Software Engineering, 2018, Vol.11232, p.70-86

2018

Volltextzugriff (PDF)

A Survey on Table Question Answering: Recent Advances

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy, 2022, Vol.1669, p.174-186

2022

Volltextzugriff (PDF)

A Three-Layered Collocation Extraction Tool and Its Application in China English Studies

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2015, p.38-49

2015

Volltextzugriff (PDF)

Capabilities: Effects for Free

Formal Methods and Software Engineering, 2018, Vol.11232, p.231-247

2018

Volltextzugriff (PDF)

Joint Extraction of Multiple Relations and Entities by Using a Hybrid Neural Network

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data, 2017, Vol.10565, p.135-146

2017

Volltextzugriff (PDF)

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

Formal Methods and Software Engineering, 2018, Vol.11232, p.251-269

2018

Volltextzugriff (PDF)

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

Formal Methods and Software Engineering, 2018, Vol.11232, p.160-176

2018

Volltextzugriff (PDF)

Formalising Extended Finite State Machine Transition Merging

Formal Methods and Software Engineering, 2018, Vol.11232, p.373-387

2018

Volltextzugriff (PDF)

Document Information Extraction via Global Tagging

Chinese Computational Linguistics, 2023, Vol.14232, p.145-158

2023

Volltextzugriff (PDF)

Rethinking Label Smoothing on Multi-Hop Question Answering

Chinese Computational Linguistics, 2023, Vol.14232, p.72-87

2023

Volltextzugriff (PDF)

1 – 25 von 4.086

Menü

Weitere Dienste

Einstellungen

CDGDroid: Android Malware Detection Based on Deep Learning Using CFG and DFG

Towards Dependable and Explainable Machine Learning Using Automated Reasoning

Modeling and Verifying NDN Access Control Using CSP

Analysis on Strategies of Superposition Refinement of Event-B Specifications

Model Based Testing of Cyber-Physical Systems

Developing Reliable Component-Based Software in Mediator

Principled Greybox Fuzzing

Generating Chinese Classical Poems with RNN Encoder-Decoder

Multichannel LSTM-CRF for Named Entity Recognition in Chinese Social Media

Bi-directional Gated Memory Networks for Answer Selection

Ontology Matching with Word Embeddings

Behaviour-Driven Formal Model Development

Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X

Local Community Detection Using Social Relations and Topic Features in Social Networks

Named Entity Recognition with Gated Convolutional Neural Networks

PAR: A Practicable Formal Method and Its Supporting Platform

A Survey on Table Question Answering: Recent Advances

A Three-Layered Collocation Extraction Tool and Its Application in China English Studies

Capabilities: Effects for Free

Joint Extraction of Multiple Relations and Entities by Using a Hybrid Neural Network

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL

The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators

Formalising Extended Finite State Machine Transition Merging

Document Information Extraction via Global Tagging

Rethinking Label Smoothing on Multi-Hop Question Answering

Aktive Filter

Suchergebnisse filtern