yusuke1997/dblp-id-title huggingface dataset:
Constructing of a Large-Scale Chinese-English Parallel Corpus
Creating Japanese Political Corpus from Local Assembly Minutes of 47 prefectures
Corpus building for Mongolian language
Thai WordNet Construction
Development of Bengali Named Entity Tagged Corpus and its Use in NER Systems
Participation in Language Resource Development and Sharing
Analysis and Development of Urdu POS Tagged Corpus
Lexicon-based Orthographic Disambiguation in CJK Intelligent Information Retrieval
A Basic Framework to Build a Test Collection for the Vietnamese Text Catergorization
Resources Report on Languages of Indonesia
Finite-State Description of Vietnamese Reduplication
Annotation and Analysis of Discourse Relations, Temporal Relations and Multi-Layered Situational Relations in Japanese Texts
VSoLSCSum: Building a Vietnamese Sentence-Comment Dataset for Social Context Summarization
Developing Universal Dependencies for Mandarin Chinese
Part of Speech Tagging for Mongolian Corpus
Resource Report: Building Parallel Text Corpora for Multi-Domain Translation System
Repairing Bengali Verb Chunks for Improved Bengali to Hindi Machine Translation
Automatic Evaluation of Commonsense Knowledge for Refining Japanese ConceptNet
A Hybrid Dependency Parser for Bangla
Proceedings of the 12th Workshop on Asian Language Resources, ALR@COLING 2016, Osaka, Japan, December 12, 2016
Providing Ad Links to Travel Blog Entries Based on Link Types
An extension of ISO-Space for annotating object direction
OLACMS: Comparisons and Applications in Chinese and Formosan Languages
Constrained Hidden Markov Model for Bilingual Keyword Pairs Alignment
Developing a POS tagger for Magahi: A Comparative Study
Proceedings of the 9th Workshop on Asian Language Resources, ALR@IJCNLP 2011, Chiang Mai, Thailand, November 12-13, 2011
Feasibility of Leveraging Crowd Sourcing for the Creation of a Large Scale Annotated Resource for Hindi English Code Switched Data: A Pilot Annotation
Towards a Computational Semantic Analyzer for Urdu
Error Detection for Treebank Validation
The FLaReNet Thematic Network: A Global Forum for Cooperation
A Study in Urdu Corpus Construction
Japanese Effort Toward Sharing Text and Speech Corpora
A State of the Art of Thai Language Resources and Thai Language Behavior Analysis and Modeling
Decomposition for ISO/IEC 10646 Ideographic Characters
Designing a Common POS-Tagset Framework for Indian Languages
Building Large Scale Text Corpus for Tibetan Natural Language Processing by Extracting Text from Web Pages
Gazetteer Preparation for Named Entity Recognition in Indian Languages
The Link Structure of Language Communities and its Implication for Language-specific Crawling
Big Community Data before World Wide Web Era
Balanced Corpus of Contemporary Written Japanese
AnnCorra: Building Tree-banks in Indian Languages
Word Segmentation Standard in Chinese, Japanese and Korean
Experiences in Building Urdu WordNet
Enhancing the Japanese WordNet
A Multilingual Multimedia Indian Sign Language Dictionary Tool
Proceedings of the 7th Workshop on Asian Language Resources, ALR7@IJCNLP 2009, Singapore, August 6-7, 2009
A New DOP Model for Phrase-structure Parsing of Persian Sentences
SCTB: A Chinese Treebank in Scientific Domain
A Grammar Checker for Tagalog using LanguageTool
Towards Building Advanced Natural Language Applications - An Overview of the Existing Primary Resources and Applications in Nepali
Proceedings of the 6th Workshop on Asian Language Resources, ALR@IJCNLP 2008, Hyderabad, India, January 11-12, 2008
Query Expansion using LMF-Compliant Lexical Resources
Selection of XML tag set for Myanmar National Corpus
Preliminary Chinese Term Classification for Ontology Construction
An Empirical Study of Vietnamese Noun Phrase Chunking with Discriminative Sequence Models
Enhanced Tools for Online Collaborative Language Resource Development
BCCWJ-DepPara: A Syntactic Annotation Treebank on the 'Balanced Corpus of Contemporary Written Japanese'
KTimeML: Specification of Temporal and Event Expressions in Korean Text
Translations of Ambiguous Hindi Pronouns to Possible Bengali Pronouns
Urdu and the Parallel Grammar Project
Interaction Grammar for the Persian Language: Noun and Adjectival Phrases
A Syntactic Resource for Thai: CG Treebank
Assessment and Development of POS Tag Set for Telugu
Philippine Language Resources: Trends and Directions
Engineering a Deep HPSG for Mandarin Chinese
Myanmar Word Segmentation using Syllable level Longest Matching
Bantay-Wika: towards a better understanding of the dynamics of Filipino culture and linguistic change
Corpus-based Sinhala Lexicon
Automated Mining Of Names Using Parallel Hindi-English Corpus
N-gram and Gazetteer List Based Named Entity Recognition for Urdu: A Scarce Resourced Language
Using Search Engine to Construct a Scalable Corpus for Vietnamese Lexical Development for Word Segmentation
Proceedings of the 10th Workshop on Asian Language Resources, ALR@COLING 2012, Mumbai, India, December 9, 2012
Dependency Parsers for Persian
A Structured Approach for Building Assamese Corpus: Insights, Applications and Challenges
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution
Knowledge-Based Systems: Verification and Validation in the view of Certification
Organising Knowledge Refinement Operators
Model Ontology Requirements for Domain Model Validation
Using Conventional Testing Techniques for KBS: An Overview
KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench
Feature Construction for Verification and Validation of Tabular Knowledge Base Systems
Evaluation of Knowledge Bases: An Application to Pneumonia
Using Examples to Refine a Redundant Knowledge Base
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria
Structural and Formative Validation of Knowledge Bases
Can We formally Specify a Medical Decision Support System?
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems
Rule Base Diagnosis for Debugging: the KB-DIAGO2 System
Using a KADS Inference Structure to Test a KBS Behaviour
Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations
Formal Notions for Verification of Dynamics of Knowledge-Based Systems
Verification of Business Processes for a Correspondence Handling Center Using CCS
Semantical Completeness of Model-Based Diagnosis
Building Valid Knowledge Bases: An ACKnowledge Perspective
Verification and Validation of a Multistrategy Knowledge-Based System
Formal methods in the development of safety critical Knowledge-Based components
Illustrating Knowledge Base Restructuring and Verification in a Real World Application
A Performance Model for Knowledge-Based Systems
Completeness of Knowledge-based Systems
Inductive verification and validation of multi agent systems
Refinement in Response to Validation
PRONTO - Ontology-based Evaluation of Knowledge Based Systems
On the Terminology of VVT
Verification of Knowledge Bases: a Unifying Logical View
CT-DATAGEN: A Constraint Based Test Data Generator
MECORI: a method for knowledge base semantic verification based on integrity constraints
Validation and Verification of Knowledge Based Systems: a Practitioner's View
Multi-Level Verification of Clinical Protocols
Verification by Construction in MILORD
The Abstract Interpretation of Hybrid Rule/Frame-Based Systems
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment
A Pragmatic Approach to Validation: The Industrial Experience of ALPIN
An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance Procedures
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base
A Model Based Approach to Validation
Towards a Validation Methodology of KBS
Object Oriented Knowledge Engineering: A Formal Approach for Verification
A Formal Study of Forward Reasoning Consistency on KBSs
Validation and Refinement versus Revision
Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning
Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain
Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway
Validation and Verification of Knowledge Models
Validation and Verification of Conceptual Models of Diagnosis
On the Consistency of Fuzzy Knowledge Bases
Machine Learning for Verification and Validation
Using a Conceptual Model to Validate KBSs
Considerations About Validation of Knowledge Models in KBE Systems
User Participation-based Software Certification
A Graph Theoretic Optimisation of Temporal Abductive Validation
Verification and Validation in Support for Software Certification Methods
Consistency of Structured Knowledge: A Formal Framework Based on Description Logics
Verification and Correctness Issues for Nonmonotonic Knowledge Bases
A Model-based Approach to the Verification of Program Supervision Systems
Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres
Expert System Verification and Validation: Issues and U.S. Activities
Co-Chairmen's Introduction
Validation of Stratified Logic Programs: Methodology and Practical Experience
General Overview of the VALID Project
A Mechanism for Verification of Knowledge Base Scheme Specifications
The Nought Attributes in Knowledge-Based Systems
Inter-Tabular Verification in an Interactive Environment
Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems
Mutants in the KBS Testing Process
On the Verification of Modular Logical Knowledge Bases
Declarative Formalization of Heuristics
Lower Bounds on the Size of Test Data Sets
A Symbolic Execution Based Approach for Inspecting Knowledge Bases
Knowledge Validation in the Building of a KBS
Validating Rule-Based Systems that Operate with Incomplete Data
Verifying Coherence in Modular Knowledge Bases
Validation and Verification of KADS Data and Domain Knowledge
On Principles of Knowledge Validation
Extracting complete and consistent knowledge patterns from data
Multiagent Systems Verification via Model Checking
1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998
Verifying and Validating a Task/Method Knowledge-Base
Design Patterns for Safety-critical Knowledge Based Systems
A Tool for Testing Confluence of Production Rules
Utilising Explanation to Assist the Refinement of Knowledge-Based Systems
The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base
Symposium Organization, Contents, Foreword, Index
Incorporating Backtracking Search with Knowledge Refinement
Three Pragmatic Tools for the Validation of Knowledge-Based Systems
The Selection of Training Cases for Automated Knowledge Refinement
Compositional Verification of Agents in Dynamic Environments: a Case Study
Ontology-based Verification and Validation of Federated Database Systems
Specifying and Verifying Knowledge-Based Systems with KIV
A Modeling Approach to KBS Verification
Revision of Rule Bases
A Formal Study of Consistency of KBSs
Revising and Updating a Corporate Memory
Coupling Modeling and Validation in COMMET
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium
UVT: A Unification Based Tool for Knowledge Base Verification
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements
A Priori Verification of Product Models in Mechanical Design
Cooperation of Machine Learning and Validation
Computing Partial Labels in KBS Validation Tools
Characterising approximate problem solving: by partially fulfilled pre- and postconditions
Two Aspects of the Validation and Verification of Knowledge Based Systems
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions
An Algebraic Approach to Refinement of KBS Specification
Constraints for Validation of Conceptual Graphs
Idempotency as a Correctness Property of Rule Bases
Verifying the World Wide Web: a Position Statement
Knowledge-Based Systems for power system control centers: validation and verification?
Building Competent Knowledge Based Systems
Verification and Validation Tools in JHExpert
Global Verification of Knowledge Based Systems via Local Verification of Partitions
Consistency and Rules Subject to Exceptions
Structural and Performance Metrics for Rule-Based Expert Systems
Software Visualization Based KBS Validation
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning
Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991
Knowledge-Based Systems Verification: A Machine Learning-Based Approach
The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique
Modelling Validation Seen as a Set of Problem Solving Tasks
Validation of KBSs: Towards a Methodological Approach for Space Applications
Analyzing Neural MT Search and Model Performance
The Unreasonable Volatility of Neural Machine Translation Models
Detecting Cross-Lingual Semantic Divergence for Neural Machine Translation
An Empirical Study of Mini-Batch Creation Strategies for Neural Machine Translation
Simultaneous Translation and Paraphrase for Language Education
Marian: Cost-effective High-Quality Neural Machine Translation in C++
An Empirical Study of Adequate Vision Span for Attention-Based Neural Machine Translation
Controllable Abstractive Summarization
Enhancement of Encoder and Attention Using Target Monolingual Corpora in Neural Machine Translation
Cost Weighting for Neural Machine Translation Domain Adaptation
Distill, Adapt, Distill: Training Small, In-Domain Models for Neural Machine Translation
Learning to Generate Multiple Style Transfer Outputs for an Input Sentence
Training and Inference Methods for High-Coverage Neural Machine Translation
Findings of the Second Workshop on Neural Machine Translation and Generation
English-to-Japanese Diverse Translation by Combining Forward and Backward Outputs
Compressing Neural Machine Translation Models with 4-bit Precision
Inducing Grammars with and for Neural Machine Translation
The JHU Submission to the 2020 Duolingo Shared Task on Simultaneous Translation and Paraphrase for Language Education
On the Impact of Various Types of Noise on Neural Machine Translation
Towards one-shot learning for rare-word translation with external experts
The ADAPT System Description for the STAPLE 2020 English-to-Portuguese Translation Task
Edinburgh's Submissions to the 2020 Machine Translation Efficiency Task
Findings of the Fourth Workshop on Neural Generation and Translation
Stronger Baselines for Trustable Results in Neural Machine Translation
Proceedings of the Fourth Workshop on Neural Generation and Translation, NGT@ACL 2020, Online, July 5-10, 2020
Iterative Back-Translation for Neural Machine Translation
Proceedings of the 2nd Workshop on Neural Machine Translation and Generation, NMT@ACL 2018, Melbourne, Australia, July 20, 2018
NICT Self-Training Approach to Neural Machine Translation at NMT-2018
Simultaneous paraphrasing and translation by fine-tuning Transformer models
Improving Document-Level Neural Machine Translation with Domain Adaptation
A Deep Reinforced Model for Zero-Shot Cross-Lingual Summarization with Bilingual Semantic Similarity Rewards
Efficient and High-Quality Neural Machine Translation with OpenNMT
POSTECH Submission on Duolingo Shared Task
Leveraging Sentence Similarity in Natural Language Generation: Improving Beam Search using Range Voting
Automatically Ranked Russian Paraphrase Corpus for Text Generation
Generating Diverse Translations via Weighted Fine-tuning and Hypotheses Filtering for the Duolingo STAPLE Task
Regularized Training Objective for Continued Training for Domain Adaptation in Neural Machine Translation
Balancing Cost and Benefit with Tied-Multi Transformers
A Question Type Driven and Copy Loss Enhanced Frameworkfor Answer-Agnostic Neural Question Generation
Detecting Untranslated Content for Neural Machine Translation
OpenNMT System Description for WNMT 2018: 800 words/sec on a single-core CPU
Expand and Filter: CUNI and LMU Systems for the WNGT 2020 Duolingo Shared Task
Meta-Learning for Few-Shot NMT Adaptation
Bi-Directional Neural Machine Translation with Synthetic Parallel Data
Proceedings of the First Workshop on Neural Machine Translation, NMT@ACL 2017, Vancouver, Canada, August 4, 2017
Growing Together: Modeling Human Language Learning With n-Best Multi-Checkpoint Machine Translation
Fast Neural Machine Translation Implementation
Six Challenges for Neural Machine Translation
Exploring Model Consensus to Generate Translation Paraphrases
Multi-Source Neural Machine Translation with Missing Data
Meeting the 2020 Duolingo Challenge on a Shoestring
Document-Level Adaptation for Neural Machine Translation
A Generative Approach to Titling and Clustering Wikipedia Sections
A Shared Attention Mechanism for Interpretation of Neural Automatic Post-Editing Systems
Beam Search Strategies for Neural Machine Translation
The NiuTrans System for WNGT 2020 Efficiency Task
Proceedings of the First Workshop "From Biology To Concurrency and back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007
Proceedings of the Second Workshop From Biology to Concurrency and Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008
First Twente Data Management Workshop (TDM 2004) on XML Databases and Information Retrieval, Enschede, The Netherlands, June 21, 2004
Z-style notation for Probabilities
Retrieval Using Structure for Question Answering
An Algebra for Probabilistic XML Retrieval
Managing Imprecisions with Probabilistic Databases
Processing Content-And-Structure Queries for XML Retrieval
Modeling Uncertain Context Information via Event Probabilities
Ignorance in the Relational Model
About Generalized YES/NO Queries in the Possibilistic and Probabilistic Database Contexts
Relational Approach to Logical Query Optimization of XPath
Combining Indexing Schemes to Accelerate Querying XML on Content and Structure
Structured Queries for Semistructured Probabilistic Data
The Merging Component of the MUMIS Project
Second Twente Data Management Workshop (TDM 2006) on Uncertainty in Databases, Enschede, The Netherlands, June 6, 2006
Relational Algebra: Mother Tongue - XQuery: Fluent
XML Information Retrieval - Achievements and Challenges
Approximate Tree Embedding Problem - An Algebraic Approach
Integrity Checking for Uncertain Data
Semantic Characterization of Navigational XPath
Enhancing Content-And-Structure Information Retrieval using a Native XML Database
Xaver and the SearX-Engine: XML Retrieval in Real World Applications
An ns-3 Model for Simultaneous Wireless Information and Power Transfer over IEEE 802.11ah Networks
A SACK-based Conservative Loss Recovery Algorithm for ns-3 TCP: a Linux-inspired Proposal
Connectivity Maintenance Extensions to IEEE 802.11s MAC Layer in ns-3
Common TCP Evaluation Suite for ns-3: Design, Implementation and Open Issues
RoutesMobilityModel: easy realistic mobility simulation using external information services
Implementation and Evaluation of IEEE 802.11ax Target Wake Time Feature in ns-3
Data Center TCP in ns-3: Implementation, Validation and Evaluation
Implementation and Evaluation of IEEE 802.11ax Channel Sounding Frame Exchange in ns-3
O-RAN with Machine Learning in ns-3
Epidemic routing protocol implementation in ns-3
A Framework for End-to-End Evaluation of 5G mmWave Cellular Networks in ns-3
NetSimulyzer: a 3D network simulation analyzer for ns-3
Verification of ns-3 Wi-Fi Rate Adaptation Models on AWGN Channels
Implementation of epidemic routing with IP convergence layer in ns-3
On predicting the performance characteristics of the ns-3 distributed simulator for scale-free internet models
ns-3-based real-time emulation of LTE testbed using LabVIEW platform for software defined networking (SDN) in CROWD project
2024 Workshop on ns-3, WNS3 2024, Barcelona, Spain, June 5-6, 2024
WNS3 2022: 2022 Workshop on ns-3, Virtual Event, USA, June 22 - 23, 2022
WNS3 2021: 2021 Workshop on ns-3, Virtual Event, USA
Evaluation and Extension of ns-3 Battery Framework
MilliCar: An ns-3 Module for mmWave NR V2X Networks
Efficient Abstractions for Implementing TGn Channel and OFDM-MIMO Links in ns-3
Implementation and evaluation of licklider transmission protocol (LTP) in ns-3
Improved Abstraction for Clear Channel Assessment in ns-3 802.11 WLAN Model
Improving per processor memory use of ns-3 to enable large scale simulations
An Implementation Proposal for IEEE 802.11ay SU/MU-MIMO Communication in ns-3
ns-3 Based Framework for Simulating Communication Based Train Control (CBTC) Systems
Evaluating OSPF Convergence with ns-3 DCE
Simulation of Next-generation Cellular Networks with ns-3: Open Challenges and New Directions
Implementation and Evaluation of Proportional Integral Controller Enhanced (PIE) Algorithm in ns-3
Implementation and Validation of an LTE D2D Model for ns-3
Novel ns-3 model enabling simulation of electromagnetic wireless underground networks
IEEE 802.11ax Target Wake Time: Design and Performance Analysis in ns-3
ns3-fl: Simulating Federated Learning with ns-3
Extending QoS-aware scheduling in ns-3 5G-LENA: A Lyapunov based solution
A QUIC Implementation for ns-3
Kinematic Constraints and ns-3 Mobility Models: the AUV Issue
Artificial Intelligence in Vehicular Wireless Networks: A Case Study Using ns-3
Novel radio environment map for the ns-3 NR simulator
Delay in Multi-Link Operation in ns-3: Validation and Impact of Traffic Splitting
ns-3 Implementation of the 3GPP MIMO Channel Model for Frequency Spectrum above 6 GHz
End-to-end Simulation of mmWave Out-of-band Backhaul Networks in ns-3
ns-3 Web-Based User Interface: Power Grid Communications Planning and Modeling Tool
Implementation and evaluation of a WLAN IEEE 802.11ay model in network simulator ns-3
S3: the Spectrum Sharing Simulator
Robust machine learning-enabled routing for highly mobile vehicular networks with PARRoT in ns-3
Validation of the ns-3 802.11ax OFDMA implementation
Link-to-System Mapping for ns-3 Wi-Fi OFDM Error Models
Automating ns-3 experimentation in multi-host scenarios
Proceedings of the 2023 Workshop on ns-3, WNS3 2023, Arlington, VA, USA, June 28-29, 2023
ns-3 Implementation of Sub-Terahertz and Millimeter Wave Drop-based NYU Channel Model (NYUSIM)
Proceedings of the 2019 Workshop on Next-Generation Wireless with ns-3, WNGW@WNS3 2019, Florence, Italy, June 21, 2019
An ns-3 implementation of a bursty traffic framework for virtual reality sources
Enabling NGMN Mixed Traffic Models for ns-3
Implementation and evaluation of frequency division multiplexing of numerologies for 5G new radio in ns-3
Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations
Analysis of Programming Language Overhead in DCE
Implementation and validation of TCP options and congestion control algorithms for ns-3
Linux-like Socket Statistics Utility for ns-3
Topology Simulation for Aeronautical Communication Protocols with ns-3 and DCE
LL SimpleWireless: A Controlled MAC/PHY Wireless Model to Enable Network Protocol Research
ns-O-RAN: Simulating O-RAN 5G Systems in ns-3
Pushing the envelope in distributed ns-3 simulations: one billion nodes
Extension of the IEEE 802.11ah ns-3 simulation module
SOLA: A Decentralized Communication Middleware Developed with ns-3
ns-3 and 5G-LENA Extensions to Support Dual-Polarized MIMO
An Implementation of Scalable, Vegas, Veno, and YeAH Congestion Control Algorithms in ns-3