yusuke1997/dblp-id-title huggingface dataset:
Augmenting Cats and Dogs: Procedural Texturing for Generalized Pet Tracking
Multi-view NURBS Volume
A Practical and Robust Method to Compute the Boundary of Three-dimensional Axis-aligned Boxes
LP fitting approach for reconstructing parametric surfaces from points clouds
Intention Understanding for Human-Aware Mobile Robots: Comparing Cues and the Effect of Demographics
Quote Surfing in Music and Movies with an Emotional Flavor
Visualization of Long Scenes from Dense Image Sequences using Perspective Composition
To Paint in Tongues - Interactive, Artistic and Mobile Information Visualization for Social Media Texts - Creativity Enhancement by Painting with Tweets on a Smart Tablet
A fast interpolation method to represent the BRDF in global illumination
Studying the User Experience with a Multimodal Pedestrian Navigation Assistant
Assessing the Feasibility of using Augmented Reality to Visualize Interventional Radiology Imagery
A Process Reference Model for UX
Procedural Modelling of Monumental Buildings from Textual Descriptions
Cage-free Spatial Deformations
Mobile Augmented Reality for Analysis of Solar Radiation on Facades
Floor Plan Generation and Room Labeling of Indoor Environments from Laser Range Data
The Pull-push Algorithm Revisited - Improvements, Computation of Point Densities, and GPU Implementation
Time-series Application on Big Data - Visualization of Consumption in Supermarkets
Visual Analysis and Exploration of Entity Relations in Document Collections
Generic BRDF Sampling - A Sampling Method for Global Illumination
An Architectural Pattern for X3D-based Virtual Environments - An Object-oriented Approach
This Music Reminds Me of a Movie, or Is It an Old Song? An Interactive Audiovisual Journey to Find out, Explore and Play
Evaluation of Visualization Features in Three-dimensional Location-based Mobile Services
GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, Rome, Italy, 24-26 February, 2012
Rig-space Neural Rendering: Compressing the Rendering of Characters for Previs, Real-time Animation and High-quality Asset Re-use
A New Algorithm using Independent Components for Classification and Prediction of High Dimensional Data
An Embedded Polygon Strategy for Quality Improvement of 2D Quadrilateral Meshes with Boundaries
Visualization of 3D Cluster Results for Medical Tomographic Image Data
Story Authoring in Augmented Reality
Fog of Story: Design, Implementation and Evaluation of a Post-processing Technique to Guide Users' Point of View in cinematic Virtual Reality (cVR) Experiences
Specification of a UX Process Reference Model towards the Strategic Planning of UX Activities
Content-sensitive Screening in Black and White
Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017) - Volume 2: HUCAPP, Porto, Portugal, February 27 - March 1, 2017
Enabling Focused Software Quality Assurance in Agile Software Development Processes for Mobile Applications using Text and Usage Mining Methods
A Sketch-based Interface for Real-time Control of Crowd Simulations that Use Navigation Meshes
Low-rank Radiosity using Sparse Matrices
Gesture Recognition - Control of a Computer with Natural Head Movements
Lag camera: A moving multi-camera array for scene acquisition
Human Pose Estimation in Video via MCMC Sampling
Fast Approximate Light Field Volume Rendering: Using Volume Data to Improve Light Field Synthesis via Convolutional Neural Networks
EFSAT - An Exact and Efficient Triangle Intersection Test Hardware
Synthesis of Multiresolution Scenes with Global Illumination on a GPU
MUVTIME: A Multivariate Time Series Visualizer for Behavioral Science
WebComets: A Tab-Oriented Approach for Browser History Visualization
Parametric Modeling of Trunk-root Junctions using Astroidal Expansion Geometry
Real-time Rendering of Indirectly Visible Caustics
Dance evaluation system based on motion analysis
Progressive transmission and rendering of foveated volume data
Annotations as a Support for Knowledge Generation - Supporting Visual Analytics in the Field of Ophthalmology
A Taxonomy of Augmented Reality Annotations
Hand Gesture Recognition based on Near-infrared Sensing Wristband
Evaluating the Usability of Recent Consumer-grade 3D Input Devices
Efficient Dynamical Computation of Principal Components
Automatic Fly-through Camera Animations for 3D Architectural Repositories
Real-time rendering of time-varying volume data using a single cots computer
Completeness in formal specification language design for process-control systems
Applying the SCR requirements method to a weapons control panel: an experience report
Using TAME to prove invariants of automata models: Two case studies
Controller synthesis for the "production cell" case study
Formal modeling of active network nodes using PVS
Fault origin adjudication
Verification of an audio control protocol within real time process algebra
Checking properties of safety critical specifications using efficient decision procedures
Software synthesis and applications (abstract only)
Property specification patterns for finite-state verification
Service specifications: to B, or not to B
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA
DSD: A schema language for XML
Designing executable abstractions
The experimental Estelle Compiler: automatic generation of implementations from formal specifications
Automatic verification of railway interlocking systems: a case study
Experiences in verifying parallel simulation algorithms
Formal specification and validation at work: a case study using VDM-SL
Low-cost pathways towards formal methods use
Specifying the mode logic of a flight guidance system in CoRE and SCR
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
Model checking Java programs
Government, industry, and academia: Teaming to design high confidence information security applications
Using predicate abstraction to reduce object-oriented programs for model checking
An analysis of training of a multilayer perceptron for calculating the flow parameters of a conveyor
Machine Learning for Business Process Automation
Cobots and Industrial Robots
Artificial Intelligence for the Future of Construction
Research and Development of Image Processing Algorithms for Effective Recognition of Various Gestures in Real Time
Improvement of the mathematical models reduction principle by group elements deletion
Proceedings of the 1st International Conference on Smart Automation & Robotics for Future Industry (SMARTINDUSTRY 2024), Lviv, Ukraine, April 18-20, 2024
Development and optimization of a pantograph-based robotic gripper for industrial applications
Machine Learning Models for the Recognition of Commands in Smart Home Technologies
An intelligent system for forecasting time series based on a neural network with LSTM-blocks
Formation of the Method of Description and Control of the Relative Position of the Links of the Upper Limbs of the Grip of an Anthropomorphic Robot
Detection of Vehicles in Aerial Photographs Using Convolutional Neural Network
Sentiment Analysis of Twitter: Turkey Earthquake 2023 Case
Design and Deployment of Data Development Toolkit in Cloud Manufacturing Environments
PCA-NuSVR Framework for Predicting Local and Global Indicators of Tunneling-induced Building Damage
Smart carving of hard-shell fruit with CO2 Laser
Method for Construction and Demolition Waste Classification Using Two-Factor Neural Network Image Analysis
Development of a model selection tool based on numerical set analysis for rehabilitation using robotic technologies (invited paper)
The formulation and solution of the problem of constructing optimal trajectory as a means of eliminating socio-legal contradictions in the realization of unmanned robotic systems
Multicriteria structural-parametric synthesis of optimal hybrid CNN structure for image processing⋆
Proceedings of the 2nd International Conference on Smart Automation & Robotics for Future Industry (SMARTINDUSTRY 2025), Lviv, Ukraine, April 3-5, 2025
Staged integration of Recurrent Soft Actor-Critic for bioreactor control
Usage of Intermediate Fusion of Multimodal Data for Dangerous Objects Enhanced Detection
Enhancing Adaptive Systems with Intelligent Agents in Microservice Architectures: Opportunities and Challenges
Cloud Cultivation: Optimizing Agricultural Automation Practices through Deep Learning
The system of automatic greenhouse care and its informational model
Development of an Artificial Intelligence Tool and Sensing in Informatization Systems of Mobile Robots
Toward empathetic human-Robot Interaction: A Multimodal Framework Integrating Psychological Profiling and Emotion Recognition
Impact of text preprocessing on effectiveness of document classification by Graph Neural Networks
Resolving the issue of incorrect use of the averaging formula for calculating the power of conduction current pulses and how this is relevant to robotics
Optimizing the Structural Parameters of the Robotic System to Ensure the Efficiency and Reliability of Work in the Production Environment
A theoretical study: radiation shielding features of polymer materials
Detection of trends in non-stationary time series: a comparison of moving window smoothing methods
UAV detection with YOLO on a standalone Raspberry Pi 5 system (invited paper)
Interval Mackey-Glass System in the Bipolar Coordinates
Machine Learning Algorithms Evaluated for Urban Land Use and Land Cover Classification Using Sentinel 2 Data
Smart Automation and AI-Driven Optimization in Transport Networks: A Paradigm Shift Towards Sustainable and Efficient Mobility
Using Digital Twin (DT) Technology for Workforce Demand Forecasting in the Post-War Reconstruction of Ukraine
Catalogue of construction materials for Zero Emission Buildings design based on Artificial Intelligence
Optimization and Post-Optimization Analysis of the Personnel Structure of Local Self-Government Bodies to Improve the Reintegration of Veterans
Accelerating Deep Reinforcement Learning for UAVs through Optimized Simulation
Intelligent Hybrid Mobile Robotic Landmine Detection System
Cobots and Industrial Robots - abstract
Radiation attenuation of MWCNT and magnetic nanoparticle reinforced PMMA comparative analysis of coefficient
Improving the Streaming Image Quality with LiDAR
Artificial Intelligence for the Future of Construction - abstract
Research on Object Recognition Approaches for Mobile Platforms with Limited Resources
Efficient Collision Detection and Trajectory Validation Approach in Static Scenes Using Deep Neural Networks
Responsive Dehydration: Sensor-driven Optimisation of Production Cycles in a Solar Dehydrator
A Two-Stage Feature Selection Method for Neural Network Predictive Models for AGV
Innovative methods of cyber protection of information system for a smart house
Predictive Maintenance for Wind Turbine Bearings: An MLOps Approach with the DIAFS Machine Learning Model
AI-Enhanced Software Architecture Assessment for Cyber-Resilient Industrial Automation Systems
Blockchain Integration into Digital Twins for Secure and Autonomous Production Systems
Semi Linear Equation with Fuzzy Parameters
Interval Rough Mereology for Approximating Hierarchical Knowledge
Approximate Aggregate Queries with Guaranteed Error Bounds
Enhancing Rough Clustering with Outlier Detection Based on Evidential Clustering
Genetically Optimized Rule-Based Fuzzy Polynomial Neural Networks: Synthesis of Computational Intelligence Technologies
Knowledge Theory: Outline and Impact
The Graph-Theoretical Properties of Partitions and Information Entropy
Comparison of BPL and RBF Network in Intrusion Detection System
Jumping Emerging Pattern Induction by Means of Graph Coloring and Local Reducts in Transaction Databases
Comparators for Compound Object Identification
A Prototype System for Rule Generation in Lipski's Incomplete Information Databases
Toward More Reliable Emotion Recognition of Vocal Sentences by Emphasizing Information of Korean Ending Boundary Tones
Finding Minimal Rough Set Reducts with Particle Swarm Optimization
Formalization of Medical Diagnostic Rules
Ant Colony Optimisation Classification for Gene Expression Data Analysis
An Improved Parameter Tuning Method for Support Vector Machines
A Novel MGDM Method Based on Information Granularity under Linguistic Setting
Approximate Bicluster and Tricluster Boxes in the Analysis of Binary Data
Dependency Bagging
Parallel Artificial Immune Clustering Algorithm Based on Granular Computing
Multi-granular Computing in Web Age
A Global-Motion Analysis Method via Rough-Set-Based Video Pre-classification
Integrating Classification and Association Rule Mining: A Concept Lattice Framework
Developing Additive Spectral Approach to Fuzzy Clustering
Query Answering in Rough Knowledge Bases
A Novel Method of Image Filtering Based on Iterative Fuzzy Control
A Hybrid Intrusion Detection Strategy Used for Web Security
Rough Mereology in Knowledge Representation
Fast Retraining of Artificial Neural Networks
On Consistent and Partially Consistent Extensions of Information Systems
Prediction of Methane Outbreaks in Coal Mines from Multivariate Time Series Using Random Forest
Rough Set Based Social Networking Framework to Retrieve User-Centric Information
A Fuzzy Random Variable Approach to Restructuring of Rough Sets through Statistical Test
Adaptive Granular Control of an HVDC System: A Rough Set Approach
Multi-rough Sets Based on Multi-contexts of Attributes
The Second Attribute
Intuition in Soft Decision Analysis
Identification of Transcription Factor Binding Sites Using Hybrid Particle Swarm Optimization
Back Propagation with Randomized Cost Function for Training Neural Networks
Innovation Game as a Tool of Chance Discovery
C-DBSCAN: Density-Based Clustering with Constraints
Rough Set Based Ensemble Classifier
Construction and Analysis of Web-Based Computer Science Information Networks
An Efficient Gene Selection Algorithm Based on Tolerance Rough Set Theory
Image Recognition Using Adaptive Fuzzy Neural Network and Wavelet Transform
Rough Problem Settings for Inductive Logic Programming
On the Nearness Measures of Near Sets
Discernibility-Matrix Method Based on the Hybrid of Equivalence and Dominance Relations
Research on Clone Mind Evolution Algorithm
On Possibilistic Variance of Fuzzy Numbers
Evaluation of Probabilistic Decision Tables
Modular Rough Fuzzy MLP: Evolutionary Design
Classification Using the Variable Precision Rough Set
Discernibility in the Analysis of Binary Card Sort Data
"Rule + Exception" Strategies for Knowledge Management and Discovery
Intelligent Algorithms for Optical Track Audio Restoration
From Parallel Data Mining to Grid-Enabled Distributed Knowledge Discovery
Using Rough Genetic and Kohonen's Neural Network for Conceptual Cluster Discovery in Data Mining
What is a Fuzzy Concept Lattice? II
Context-Free Fuzzy Sets in Data Mining Context
Hierarchical Information Maps
A Comparison of Two Types of Covering-Based Rough Sets Through the Complement of Coverings
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
Task-Based Image Annotation and Retrieval
Pre-topologies and Dynamic Spaces
Rough Sets and Gradual Decision Rules
Evolution of Fuzzy System Models: An Overview and New Directions
A Non-local Coarsening Result in Granular Probabilistic Networks
On Degree of Dependence Based on Contingency Matrix
HIPRICE-A Hybrid Model for Multi-agent Intelligent Recommendation
The Rough Granular Approach to Classifier Synthesis by Means of SVM
Prediction Mining - An Approach to Mining Association Rules for Prediction
OWA-FRPS: A Prototype Selection Method Based on Ordered Weighted Average Fuzzy Rough Set Theory
A Common Framework for Rough Sets, Databases, and Bayesian Networks
Optimal Multi-Scale Time Series Decomposition for Financial Forecasting using Wavelet Thresholding Techniques
Knowledge Discovery Based Query Answering in Hierarchical Information Systems
Analysis and Generation of Emotionally-Charged Animated Gesticulation
Data-Driven Adaptive Selection of Rules Quality Measures for Improving the Rules Induction Algorithm
Rough Sets over the Boolean Algebras
Axiomatic Characterizations of Reflexive and T T -Transitive I I -Intuitionistic Fuzzy Rough Approximation Operators
Evolving Granules for Classification for Discovering Difference in the Usage of Words
Fuzzy Control of Nonlinear Systems using Nonlinearized Parameterization
Regularization of Fuzzy Cognitive Maps for Hybrid Decision Support System
Flow Graphs and Decision Algorithms
Constructing Rough Decision Forests
Ontology-Based Multi-Agent Model of an Information Security System
Discovering Characteristic Individual Accessing Behaviors in Web Environment
Imprecise Causality in Mined Rules
More on Intuitionistic Fuzzy Soft Sets
Simplifying the Manager Competency Model by Using the Rough Set Approach
Modeling and Refining Directional Relations Based on Fuzzy Mathematical Morphology
A Synthesis of Concurrent Systems: A Rough Set Approach
DIXER - Distributed Executor for Rough Set Exploration System
A New Cluster Validity Index for Fuzzy Clustering Based on Similarity Measure
Many-Valued Dynamic Logic for Qualitative Decision Theory
A Clustering Method for Spatio-temporal Data and Its Application to Soccer Game Records
Incorporating Personal Databases by Granular Computing
SVR-Based Method Forecasting Intermittent Demand for Service Parts Inventories
Concept Lattices vs. Approximation Spaces
Deductive Data Mining
On Designing of Flexible Neuro-Fuzzy Systems for Nonlinear Modelling
On Dual Intuitionistic Fuzzy Rough Approximation Operators Determined by an Intuitionistic Fuzzy Implicator
Window-Based Feature Engineering for Prediction of Methane Threats in Coal Mines
Towards Automated Optimal Equity Portfolios Discovery in a Knowledge Sharing Financial Data Warehouse
A Mathematical Theory of Fuzzy Numbers - Granular Computing Approach
Generalizing Rough Set Theory Through Dominance-Based Rough Set Approach
Attribute Selection and Rule Generation Techniques for Medical Diagnosis Systems
Combining Naive-Bayesian Classifier and Genetic Clustering for Effective Anomaly Based Intrusion Detection
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN
Some Issues on Detecting Emotions in Music
SVM Parameter Tuning with Grid Search and Its Impact on Reduction of Model Over-fitting
Land Cover Classification of IKONOS Multispectral Satellite Data: Neuro-fuzzy, Neural Network and Maximum Likelihood Methods
Research on a Union Algorithm of Multiple Concept Lattices
Affordance Relations
Towards Human-Level Web Intelligence
Implicator-Conjunctor Based Models of Fuzzy Rough Sets: Definitions and Properties
Boolean Covering Approximation Space and Its Reduction
Second-Order Rough Approximations in Multi-criteria Classification with Imprecise Evaluations and Assignments
Linear Independence in Contingency Table
Web Document Classification Based on Rough Set
Rough Set Analysis of Electrostimulation Test Database for the Prediction of Post-Operative Profits in Cochlear Implanted Patients
Rough Set Approach to Domain Knowledge Approximation
A Fuzzy Group Decision Approach to Real Option Valuation
Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty: From Interval Computations to Rough Set-Related Computations
Coverage in Biomimetic Pattern Recognition
Web Based Health Recommender System Using Rough Sets, Survival Analysis and Rule-Based Expert Systems
Use of Fuzzy Rough Set Attribute Reduction in High Scent Web Page Recommendations
Classification of Caenorhabditis Elegans Behavioural Phenotypes Using an Improved Binarization Method
An Overview of Hybrid Possibilistic Reasoning
Research on Risk Probability Estimating Using Fuzzy Clustering for Dynamic Security Assessment
Symbolic Galois Lattices with Pattern Structures
A Hybrid Approach to MR Imaging Segmentation Using Unsupervised Clustering and Approximate Reducts
Dynamic Reduct from Partially Uncertain Data Using Rough Sets
Variable Precision Fuzzy Rough Sets Model in the Analysis of Process Data
A Liouville-Based Approach for Discrete Data Categorization
Explanation Oriented Association Mining Using Rough Set Theory
Attribute Granules in Formal Contexts
Multi-knowledge Extraction and Application
Topological Properties for Approximation Operators in Covering Based Rough Sets
Approximate Algorithm for Minimization of Decision Tree Depth
Feature Selection Based on Relative Attribute Dependency: An Experimental Study
Rough Sets: Trends and Challenges
Pairwise Cores in Information Systems
Domain Adaptation for Pathologic Oscillations
Knowledge Supported Refinements for Rough Granular Computing: A Case of Life Insurance Industry
A Closest Fit Approach to Missing Attribute VAlues in Preterm Birth Data
Rough Mereology: A Survey of New Developments with Applications to Granular Computing, Spatial Reasoning and Computing with Words
Probabilistic Rough Sets Characterized by Fuzzy Sets
Evaluation Method for Decision Rule Sets
A Hybrid Method for Forecasting Stock Market Trend Using Soft-Thresholding De-noise Model and SVM
Jacquard Image Segmentation Method Based on Fuzzy Optimization Technology
New Approach in Defining Rough Approximations
Multi-dimensional Observer-Centred Qualitative Spatial-Temporal Reasoning
An Incremental Updating Algorithm for Core Computing in Dominance-Based Rough Set Model
A New Feature Weighted Fuzzy Clustering Algorithm
A Rough Set-Based Approach to Text Classification
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II
The Discretization of Continuous Attributes Based on Compatibility Rough Set and Generic Algorithm
Decision Making with Probabilistic Decision Tables
Applying Fuzzy Hypothesis Testing to Medical Data
Design and Implement for Diagnosis Systems of Hemorheology on Blood Viscosity Syndrome Based on GrC
Application of Rough Set for Routing Selection Based on OSPF Protocol
Rough Set-Based Information Dilution by Non-deterministic Information
Robotic Target Tracking with Approximation Space-Based Feedback During Reinforcement Learning
Improved Visual Clustering through Unsupervised Dimensionality Reduction
Multi-label Classification Using Rough Sets
Belief Discernibility Matrix and Function for Incremental or Large Data
Unusual Activity Analysis in Video Sequences
Clustering High Dimensional Data Using SVM
Intelligent Science
A Fuzzy Search Engine Weighted Approach to Result Merging for Metasearch
Fuzzy Behavior-Based Control for the Obstacle Avoidance of Multi-Link Manipulators
A Study on the Global Convergence Time Complexity of Estimation of Distribution Algorithms
Granular Logic with Closeness Relation "~lambda" and Its Reasoning
Knowledge Based Descriptive Neural Networks
Relationships between Depth and Number of Misclassifications for Decision Trees
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013. Proceedings
Rough Membership and Bayesian Confirmation Measures for Parameterized Rough Sets
Fuzzy Linear Programming - Foreign Exchange Market
Image Digital Watermarking Technique Based on Kernel Independent Component Analysis
Selecting Attributes for Soft-Computing Analysis in Hybrid Intelligent Systems
A Theoretical Framework for Knowledge Discovery in Databases Based on Probabilistic Logic
Degree of Dependency and Quality of Classification in the Extended Variable Precision Rough Sets Model
An Image Enhancement Arithmetic Research Based on Fuzzy Set and Histogram
Multilayer FLC Design Based on RST
A Texture-Based Algorithm for Vehicle Area Segmentation Using the Support Vector Machine Method
An Unsupervised Deep-Learning Architecture That Can Reconstruct Paired Images