yusuke1997/dblp-id-title huggingface dataset:
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness
A Universal Scripting Framework or Lambda: The Ultimate "Little Language"
Programming with Explicit Regions
Implementing Constraint Retraction for Finite Domains
A Framework for Formal Reasoning about Open Distributed Systems
Design and Application of a Light-Weight Persistency Mechanism
Automated Verification of Behavioural Properties of Prolog Programs
An Improved Logging and Checkpointing Scheme for Recoverable Distributed Shared Memory
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
Adaptive Object Storage System for Mobile Computing Environments
Complexity as a Basis for Comparing Semantic Models of Concurrency
Certificateless Authenticated Two-Party Key Agreement Protocols
Deaccumulation - Improving Provability
Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009. Proceedings
Personalized Video for Contents Delivery Network
Ant Colony Optimization for the Ship Berthing Problem
LPOD Answer Sets and Nash Equilibria
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems
On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas
Semantics and Logic for Provable Fault-Tolerance, A Tutorial
Dynamic Geospatial Web Services Composition in Peer-to-Peer Networks
A Query Processing Approach Based on Window Semantics in Data Stream System
Basic Results in Automatic Transformations of Shared Memory Parallel Programs into Sequential Programs
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources
Global Predicate Detection under Fine-Grained Modalities
Analysis of Caching Mechanisms from Sporting Event Web Sites
Medical Image Analysis and Simulation
Robot Visual Servoing Based on Total Jacobian
Dynamic Multiprocessor Scheduling for Supporting Real-Time Constraints
Reducing Equational Theories for the Decision of Static Equivalence
Empirical Study of the Impact of Metasploit-Related Attacks in 4 Years of Attack Traces
Practical Indexing XML Document for Twig Query
A Comprehensive Approach to Detect Unknown Attacks Via Intrusion Detection Alerts
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract)
The Non-Standard Semantics of Esterel
Spectral-Based Document Retrieval
How to do Things with Cryptographic Protocols
"Logic Wins!"
Counting by Coin Tossings
The Grid: Challenges and Research Issues
Testing Proofs by Examples
Implementation Tuning of a Dataflow Language on a Stock Parallel Machine with Visualization Tools
Constraints for Free in Concurrent Computation
Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings
Mining Correlations Between Multi-streams Based on Haar Wavelet
Guaranteed Mutually Consistent Checkpointing in Distributed Computations
Solving the N-Body Problem with the ALiCE Grid System
Emerging Application Domains and the Computing Fabric
A Generalized Framework for Reasoning with Multi-Point Events
Bisimulation Lattice of Chi Processes
Information Flow Testing
Management Advantages of Object Classification in Role-Based Access Control (RBAC)
Some Thoughts on Statecharts, 13 Years Later (Abstract)
Efficient Induction of Executable Logic Programs from Examples
An Imperative Language with Read/Write Type Modes
ALPS-JI: An Annotated Logic Programming System with Hypothetical Implications (Abstract)
The Heuristics for the Constrained Multicast Routing
Security Evaluation of a Type of Table-Network Implementation of Block Ciphers
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus
Modeling Urgency in Component-Based Real-Time Systems
Faster Model Checking for Open Systems
ESP-MC: An Experiment in the Use of Verification Tools
Normal Proofs in Intruder Theories
Computation of the k-Error Linear Complexity of Binary Sequences with Period 2 n
Materialized View Adaption in Distributed Databases
Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems
Minimal Unsatisfiable Sets: Classification and Bounds
Graph Theoretic Models for Reasoning About Time
The Experience and Practice of Developing a Brain Functional Analysis System Using ICA on a Grid Environment
Optimal Constraint Decomposition for Distributed Databases
Responsiveness in Process Calculi
Deducibility Constraints
Calculus of Classical Proofs I
An Equity-Based and Cell-Based Spatial Object Fusion Method
On Computable Tree Functions
On the Role Definitions in and Beyond Cryptography
Efficient Evaluation of Sibling Relationship in XPath Queries
On Simulation-Checking with Sequential Systems
Rule-Based Programming and Proving: The ELAN Experience Outcomes
Formal Verification of the MCS List-Based Queuing Lock
Shared Ontology for Pervasive Computing
Logical Relations in Circuit Verification
Maintaining Data Consistency of XML Databases Using Verification Techniques
Sensitivity Analysis of Real-Time Task Sets
CHESSBOARD: A Synergy of Object-Oriented Concurrent Programming and Program Layering
BDD-Nodes Can Be More Expressive
A Dolev-Yao Model for Zero Knowledge
An Integer Programming-Based Nurse Rostering System
Efficient Stream Organization for Wireless Broadcasting of XML Data
Asynchronous Links in the PBC and M-Nets
Security Types for Mobile Safe Ambients
Structure of User Interface Module for Practical Internet Messages
Performance Analysis of Flow Loss Probability and Link Utilization in MPLS Networks for Traffic Engineering
Registration of 3D Range Images Using Particle Swarm Optimization
Supporting Both Client-Server and Peer-to-Peer Models in a Framework of a Distributed Object Management System
Hierarchical Automata as Model for Statecharts
Lambda-Definable Term rewriting Systems
Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings
Variable Timestamp-Based Distributed Deadlock Detection and Resolution
Probabilistic Space Partitioning in Constraint Logic Programming
Cut Elimination for Classical Proofs as Continuation Passing Style Computation
Secrecy Analysis in Protocol Composition Logic
A Symbolic Intruder Model for Hash-Collision Attacks
The Logistical Backbone: Scalable Infrastructure for Global Data Grids
Declarative Debugging in Constraint Logic Programming
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs
Dynamic Resource Allocation in Core Routers of a Diffserv Network
A Special Proxy Signature Scheme with Multi-warrant
Combining Heterogeneous Classifiers for Network Intrusion Detection
Binary Space Partitions for Sets of Hyperrectangles
A Typed Lambda Calculus of Objects (Extended Abstract)
Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Learnability of Simply-Moded Logic Programs from Entailment
Coordination Science: Challenges and Directions
Enhancement of Creative Aspects of a Daily Conversation with a Topic Development Agent
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report
Breaking and Fixing Public-Key Kerberos
A Static Birthmark of Binary Executables Based on API Call Structure
Rapid Prototyping Techniques for Fuzzy Controllers
Combination of Abstractions in the ASTRÉE Static Analyzer
Concurrent Object-Oriented Programming in Tempo++
Taxonomy and Expressiveness of Preemption: A Syntactic Approach
Tried Linear Hashing
The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract)
Model Checking Probabilistic Distributed Systems
Relational to XML Schema Conversion with Constraints
FORM : A Federated Rights Expression Model for Open DRM Frameworks
Improving the X.509 Protocol for ATM Networks
A Practical Approach to Automatic Parameter-Tuning of Web Servers
Mobile Computation: Calculus and Languages (A Tutorial)
Formalizing Inductive Proofs of Network Algorithms
Variant Mixed Integer Linear Programming Model for Merchandises Optimization in Fast-Moving Consumer Goods Industry
Contrastive Learning for Multiple Models in One Supernet
A Pair-Wise Method for Aspect-Based Sentiment Analysis
Structural-Based Graph Publishing Under Differential Privacy
A Review of Link Prediction on Heterogeneous Networks
Learning Contextual Features with Multi-head Self-attention for Fake News Detection
MusicNER: With Adversarial Training and Attention Mechanisms for Chinese Musical Instrument NER
Robotic Arm Movement Compliance Detection
Retrieval-Augmented Generation Architecture Framework: Harnessing the Power of RAG
Cognitive Computing - ICCC 2024 - 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Cognitive Computing - ICCC 2022 - 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
Cognitive Computing - ICCC 2021 - 5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings
An Annotated Speech Corpus of Rare Dialect for Recognition - Take Dali Dialect as an Example
LLM-Based Automating Product Information Retrieval for Industry Analysis: A Real-World Application
Imagery Signal-Based Deep Learning Method for Prescreening Major Depressive Disorder
AI-Driven E-commerce Traffic Engine: A Multi-agent System for Optimizing Amazon Sales
A Feature Extraction Algorithm for the Detection of "Five-Distances" in Hazardous Chemical Storage and Stacking in Night Vision Environment
P-Reader: A Clue-Inspired Model for Machine Reading Comprehension
Online Education Recommendation Algorithm Based on Relationship Aware Heterogeneous Graph Neural Network
Reinforcement Learning with Monte Carlo Sampling in Imperfect Information Problems
Automated Data Mapping Based on FastText and LSTM for Business Systems
A Dual Layer Regression Model for Cross-border E-commerce Industry Sale and Hot Product Prediction
Face Detection Using Bionic Cascaded Framework
A Multimodal Retrieval-Augmented Generation System for Intelligent Question Answering
Using GAN to Generate Sport News from Live Game Stats
A Coarse-to-Fine Text Matching Framework for Customer Service Question Answering
MCPR: A Chinese Product Review Dataset for Multimodal Aspect-Based Sentiment Analysis
Detecting Android Malware Using Bytecode Image
Path Planning for Mobile Robots Based on Improved Ant Colony Algorithm
Named Entity Recognition for Silk Road Trade Texts Based on Deep Learning
T4S: Two-Stage Screenplay Synopsis Summary Generation with Turning Points
Conditional Joint Model for Spoken Dialogue System
Comparative Evaluation of Priming Effects on HMDs and Smartphones with Photo Taking Behaviors
Deep Learning-Based Visual Defect Inspection System for Pouch Battery Packs
PRTransE: Emphasize More Important Facts Based on Pagerank for Knowledge Graph Completion
Improving Fake Product Detection with Aspect-Based Sentiment Analysis
Traffic Incident Detection from Massive Multivariate Time-Series Data
Cognitive Computing - ICCC 2025 - 9th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
An Adaptive Hot Ranking Algorithm for Popular Item Recommendation in the Express Industry
Cognitive Computing - ICCC 2023 - 7th International Conference Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings
Solving a Cloze Test for Generative Commonsense Question Answering
Visual Cognitive Mechanism Guided Video Shot Segmentation
Source Detection Method Based on Propagation Probability
The Study of Learners' Emotional Analysis Based on MOOC
Context Based Quantum Language Model with Application to Question Answering
An Ensemble Method: Case-Based Reasoning and the Inverse Problems in Investigating Financial Bubbles
Constant Force Drawing of Chemical Fibers
Reduce the Warfighters' Cognitive Burden
An Efficient Diagnosis System for Thyroid Disease Based on Enhanced Kernelized Extreme Learning Machine Approach
A Scheduled Mask Method for TextVQA
An Unsupervised Method for Sarcasm Detection with Prompts
Cognitive Computing - ICCC 2020 - 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
A Neural Rumor Detection Framework by Incorporating Uncertainty Attention on Social Media Texts
IMPRESSIVE: An AI Enterprise Model and Maturity Assessment Framework for Intelligent Transformation
Development Status and Trends of Wearable Smart Devices on Wrists
Cognitive Computing - ICCC 2018 - Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings
A Set-Associated Bin Packing Algorithm with Multiple Objectives in the Cloud
ALBERT-Based Chinese Named Entity Recognition
Forum User Profiling by Incorporating User Behavior and Social Network Connections
Research on Firefly Algorithm Enhancement by Diversifying Swarm
Small Traffic Sign Detection and Recognition in High-Resolution Images
A Survey on Anomaly Detection with Few-Shot Learning
Conversational Humor Identification Based on Adversarial Learning on Chinese Sitcoms
Research on Multi-view 3D Reconstruction of Human Motion Based on OpenPose
End-to-End Nested Multi-Attention Network for 3D Brain Tumor Segmentation
Cognitive Computing - ICCC 2019 - Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
HFF: Hybrid Feature Fusion Model for Click-Through Rate Prediction
Localized Mandarin Speech Synthesis Services for Enterprise Scenarios
Efficient Gene Assembly and Identification for Many Genome Samples
Multi-Factor Water Level Prediction Based on IndRNN-Attention
Biologically Inspired Augmented Memory Recall Model for Pattern Recognition
High-Precision Detection of Suicidal Ideation on Social Media Using Bi-LSTM and BERT Models
Supporting Social Information Discovery from Big Uncertain Social Key-Value Data via Graph-Like Metaphors
ENER: Named Entity Recognition Model for Ethnic Ancient Books Based on Entity Boundary Detection
Cognitive and Predictive Analytics on Big Open Data
Ethereum Public Opinion Analysis Based on Attention Mechanism
Speech Emotion Recognition Using Multi-granularity Feature Fusion Through Auditory Cognitive Mechanism
A Best Detecting Synchrony Method in Audio STROOP EEG Based on Wavelet Coherence
An Enhanced Opposition-Based Golden-Sine Whale Optimization Algorithm
Utilizing the Capabilities Offered by Eye-Tracking to Foster Novices' Comprehension of Business Process Models
The Development Trend of Intelligent Speech Interaction
From Determinism to Probabilism: Reshaping the Causation Identification of Medical Malpractice in AI-Assisted Diagnosis and Treatment
Prompt Tuning Models on Sentiment-Aware for Explainable Recommendation
Semantic Enhancement Based Dynamic Construction of Domain Knowledge Graph
Electromyography-Based Intentional-Deception Behavior Analysis in an Interactive Social Context: Statistical Analysis and Machine Learning
Adversarial Training for Sarcasm Detection
A Neural Framework for Joint Prediction on Intent Identification and Slot Filling
The WeChat Mini-program for Oral English Evaluation Based on the Smart Listening Algorithm
A Novel Linguistic-Aware Memory Structure for Enhancing the Response Generation
Application and Optimization of Multi-agent Reinforcement Learning in Collaborative Decision-Making
MEM for Arbitrary Exponential Open Networks with Blocking and Multiple Job Classes
Equilibrium Point Analysis of a Slotted Ring
Approximate Analysis of a G/G/c/PR Queue
Experiences in Implementing Solution Techniques for Networks of Queues
The Performance Analysis Process
A Modelling Environment for Studying the Performance of Parallel Programs
The CLOWN Network Simulator
Extension to Preemption of a Method for a Feedback Queue
Asynchronous Packet-switched Banyan Networks with Blocking
On the Performance Prediction of PRAM Simulating Models
BCMP Queueing Networks versus Stochastic Petri Nets: A Pragmatic Comparison
A Statistical Approach to Finding Performance Models of Parallel Programs
An Editing and Checking Tools for Stochastic Petri Nets
Modeling ATM Network Components with the Process Interaction Tool
Performance Evaluation of FDDI by Emulation
General Queuing Network Models with Variable Concurrent Programming Structures and Synchronization
7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh, 22-23 July 1991
A Standardized Dictionary of Icelandic Verbs
Morphological analysis of a non-standard language variety
Iterative reordering and word alignment for statistical MT
Estonian isolated-word text-to-speech synthesiser
An Icelandic Linguistic Benchmark for Large Language Models
DanSumT5: Automatic Abstractive Summarization for Danish
HP - A Heuristic Finite State Parser Based on Morphology
Operasjonell maskinomsetjing: Kvar møter vi veggen? (Operational machine translation: Where is the limit?) [In Norwegian]
Anatomy of an XML-based Text Corpus Server
Text Annotation with OpenNLP and UIMA
Grapheme-Based Cross-Language Forced Alignment: Results with Uralic Languages
Gamli - Icelandic Oral History Corpus: Design, Collection and Evaluation
Detecting and Processing Figurative Language in Discourse
The BRAGE Benchmark: Evaluating Zero-shot Learning Capabilities of Large Language Models for Norwegian Customer Service Dialogues
Produksjon av en lemmatisert konkordans til Ibsens samlede verker (Production of a lemmatized concordance of the collected works of Ibsen) [In Norwegian]
Building a morphological and syntactic lexicon by merging various linguistic resources
SWEGRAM ėxtendash A Web-Based Tool for Automatic Annotation and Analysis of Swedish Texts
Using Membership Inference Attacks to Evaluate Privacy-Preserving Language Modeling Fails for Pseudonymizing Data
Grammatisk merking av LOB-korpus (Grammatical marking of the LOB corpus) [In Norwegian]
AWARE - DAG-transformations for Semantic Analysis
Iconic Locations in Swedish Sign Language: Mapping Form to Meaning with Lexical Databases
Topological frames in sign-based grammars
Rule-based Logical Forms Extraction
Konceptuelle grafer (Conceptual graphs) [In Danish]
Lexical Resources for Low-Resource PoS Tagging in Neural Times
Translation of Prepositions by Neural Networks
Using Danish as a CG Interlingua: A Wide-Coverage Norwegian-English Machine Translation System
Logic for Part-of-Speech Tagging and Shallow Parsing
Mapping Faroese in the Multilingual Representation Space: Insights for ASR Model Optimization
Some problems related to the development of a grammar checker
Application-Dependent Discourse Management for Natural Language Interfaces: An Empirical Investigation
Neural Cross-Lingual Transfer and Limited Annotated Data for Named Entity Recognition in Danish
Question-parsing with Abstract Meaning Representation enhanced by adding small datasets
Evaluating Morphological Generalisation in Machine Translation by Distribution-Based Compositionality Assessment
English-Latvian SMT: knowledge or data?
NLI Data Sanity Check: Assessing the Effect of Data Corruption on Model Performance
DIM: The Database of Icelandic Morphology
Criteria for Computational Models of Morphology: The Two-Level Model as an NLP Framework
Analyzing the Effect of Linguistic Instructions on Paraphrase Generation
Creating Comparable Multimodal Corpora for Nordic Languages
Identification of context markers for Russian nouns
Detecting Grammar Errors in Children's Writing: A Finite State Approach
Fine-grained Named Entity Annotation for Finnish
On modelling dependency-oriented parsing
Experiments with odd languages
Predictability of Microsyntactic Units across Slavic Languages: A translation-based Study
Comparing French PP-attachment to English, German and Swedish
From English to PFO: A Formal Semantic Parser
Clause Boundary Detection in Transcribed Spoken Language
Coreference Resolution for Swedish and German using Distant Supervision
Data-Driven Methods for PoS Tagging and Chunking of Swedish
Norsk tekstarkiv etter halvtanna års drift (The Norwegian text archive after eighteen years of operation) [In Norwegian]
Using Factual Density to Measure Informativeness of Web Documents
On Using the Two-level Model as the Basis of Morphological Analysis and Synthesis of Estonian
Proceedings of the 5th Nordic Conference of Computational Linguistics, NODALIDA 1985, Helsinki, Finland, December 11-12, 1986
Word Alignment Step by Step
En datastruktur for ordbøker for naturlige språk (A data structure for natural language dictionaries) [In Norwegian]
Multivariate Cepstral Feature Compensation on Band-limited Data for Robust Speech Recognition
Improbable morphological forms in a computational lexicon
Extending the View: Explorations in Bootstrapping a Swedish PoS Tagger
Dependency-Based Hybrid Model of Syntactic Analysis for the Languages with a Rather Free Word Order
Språkvetenskaplig databehandling (Linguistic data processing) [In Swedish]
Unification Based Transfer
GliLem: Leveraging GliNER for Contextualized Lemmatization in Estonian
Filtering Matters: Experiments in Filtering Training Sets for Machine Translation
Automatisk orddeling (Automatic word-splitting) [In Danish]
Encoder vs Decoder: Comparative Analysis of Encoder and Decoder Language Models on Multilingual NLU Tasks
DanPO-a transcription-based dictionary for Danish speech technology
Naive Bayes spam filtering using word-position-based attributes and length-sensitive classification thresholds
Towards a Discourse-Oriented Representation of Information Structure in HPSG
Part-of-speech tagging of Swedish texts in the neural era
Automatic Lemmatisation of Lithuanian MWEs
Østasiatisk Instituts EDB-arbejde (The East Asian Institute's work with EDB) [In English]
Bornholmsk Natural Language Processing: Resources and Tools
The Extraction of Trajectories from Real Texts Based on Linear Classification
Annotating and Classifying Direct Speech in Historical Danish and Norwegian Literary Texts
Proceedings of the 2nd Nordic Conference of Computational Linguistics, NODALIDA 1979, Copenhagen, Denmark, October 9-10, 1979
Terminologi, arbeidsinstrukser og lagerstyring - om kodeuttrykk i fagspråk (Terminology, work instructions and inventory control - on coded expressions in jargon) [In Norwegian]
Convolution Kernels for Subjectivity Detection
Is Part-of-Speech Tagging a Solved Problem for Icelandic?
Optimizing Estonian TV Subtitles with Semi-supervised Learning and LLMs
Modeling OOV Words With Letter N-Grams in Statistical Taggers: Preliminary Work in Biomedical Entity Recognition
Natural Language Programming
Context-Sensitive Spelling Correction and Rich Morphology
Multilingual Automatic Speech Recognition for Scandinavian Languages
Tagging a Morphologically Complex Language Using an Averaged Perceptron Tagger: The Case of Icelandic
Mixed Feelings: Cross-Domain Sentiment Classification of Patient Feedback
Comparative Concepts or Descriptive Categories: a UD Case study
Proceedings of the 23rd Nordic Conference on Computational Linguistics, NoDaLiDa 2021, Reykjavik, Iceland (Online), May 31 - June 2, 2021
Invited talk: Linking News Content Across Languages
Creating bilingual lexica using reference wordlists for alignment of monolingual semantic vector spaces
Using Positional Suffix Trees to Perform Agile Tree Kernel Calculation
Generative AI for Technical Writing: Comparing Human and LLM Assessments of Generated Content
On Implementing Swedish Tense and Aspect