yusuke1997/dblp-id-title huggingface dataset:
Short 3-Collapsing Words over a 2-Letter Alphabet
On Finitely Ambiguous Büchi Automata
The Role of the Complementarity Relation in Watson-Crick Automata and Sticker Systems
Asymptotic Cellular Complexity
Equivalence of Symbolic Tree Transducers
The Synchronizing Probability Function for Primitive Sets of Matrices
Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties
Fine Hierarchy of Regular Aperiodic omega -Languages
On the Gap-Complexity of Simple RL-Automata
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism
Encoding Centered Polyominoes by Means of a Regular Language
Some Properties of Hyperoperations and Hyperclones
Properties of Graphs Specified by a Regular Language
Regular Expressions with Binding over Data Words for Querying Graph Databases
Hybrid Parallel Communicating Grammar Systems
Developments in Language Theory - 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings
On the Communication Complexity of Distributive Language Generation
On Well Quasi-orders on Languages
Unambiguity of SGML Content Models - Pushdown Automata Revisited
Commutation of Binary Factorial Languages
A Universal Turing Machine with 3 States and 9 Symbols
Path Checking for MTL and TPTL over Data Words
k-Abelian Pattern Matching
Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings
Two-Way Non-uniform Finite Automata
Algorithmically Coding the Universe
Collapsing Words: A Progress Report
An Automata-Theoretic Approach to Software Verification
Comments on Complete Sets of Tree Automata
A Brief Excursion Inside the Class of Tiling Recognizable Two-Dimensional Languages
On Enumeration of Müller Automata
Contextual Grammars: Erasing, Determinism, One-Side Contexts
Partial Cubes and Fibonacci Dimension: Insights and Perspectives
A Linear Bound on the K-Rendezvous Time for Primitive Sets of NZ Matrices
On Prefix Normal Words
On the State Complexity of Complements, Stars, and Reversals of Regular Languages
A Proof of Okninski, Putcha's Theorem
Contextual grammars with trajectories
Languages Generated by Conjunctive Query Fragments of FC[REG]
Functions preserving classes of languages
State Complexity Research and Approximation
Multi-sequential Word Relations
Balanced Words Having Simple Burrows-Wheeler Transform
Sublinear-Time Language Recognition and Decision by One-Dimensional Cellular Automata
Acceptance Conditions for ω-Languages
Palindromic Complexity of Trees
Rankers over Infinite Words - (Extended Abstract)
Complexity of Deterministic and Nondeterministic Decision Trees for Regular Language Word Recognition
A non-ambiguous language factorization problem
The Averaging Trick and the Cerný Conjecture
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
Cyclic Operator Precedence Grammars for Improved Parallel Parsing
Tiling Systems over Infinite Pictures and Their Acceptance Conditions
Some Remarks on Asynchronous Automata
Visibly Pushdown Transducers with Well-Nested Outputs
Infinite Words Rich and Almost Rich in Generalized Palindromes
The Computational Power of Parsing Expression Grammars
Simon's Theorem for Scattered Words
Deterministic Set Automata
Reversible Pushdown Automata and Bidirectional Parsing
Deciding Determinism of Unary Languages Is coNP-Complete
O 2 is a Multiple Context-Free Grammar: An Implementation-, Formalisation-Friendly Proof
Construction of Tree Automata from Regular Expressions
Quantitative Generalizations of Languages
Operations on Permutation Automata
Deciding Networks of Evolutionary Processors
Around Dot Depth Two
On Weakly Ambiguous Finite Transducers
Pseudo-power Avoidance
Relating Tree Series Transducers and Weighted Tree Automata
On the Relation between Periodicity and Unbordered Factors of Finite Words
Complexity of Degenerated Three Dimensional Billiard Words
Computational Aspects of Asynchronous Cellular Automata
Existence and Nonexistence of Descriptive Patterns
Bad News on Decision Problems for Patterns
On the Decidability of the Equivalence for a Certain Class of Transducers
Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers
Hierarchies of synchronized and algebraic forests
The Characterization of Rational Numbers Belonging to a Minimal Path in the Stern-Brocot Tree According to a Second Order Balancedness
Avoidable Sets and Well Quasi-Orders
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices
Degrees of Infinite Words, Polynomials and Atoms
On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases
Balance Properties and Distribution of Squares in Circular Words
Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
Reversible Pushdown Transducers
A Taxonomy of Deterministic Forgetting Automata
A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group
Column Representation of Sturmian Words in Cellular Automata
Deciding Multiplicity Equivalence for Certain Context-free Languages
Circular Words Avoiding Patterns
The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids
Deleting Automata with a Restart Operation and Marcus Grammars
Analogs of Fagin's Theorem for Small Nondeterministic Finite Automata
Formal Languages and the NLP Black Box
Checking whether Two Unambiguous Context-Free Grammars Describe the Same Set of Strings of Length n
Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem
Closure Properties of Pattern Languages
States and Heads Do Count for Unary Multi-head Finite Automata
Minimal Covers of Formal Languages
Introducing the Operational Parser
Multiple-limited ET0L Systems
Proof of a Phase Transition in Probabilistic Cellular Automata
Deterministic Pushdown Automata with Translucent Input Letters
Characterizing the Regular Languages by Nonforgetting Restarting Automata
P and dP Automata: Unconventional versus Classical Automata
Two-Way Unary Automata versus Logarithmic Space
A Star Operation for Star-Free Trace Languages
Heuristic Universality Detection over Regular Expressions Specified by Systems
Complexity of Searching for 2 by 2 Submatrices in Boolean Matrices
Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions
Accepting Grammars and Systems: An Overview
Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
Tight Bounds on the Descriptional Complexity of Regular Expressions
On Schützenberger Products of Semirings
Closure of Language Classes Under Bounded Duplication
A Local Balance Property of Episturmian Words
Context-Free Valence Grammars - Revisited
Scattered Context-Free Linear Orderings
On Non-complete Sets and Restivo's Conjecture
On the Connectedness of Pictures Defined by Iterated Function Systems
Complexity in Union-Free Regular Languages
Weak Inverse Neighborhoods of Languages
Syntactic Complexity of Ideal and Closed Languages
Computing the Edit-Distance between a Regular Language and a Context-Free Language
On Ordered RRWW-Automata
The Average Transition Complexity of Glushkov and Partial Derivative Automata
Productions in Stable OL-Systems
Replication between Geographically Separated Clusters - An Asynchronous Scalable Replication Mechanism for Very High Availability
Mining Sequential Alarm Patterns in a Telecommunication Database
Query Processing in Embedded Control Programs
Telecommunications, Databases, and Evolution
Databases in Telecommunications, International Workshop Co-located with VLDB-99, Edinburgh, Scotland, UK, September 6, 1999, Proceedings
QuDAS: A QoS-Based Brokering Architecture for Data Services
Generalized MD-Joins: Evaluation and Reduction to SQL
LDAP, Databases and Distributed Objects: Towards a Better Integration
Databases in Telecommunications II, VLDB 2001 International Workshop, DBTel 2001 Rome, Italy, September 10, 2001, Proceedings
Experimenting NT Cluster Technology for Massive CDR Processing
Benchmark for Real-Time Database Systems for Telecommunications
Network Convergence Using Universal Numbers: The UPT Project
Yima: Design and Evaluation of a Streaming Media System for Residential Broadband Services
Toward Universal Information Models in Enterprise Management
An embedding of the ACL2 logic in HOL
Combining ACL2 and an automated verification tool to verify a multiplier
Soundness of the simply typed lambda calculus in ACL2
Adding parallelism capabilities to ACL2
A robust machine code proof framework for highly secure applications
Double rewriting for equivalential reasoning in ACL2
ACL2 in DrScheme
Parameterized congruences in ACL2
A verifying core for a cryptographic language compiler
Towards a formal theory of on chip communications in the ACL2 logic
Memories: array-like records for ACL2
Function memoization and unique object representation for ACL2 functions
Quantification in tail-recursive function definitions
A SAT-based procedure for verifying finite state machines in ACL2
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006
Implementing a cost-aware evaluator for ACL2 expressions
Unique factorization in ACL2: Euclidean domains
The ideal of verified software
Phylogenetic trees in ACL2
Reasoning about ACL2 file input
On Comparing Two Scenarios for Probabilistic Image Modelling
NCAF: NTD-based Concept Activation Factorisation Framework for CNN Explainability
Layout analysis of book pages
Outlier Detection for Visual Odometry in Vegetated Scenes Using Local Flow Consistency
Introducing Transfer Leaming to 3D ResNet-18 for Alzheimer's Disease Detection on MRI Images
Neural Network Feature Explanation Using Neuron Activation Rate Based Bipartite Graph
ColourFAST: GPU-based feature point detection and tracking on mobile devices
Predicting Cherry Quality Using Siamese Networks
Conformer-Based Lip-Reading for Japanese Sentence
Uniqueness for ab initio phase retrieval in macromolecular X-ray crystallography
Comparison of Three-Dimensional Scanning Devices
Pasture Fence Line Detection in UAV Videos
Shortest Polygonal Jordan Curve Measurements in 2D Space
Perceptually based radiance map for realistic composition
GPU Accelerated Modelling and Real-time Rendering of Fluid Motion
Ground Plane Segmentation of Time-of-Flight Images for Asparagus Harvesting
Accurate 3D Measurement of Highly Specular Surface using Laser and Stereo Reconstruction
Developing an On-Road Obstacle Detection System Using Monovision
Random projections for feature matching
An automatic region detection and processing approach in genetic programming for binary image classification
Evolving U-Nets Using Genetic Programming for Tree Crown Segmentation
Effect of contextual information on object tracking
A rapid method of hypercube stitching for snapshot multi-camera system
Synthetic Scene Character Generator and Multi-Scale Voting Classifier for Japanese Scene Character Recognition
Plant Leaf Recognition using Geometric Features and Pearson Correlations
Perceptual improvements for Super-Resolution of Satellite Imagery
A Real-Time Kiwifruit Detection Based on Improved YOLOv7
Top-Down Target Object Detection Through Context
Fast fingerprint alignment method based on minutiae orientation histograms
Stixel optimization: Representing challenging on-road scenes
Track Cyclist Detection and Identification using Mask R-CNN and K-means Clustering
Class Probability-based Visual and Contextual Feature Integration for Image Parsing
Edge-Aware Convolution for RGB-D Image Segmentation
A hand shape recognizer from simple sketches
GRETINA: A Large-Scale High-Quality Generated Retinal Image Dataset for Security and Privacy Assessment
Small mammals and bird detection using IoT devices
Dolphin fin pose correction using ICP in application to photo-identification
Face Recognition Using Shallow Age-Invariant Data
Regularized logistic regression algorithm learns progressive sweep algorithm
Evaluating Learned State Representations for Atari
Embedded infrared imaging to measure the deformation of a soft robotic actuator
To face or not to face: Towards reducing false positive of face detection
Improving pedestrian detection
Binary image classification using genetic programming based on local binary patterns
Two-view matching with view synthesis revisited
Rotation and Scale Invariant Bispectral Feature based Recognition of Contactless Palmprints
Toward a real-time belief propagation stereo reconstruction for computers, robots, and beyond
Stitching Partial 3D Models with an Application to Modelling Stone Flakes
PCMask: A Dual-Branch Self-supervised Medical Image Segmentation Method Using Pixel-Level Contrastive Learning and Masked Image Modeling
Towards generalised time-of-flight range imaging at the edge of moving objects
Guided filtering based pyramidical stereo matching for unrectified images
Ensemble classifier with dividing training scheme for Chinese scene character recognition
3D versus 2D based indoor image matching analysis on images from low cost mobile devices
Accuracy of free-space detection: Monocular versus binocular vision
Photogrammetric debitage analysis: Measuring Maori toolmaking evidence
Feature Selection Methods: Visual Versus Automatic Selection
The CACTuS multi-object visual tracking algorithm on a heterogeneous computing system
Design and evaluation of multifield visualisation techniques for 2D vector fields
3D trajectory estimation of simulated fruit flies
GPU-accelerated feature point matching using extended ColourFAST descriptors
A Convolutional Neural Network Based Deep Learning Technique for Identifying Road Attributes
A miniature head-mounted camera for measuring eye closure
Determination of the cause and amount of image degradation using a reduced reference approach
glGetFeedback - Towards automatic feedback and assessment for OpenGL 3D modelling assignments
Machine vision techniques for motorcycle safety helmet detection
Image Segmentation with a Deep Declarative Network
Regularity Measures for Quasi-periodic Textures
Fusing exocentric and egocentric real-time reconstructions for embodied immersive experiences
Pedestrian Proximity Detection using RGB-D Data
Automated Segmentation of Breast Arterial Calcifications from Digital Mammography
Extending the depth of field in microscopy: A review
Kernel-mapped histograms of multi-scale LBPs for tree bark recognition
Towards a Graph-Based Approach for Mesh Healing for Blocky Objects with Self-Similarities
A review of sensor devices in stroke rehabilitation
39th International Conference on Image and Vision Computing New Zealand, IVCNZ 2024, Christchurch, New Zealand, December 4-6, 2024
A Compressed-domain Robust Descriptor for Near Duplicate Video Copy Detection
A Hybrid Human-Machine System for Image-Based Multi-weather Detection
A Low-cost, hand-held stereoscopic device for measuring dynamic deformations of skin in vivo
Detection of Pinus Radiata Cutpoints Using Neural Medial Axis Skeletonization
Physiological gating of the MARS spectral micro CT scanner
Optimality in combinations of confidence measures for stereo vision
Gabor Filter Incorporated CNN for Compression
An Improved Quantum Solution for the Stereo Matching Problem
Verification of multi-view point-cloud registration for spherical harmonic cross-correlation
Image and Vision Computing - 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24-25, 2022, Revised Selected Papers
A strategy for the correction of effects of jitter in AMCW lidar images
Can a camera tell the weather?
Weakly supervised 3D reconstruction of the knee joint from MR images using a volumetric Active Appearance Model
Improved segmentation for footprint recognition of small mammals
36th International Conference on Image and Vision Computing New Zealand, IVCNZ 2021, Tauranga, New Zealand, December 9-10, 2021
Adapting generic trackers for tracking faces
FNR-GAN: Face Normalization and Recognition with Generative Adversarial Networks
Accurate 3D Grapevine Structure Extraction from High-Resolution Point Clouds
Predicting physician gaze in clinical settings using optical flow and positioning
Automated Kauri trees detection in high resolution aerial images
Robot Identification using Shape Features on an FPGA-Based Smart Camera
Hot pixel removal within colour filter array demosaicking using modified bilateral filters
Traffic intersection monitoring using fusion of GMM-based deep learning classification and geometric warping
Surface reconstruction of 3D objects using local moving least squares and K-D trees
Breast Density Classification Using Multifractal Spectrum with Histogram Analysis
Extraction of utility poles in LIDAR scans using cross-sectional slices
The design and calibration of a 3D motion capture system for arthropods
Centroid Attraction: a Technique for Multiscale Edge Detection
Automatic retinal vessel extraction algorithm based on contrast-sensitive schemes
A new error metric for geometric shape distortion using depth values from orthographic projections
A multi sensory approach using error bounds for improved visual odometry
Day and night vehicle detection and counting in complex environment
Cloud Haskell: First impressions and applications to processing large image datasets
Real-Time Drone Surveillance and Population Estimation of Marine Animals from Aerial Imagery
Evaluation of New and Existing Confidence Measures for Stereo Matching
A Hand Gesture Set for Navigating and Interacting with 3D Virtual Environments
Defects Detection in Highly Specular Surface using a Combination of Stereo and Laser Reconstruction
Bowstring-based dual-threshold computation method for adaptive Canny edge detector
Power line detection using Hough transform and line tracing techniques
Evaluating Equiangle Binning for Spherical Harmonic Registration
Practical Camera Calibration for Large Rooms
Height from Gradients in Polar Coordinates
Two Parallel Deep Convolutional Neural Networks for pedestrian detection
Automatic Quantification of King Salmon Farm Net Occlusion Via Biofouling Detection
Leaf image retrieval using combined feature of vein and contour
Vehicle detection in monocular night-time grey-level videos
3D Feature Analysis in Confocal Microscopy Images
Phase retrieval from crystalline diffraction averaged over several different unit cells
Learning generic third-order MGRF texture models
Face Recognition as an Image Subpattern Using Eigenvectors of Variaion Set
Causal Behaviour Modelling for Player Action Prediction in Rugby League Using Graph Neural Networks
Procedurally Generating Large Synthetic Worlds: Chunked Hierarchical Wave Function Collapse
Applications of Least Median of Squares Method In Affine Camera Stereo
Sailboat Detection Based on Automated Search Attention Mechanism and Deep Learning Models
Incorporating Human Body Shape Guidance for Cloth Warping in Model to Person Virtual Try-on Problems
A precise real-time stereo algorithm
How to predict lightness variations from one illuminant to another?
Deep Sheep: kinship assignment in livestock from facial images
Superresolution of MR Images
Image and Text fusion for UPMC Food-101 using BERT and CNNs
Auditory Temporal Hints in AR Piano Tutoring
Denomination-based Quasi-isotropic Remeshing using Curvature Map and Voronoi Tessellation
Towards structural analysis of solution spaces for ill-posed discrete 1D optimisation problems
AI Framework for Detecting Lordosis-Kyphosis-Scoliosis in Salmon X-Rays
Unsupervised Learning of Affinity for Image Segmentation: An Inpainting based Approach
UnseenNet: Fast Training Detector for Unseen Concepts with No Bounding Boxes
Evaluating performance of feature extraction methods for practical 3D imaging systems
Texture-based feature mining for crowd density estimation: A study
Coping with motion in MRI: Developments since TRELLIS
Streamed hough transform and line reconstruction on FPGA
Spatial Mini Golf: Game-Based Spatial Intelligence Testing and Training Using VR and Non-VR Platforms
A dissection of fingerprint fuzzy vault schemes
Evaluating the impact of frame rate on video based human action recognition
Feasibility Study of Hyperspectral Line-Scanning Camera Imagery for Remote Sensing Purposes
Implementation of stereo matching using a high level compiler for parallel computing acceleration
Are These Birds Similar: Learning Branched Networks for Fine-grained Representations
Evaluating Spatial Configuration Constrained CNNs for Localizing Facial and Body Pose Landmarks
De-lighting Human Images Using Region-Specific Data Augmentation
A system for live geo-spatial photogrammetry in airborne surveillance videos
Semi-Supervised Deep Learning for Estimating Fur Seal Numbers
Vision based inter-vehicle distance estimation with extended outlier correspondence
Enhanced real time facial detection and replacement using GPGPU
Reconstruction of Multiresolution Terrain Surfaces
Multi-view Gait recognition using sparse representation
Image phylogeny for simulating multiple print-scan
Robotic Handling of Ovine Meat Cuts
Sensitivity analysis of multirotor position control
Orientation and analysis of XFEL serial diffraction patterns from fibrous molecular assemblies
Video Quality Assessment Considering the Features of the Human Visual System
Modelling of feature matching performance on correlated speckle images
Identifying well-oriented diffraction patterns in XFEL datasets
Benchmarking Localization for Augmented Reality in Large Scale Environments
Context-driven composite stereo reconstruction
A New Genetic Programming-Based Approach to Object Detection in Mussel Farm Images
Visual Object Tracking in Spherical 360° Videos: A Bridging Approach
Leveraging Linguistically-aware Object Relations and NASNet for Image Captioning
Efficient Sampling of Bayer Pattern for Long Range Small Target Detection in Color Images
Synthesis of selected features of melanocytic skin lesion images
Gnarometer Surfcam Live Inspector
Of mice, men, and machines: Real and artificial deep networks for vision
3D Vehicle Detection Using Cheap LiDAR and Camera Sensors
Real Time Ray Tracing of Analytic and Implicit Surfaces
Subpixel stereo disparity for surface reconstruction by utilising a three-dimensional reaction-diffusion system
Semi Few-Shot Attribute Translation
Mobility Aids Detection Using Convolution Neural Network (CNN)
Segmentation of harmonic syllables in noisy recordings of bird vocalisations
Design of a pseudo-holographic distributed time-of-flight sonar range-imaging system
A deep learning approach to handwritten text recognition in the presence of struck-out text
Salient Object Detection based on CNN Fusion of Two Types of Saliency Models
A virtual keyboard implementation based on finger recognition
Grassmannian locality preserving discriminant analysis to view invariant gait recognition with image sets
Texture modelling with non-contiguous filters
Wavefront sensor optimisation with ridgelets for astronomical image restoration
Virtual sawing using generative adversarial networks
Melanoma and Nevi Classification using Convolution Neural Networks
Parameter-Free Density Estimation for Hyperspectral Image Clustering
Mandala Symmetrization through Curvature Map and Geometric Graph *
'Affordance' detection by mid-level physical parts
Buoy Detection under Extreme Low-light Illumination for Intelligent Mussel Farming
Gradient Coils Design with Regularization Method for Superconducting Magnetic Resonance Imaging
A hybrid Genetic Programming approach to feature detection and image classification
Analysing Forests Using Dense Point Clouds
Distortion estimation to improve tsai calibration for cameras with large optical distortion
Enhancing Visual Focus: Incorporating Attention into Rule-Based Machine Learning
Cuboid Colour Image Segmentation Using Intuitive Distance Measure
Automatic Exposure and Pose Estimation Error
Genetic programming for improving image descriptors generated using the scale-invariant feature transform
Detection and Tracking of Pinus Radiata Catkins
Virtual ground control for survey-grade terrain modelling from satellite imagery
Design and Validation of Procedurally Generated Personalised Spatial Reasoning Tests
Motion-based Object Segmentation using Active Contours