yusuke1997/dblp-id-title huggingface dataset:
On the formal specification and verification of network routing algorithms
Real-time LOTOS and Timed Observations
Generality in design and compositional verification using TAV
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities
Dynamic Priorities for Modeling Real-Time
A LOTOS Framework for Middleware Specification
Four issues concerning the semantics of Message Flow Graphs
A Timed Semantics for SDL
An Estelle Compiler for Multiprocessor Platforms
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Derivation of Useful Execution Trees from LOTOS by using an Interpreter
Fault Propagation by Equation Solving
Specifying and Verifying Web Transactions
On a Higher-Order Calculus of Computational Fields
Relating maximality-based semantics to action refinement in process algebras
Rewrite Systems for Protocol Specification and Verification
On the Distributed Implementation of LOTOS
Declarative Choreographies and Liveness
Supporting Evolution of SDL-based Systems: Industrial Experience
Fairness in LOTOS
Design and Implementation of an Application Interface for LOTOS Processors
OMT * , Bridging the Gap between Analysis and Design
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
Extraction of Relations between Lecturer and Students by using Multi-layered Neural Networks
IMAGAPP 2010 - Proceedings of the International Conference on Imaging Theory and Applications and IVAPP 2010 - Proceedings of the International Conference on Information Visualization Theory and Applications, Angers, France, May 17 - 21, 2010
Visualization of Uncertain Contour Trees
Fuzzy Segmentation of Masses in Digital Breast Tomosynthesis Images based on Dynamic Programming
Denoising Volumetric Data on GPU
Interactive Point Spread Function Simulation with Diffraction and Interference Effects
Overlapped Block Motion Compensation for Frame Rate Up Conversion
Incremental Machine Learning Approach for Component-based Recognition
Comparison of Open and Free Video Compression Systems - A Performance Evaluation
Segmentation Through Edge-linking - Segmentation for Video-based Driver Assistance Systems
Multimodal Search for Graphic Designers
Dimension Reduction based on Centroids for Multimodal Anatomical Landmark-based 3D/2D Registration of Coronary Angiograms
Generating a Visual Overview of Large Diachronic Document Collections based on the Detection of Topic Change
Visualizing Dynamic Quantitative Data in Hierarchies - TimeEdgeTrees: Attaching Dynamic Weights to Tree Edges
Producing Automated Mosaic Art Images of High Quality with Restricted and Limited Color Palettes
Visualization of Document Clusters - An Interactive Visual Tool to Browse Textual Documents
A Review on the Current Segmentation Algorithms for Medical Images
Development Process and Evaluation of the Ontology Visualization Tool Knoocks - A Case Study
Visual Analytics of Multimodal Biological Data
Visual Analysis of Document Triage Data
Towards Computer Assisted Cardiac Catheterization - How 3D Visualization Supports It
On-demand High-performance Visualization of Spatial Data on High-resolution Tiled Display Walls
GPU-accelerated Image Retexturing in Gradient Domain
Constructing the Hybrid Dithering Matrix with Equal Clustered Dot Density
CMB Anisotropies Interpolation
FOLDER3D - A Graphical File Management System Supporting Visualisation of File Relationships
Quasi-bi-quadratic Interpolation for LUT Implementation for LCD TV
Protection of 3D Objects against Illegal Photography using Optical Watermarking Technique with Spatially Modulated Illumination
Towards Affordable Gesture based Interfaces - An Exploration with Wii Remotes
Memory-based Speckle Reducing Anisotropic Diffusion
3D Visualization and Virtual Reality for Visual Data Mining - A Survey
Robust Number Plate Recognition in Image Sequences
Relativity and Contrast Enhancement
Effectiveness of Visualisations for Detection of Errors in Segmentation of Blood Vessels
Optimal Spatial Adaptation for Local Region-based Active Contours - An Intersection of Confidence Intervals Approach
Efficient Motion Deblurring for Information Recognition on Mobile Devices
Automatic Data Extraction in Odontological X-ray Imaging
Using Blender to Design and Implement Data Visualization Components for X3D and X3DOM
Temporal Social Network Analysis for Historians - A Case Study
Encyclopedia Walkabouts with VisNomad - A New Visualization Tool Designed as an Aid for Textual Exploration
Creating Audience Specific Galactic Simulations using Eye-tracking Technology
Auto-stereoscopic Rendering Quality Assessment Depending on Positioning Accuracy of Image Sensors in Multi-view Capture Systems
EPSNR for Objective Image Quality Measurements
Toward a Post-seriality Map of TV Series - Visualizing the New TV Seriality System with Protovis
Solving the T-joint Problem in Reconstructing 2-D Objects
Image Coding with Contourlet/Wavelet Transforms and SPIHT Algorithm - An Experimental Study
Adaptive Fuzzy Colour Segmentation on RGB Ratio Space for Road Detection
Data Visualization for Analyzing Simulated Robotic Soccer Games
KnoVA: Introducing a Reference Model for Knowledge-based Visual Analytics
IMAGAPP & IVAPP 2011 - Proceedings of the International Conference on Imaging Theory and Applications and International Conference on Information Visualization Theory and Applications, Vilamoura, Algarve, Portugal, March 5-7, 2011
Watermarking of Compressed Video based on DCT Coefficients and Watermark Preprocessing
Automatic Recognition of Road Signs in Digital Images for GIS Update
Top-down Data Analysis with Treemaps
Graph based Solution for Segmentation Tasks in Case of Out-of-focus, Noisy and Corrupted Images
Requirements for Interactive Ontology Visualization - Using Hypertree +2.5D Visualization for Exploring Relationships between Concepts
Interactive Search and Result Visualization for Content based Retrieval
Confidence-based Denoising Relying on a Transformation-invariant, Robust Patch Similarity - Exploring Ways to Improve Patch Synchronous Summation
A New Scheme for Dual Watermarking using DWT-PCA Technique
Stereo Pair Matching of Archaeological Scenes using Phase Domain Methods
Magnetic Resonance Imaging of the Vocal Tract - Techniques and Applications
Multi-modal Information Retrieval for Content-based Medical Image and Video Data Mining
IMAGAPP 2009 - Proceedings of the First International Conference on Computer Imaging Theory and Applications, Lisboa, Portugal, February 5-8, 2009
Analytical Imaging of Cultural Heritage by Synchrotron Radiation and Visible Light - near Infrared Spectroscopy
Understanding Changes in Heritage Architecture - Can We Provide Tools & Methods for Visual Reasoning?
Illumination Correction for Image Stitching
Temporal Post-processing Method for Automatically Generated Depth Maps
Multispectral Imaging - The Influence of Lighting Condition on Spectral Reflectance Reconstruction and Image Stitching of Traditional Japanese Paintings
Reconstruction of Hyperspectral Image based on Regression Analysis - Optimum Regression Model and Channel Selection
A 2D Texture Image Retrieval Technique based on Texture Energy Filters
Robust Fuzzy-c-means for Image Segmentation
A Novel Wavelet Measurement Scheme based on Oversampling
PCA-based Seeding for Improved Vector Quantization
Impact of a Lossy Image Compression on Parameter Estimation with Periodic Active Thermal Imaging
Robust Video Watermarking based on 3D-DWT using Patchwork Method
Active Contours with Optical Flow and Primitive Shape Priors for Echocardiographic Imagery
Uterine Fibroid Segmentation on MRI based on Chan-vese Level Set Method and Shape Prior Model
Multiscale Visualization of Relational Databases using Layered Zoom Trees and Partial Data Cubes
The Song Picture - On Musical Information Visualization for Audio and Video Editing
A New Image Re-coloring Method
A Visualization based Simulator for SYN Flood Attacks
Multi-layer Distorted 1D Navigation
A 71ps-resolution Multi-channel CMOS Time-to-Digital Converter for Positron Emission Tomography Imaging Applications
Comparative Performance Analysis of Support Vector Machines Classification Applied to Lung Emphysema in HRCT Images
Linear Structure Recognition based on Image Vectorization
Interaction Modeling with Artificial Life Agents
Intelligent Virtual Environments and Virtual Agents, Proceedings of the IVEVA 2004 Workshop, ITESM Campus Ciudad de Mexico, Mexico City, D.F , Mexico, April 27th 2004
Giving Embodied Agents a Grid-Boost
Development of an API to Create Interactive Storytelling Systems
Using Hardware-based Voice Recognition to Interact with a Virtual Environment
Welcome to MY Virtual Place
Intelligent Modelling of Virtual Worlds Using Domain Ontologies
Groups and Crowds with behaviors specified in the environment
Characterising Emotion Signalling and Affected Group Behaviour in Virtual Mammals
Speaking and acting - Interacting language and action for an expressive character
Enhancing Playout Policy Adaptation for General Game Playing
Stabilized Nested Rollout Policy Adaptation
zoNNscan: A Boundary-Entropy Index for Zone Inspection of Neural Models
Monte Carlo Search - First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings
Ordinal Monte Carlo Tree Search
Generalized Nested Rollout Policy Adaptation
Monte Carlo Game Solver
The α μ Search Algorithm for the Game of Bridge
Monte Carlo Graph Coloring
Monte Carlo Inverse Folding
Classifying Commas for Patent Machine Translation
Research on Domain Adaptation for SMT Based on Specific Domain Knowledge
Research on the Calculation Method of Semantic Similarity Based on Concept Hierarchy
RGraph: Generating Reference Graphs for Better Machine Translation Evaluation
ENTF: An Entropy-Based MT Evaluation Metric
BLEUS-syn: Cilin-Based Smoothed BLEU
Word, Subword or Character? An Empirical Study of Granularity in Chinese-English NMT
Learning Bilingual Sentence Representations for Quality Estimation of Machine Translation
Combining Domain Knowledge and Deep Learning Makes NMT More Adaptive
MinKSR: A Novel MT Evaluation Metric for Coordinating Human Translators with the CAT-Oriented Input Method
Machine Translation - 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016, Revised Selected Papers
Building the Vietnamese Phrase Treebank by Improved Probabilistic Context-Free Grammars
Neural Machine Translation with Phrasal Attention
A Content-Based Neural Reordering Model for Statistical Machine Translation
Re-ranking for Bilingual Lexicon Extraction with Bi-directional Linear Transformation from Comparable Corpora
Handling Many-To-One UNK Translation for Neural Machine Translation
Pivot-Based Semantic Splicing for Neural Machine Translation
Machine Translation - 13th China Workshop, CWMT 2017, Dalian, China, September 27-29, 2017, Revised Selected Papers
An Unknown Word Processing Method in NMT by Integrating Syntactic Structure and Semantic Concept
Singleton Detection for Coreference Resolution via Multi-window and Multi-filter CNN
A Method of Unknown Words Processing for Neural Machine Translation Using HowNet
Automatic Construction of Domain Terminology Knowledge Base for HowNet Based on the Headword
Translation Oriented Sentence Level Collocation Identification and Extraction
IPv6 Transition Mechanisms and Deployment of IPv6 at Ss. Cyril and Methodius University in Skopje
Using NLP Methods to Improve the Effectiveness of a Macedonian Question Answering System
Cross-Platform Mobile Development: Challenges and Opportunities
Tools for High Throughput Differential Methylation Study in Cancer
Asymptotic Performance of Bidirectional Dual-Hop Amplify-and-Forward Systems
Towards an Integrated Model of Optimizing the Efficiency of IT in Organizations
ICT Innovations 2010 - Second International Conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010. Revised Selected Papers
Towards a Framework for Promoting Student Engagement to Maximize Learning in Higher Education: A Case Study
Deep Learning-Based Sentiment Classification of Social Network Texts in Amharic Language
Quasigroup Representation of Some Feistel and Generalized Feistel Ciphers
A System for Suggestion and Execution of Semantically Annotated Actions Based on Service Composition
Combined AES + AEGIS Architectures for High Performance and Lightweight Security Applications
Performance Evaluation of FIR and IIR Filtering of ECG Signals
E-Business, Emerging Trends in the European Union
Multiplatform Real-Time Rendering of MPEG-4 3D Scenes with Microsoft XNA
Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2
ECG Signal Compression Using Adaptive Hermite Functions
A Fuzzy Logic Approach for a Wearable Cardiovascular and Aortic Monitoring System
Mushroom Classification Using Machine Learning
Persistent Random Search on Complex Networks
Behavioral Targeted vs Non-targeted Online Campaign in Macedonia
Automatic Text Generation in Macedonian Using Recurrent Neural Networks
Multi-criteria Evaluation of Students' Performance Based on Hybrid AHP-Entropy Approach with TOPSIS, MOORA and WPM
Evaluating Micro Frontend Approaches for Code Reusability
Hybrid 2D/1D Blocking as Optimal Matrix-Matrix Multiplication
GIS Flood Prediction Models of "Kriva Reka" River
Online Offset Correction of Remote Eye Tracking Data: A Novel Approach for Accurate Gaze-Based Mouse Cursor Control
Health Care Domain Mobile Reminder for Taking Prescribed Medications
Experimental Comparison of PSNR and SSIM Metrics for Video Quality Estimation
Effects of Terrain Details on Wireless Network Simulation Macro Results Accuracy
A New Methodology to Benchmark Sophistication of e-Invoicing and e-Ordering
Rule Induction of Physical-Chemical Water Property from Diatoms Community
A Distributed Catalog for Digitized Cultural Heritage
Temperature Dependent Initial Chemical Conditions for WRF-Chem Air Pollution Simulation Model
Processing and Analysis of Macedonian Cuisine and its Flavours by Using Online Recipes
Accelerating Clustering Coefficient Calculations on a GPU Using OPENCL
Initialization of Matrix Factorization Methods for University Course Recommendations Using SimRank Similarities
Improving Medical Cases Retrieval Using an Online Fact Database
Multiplex Collaboration Network of the Faculty of Computer Science and Engineering in Skopje
ICT Innovations 2024. TechConvergence: AI, Business, and Startup Synergy - 16th International Conference, ICT Innovations 2024, Ohrid, North Macedonia, September 28-30, 2024, Proceedings
AUM and Enterprise Tomography: New Concepts for Technology Enhanced Learning for Enterprise Systems in Higher Education
Parallel Programming Strategies for Computing Walsh Spectra of Boolean Functions
ICT Innovations 2022. Reshaping the Future Towards a New Normal - 14th International Conference, ICT Innovations 2022, Skopje, Macedonia, September 29 - October 1, 2022, Proceedings
ICT Innovations 2021. Digital Transformation - 13th International Conference, ICT Innovations 2021, Virtual Event, September 27-28, 2021, Revised Selected Papers
Apportionment Heuristics for Mapping Tasks in Heterogeneous Computing Systems
Efficient Attacks in Industrial Wireless Sensor Networks
Explorations into Deep Neural Models for Emotion Recognition
Comparing Time and Frequency Domain Heart Rate Variability for Deep Learning-Based Glucose Detection
Universal Large Scale Sensor Network
Concept for Deploying Wireless in the Enterprise Infrastructure: Balancing Security and Positive QoE for the End-Users
Impact of Community Structures on Ad Hoc Networks Performances
Length Extension Attack on Narrow-Pipe SHA-3 Candidates
Practical Consequences of the Aberration of Narrow-Pipe Hash Designs from Ideal Random Functions
Diatom Ecological Modelling with Weighted Pattern Tree Algorithm by Using Polygonal and Gaussian Membership Functions
Towards Cleaner Environments by Automated Garbage Detection in Images
Position Estimation of Mobile Robots Using Unsupervised Learning Algorithms
Deep Learning the Protein Function in Protein Interaction Networks
Using XAML in Representation of Dental Charts in Electronic Health Record
Open Financial Data from the Macedonian Stock Exchange
Corporate Environmental Management Information Systems - CEMIS 2.0
Web Service Validation within Semantic SOA-Based Model
Novel Data Processing Approach for Deriving Blood Pressure from ECG Only
Assistive e-Learning Software Modules to Aid Education Process of Students with Visual and Hearing Impairment: A Case Study in North Macedonia
ECGalert: A Heart Attack Alerting System
Automated Assessment of Lower and Higher-Order Thinking Skills Using Artificial Intelligence Methods
Monte Carlo Methods Using New Class of Congruential Generators
Standardization and Quality Assurance in Life-Science Research - Crucially Needed or Unnecessary and Annoying Regulation?
Addressing Item-Cold Start Problem in Recommendation Systems Using Model Based Approach and Deep Learning
MACEDONIZER - The Macedonian Transformer Language Model
Performance of Amplify-and-Forward Relay Systems with On-off Relaying
Self-Heating Effects in High Performance Devices
e-Government and e-Business in Western Balkans 2010
Correlating Glucose Regulation with Lipid Profile
A Circuit for Flushing Instructions from Reservation Stations in Microprocessors
Digital Shift: Assessment of Mental States Through Passive Mobile Sensing
Comparison of Models for Recognition of Old Slavic Letters
Distributed Private Key Generator for ID-Based Public Key Infrastructure
Metaphors of Creativity
Local Diffusion Versus Random Relocation in Random Walks
Selective Attack in Virus Propagation Processes
A Novel Fuzzy Decision Tree Based Method for Detecting Protein Active Sites
The Comparison of Virtual Machine Migration Performance between XEN-HVM, XEN-PV and Open-VZ
Analyzing the Cryptographic Properties of the Sets of Parastrophic Quasigroups of Order 4
Protein Secondary Structure Graphs as Predictors for Protein Function
Evaluation of Vector Databases and LLMs in RAG-Based Multi-document Question Answering
A Review of Dew and Edge Computing: Two Sides of a Modern Internet of Things Solution
Pipelined Serial Register Renaming
Smart City Air Pollution Monitoring and Prediction: A Case Study of Skopje
Introducing Probabilities in Networks of Polarized Splicing Processors
Toward 3D Avatar Visualization of Macedonian Sign Language
Multidimensional Sensor Data Prediction
Error-Detecting Code Using Linear Quasigroups
On-Line Animation System for Learning and Practice Cued Speech
Models for Detecting Frauds in Medical Insurance
Detection of Toy Soldiers Taken from a Bird's Perspective Using Convolutional Neural Networks
Evaluating Killer Drone Defense: NATO SPS Project "Anti-Drones" Field Trials
Review of Knowledge Sharing: Conceptual Foundations for Micro-level Knowledge Sharing and Readiness-for Change Related Behaviours
Finite State Automata by DNA Self-assembly
Performances of Fast Algorithms for Random Codes Based on Quasigroups for Transmission of Audio Files in Gaussian Channel
Relation Between Statistical Tests for Pseudo-Random Number Generators and Diaphony as a Measure of Uniform Distribution of Sequences
The New Normal: Innovative Informal Digital Learning After the Pandemic
Multi-access Edge Computing Smart Relocation Approach from an NFV Perspective
Towards Improvement of the Study Programme Quality: Alumni Tracking Information System
Bayesian Multiclass Classification of Gene Expression Colorectal Cancer Stages
Network-Dependent Server Performance Analysis of HTTP Adaptive Streaming
Reconstructing Gene Networks of Forest Trees from Gene Expression Data: Toward Higher-Resolution Approaches
Blood Oxygen Saturation Estimation Using PPG Signals from the MIMIC-III Database
Robustness of the Gray Code Arrangements of the Genetic Code in Mitochondria
De Bruijn-Based and k-Ary n-Cube-Based Algebraic Models in Fog Environments
Robustness of Speech Recognition System of Isolated Speech in Macedonian
Internet Addiction: Evaluating the Psychometric Properties of the IAT in Macedonia
Influence of Fuzzy Tolerance Metrics on Classification and Regression Tasks for Fuzzy-Rough Nearest Neighbour Algorithms
ICT Innovations 2013 - ICT Innovations and Education, Ohrid, Macedonia, 12-15 September, 2013
Controlling Robots Using EEG Signals, Since 1988
Non-poisson Processes of Email Virus Propagation
Protein Classification Based on 3D Structures and Fractal Features
Ontology Supported Patent Search Architecture with Natural Language Analysis and Fuzzy Rules
Rule - Based Model for Medical Knowledge Presentation and Reasoning in Clinical Decision Support Systems
Phonetic Experiment Web Application
OGSA-DAI Extension for Executing External Jobs in Workflows
Adapting a Web 2.0-Based Course to a Fully Online Course and Readapting It Back for Face-to-Face Use
Mobile Robot Environment Learning and Localization Using Active Perception
Implementation of the Time Series and the Convolutional Vision Transformers for Biological Signal Processing - Blood Pressure Estimation from Photoplethysmogram
Optimizing ELARS Algorithms Using NVIDIA CUDA Heterogeneous Parallel Programming Platform
Evaluation of Multiple Approaches for Visual Question Reasoning
Tendencies and Perspectives of the Emotions Usage in Robotics
Efficient Classification of Long Time-Series
Semantic Policy Information Point - preliminary considerations
How Lightweight Is the Hardware Implementation of Quasigroup S-Boxes
Implementation of Hybrid Monte Carlo (Molecular Dynamics) Quantum Mechanical Methodology for Modeling of Condensed Phases on High Performance Computing Environment
Diatom Classification with Novel Bell Based Classification Algorithm
Pagerank-Like Algorithm for Ranking News Stories and News Portals
Power Consumption Analysis of Application Layer Protocols for the Internet of Things
Generic Face Detection and Pose Estimation Algorithm Suitable for the Face De-identification Problem
Optimization of Adaptive Petri-Net Grid Genetic Algorithm Workflows
Parallel Machine Translation for gLite Based Grid Infrastructures
System for Prediction of the Winner in a Sports Game
Cooperation among Non-identical Oscillators Connected in Different Topologies
Predictive Clustering of Multi-dimensional Time Series Applied to Forest Growing Stock Data for Different Tree Sizes
Research and Innovation in ICT - With Examples in the Field of eHealth and Wellbeing
Assessing the Performance of Assembly Tools on Simulated Sequencing Data and Their Sensitivity to GC Content
Exploratory Analysis of Communities in Co-authorship Networks: A Case Study
An Event-Based Messaging Architecture for Vehicular Internet of Things (IoT) Platforms
An Exploration of Autism Spectrum Disorder Classification from Structural and Functional MRI Images
Superlinear Speedup for Matrix Multiplication in GPU Devices
ICT Innovations 2023. Learning: Humans, Theory, Machines, and Data - 15th International Conference, ICT Innovations 2023, Ohrid, North Macedonia, September 24-26, 2023, Proceedings
Performance Evaluation of a New Approach for Automatic Question Production
Next Generation ICT Platform to Harmonize Medical, Care and Lifestyle Services
Sentiment Analysis of Movie Reviews Written in Macedonian Language
Modeling the Speedup for Scalable Web Services
Organizations Analysis with Complex Network Theory
A New Solution for Workflow and Document Management Used for University Management in WODOMI Project
Review of Automated Weed Control Approaches: An Environmental Impact Perspective
On the Choice of Method for Solution of the Vibrational Schrödinger Equation in Hybrid Statistical Physics - Quantum Mechanical Modeling of Molecular Solvation
A Hybrid Model for Financial Portfolio Optimization Based on LS-SVM and a Clustering Algorithm
Recognition of Colorectal Carcinogenic Tissue with Gene Expression Analysis Using Bayesian Probability