yusuke1997/dblp-id-title huggingface dataset:
Repeated-measure validation of craniofacial metrics from three-dimensional surface scans: application to medical genetics
Use of laser 3D surface digitizer in data collection and 3D modeling of anatomical structures
Investigation of stereo-based 3D surface reconstruction
Three-Dimensional Image Capture, San Jose, CA, USA, February 8, 1997
An Automated Adaptive Focus Pipeline for Reflectance Transformation Imaging
FaceTOON: a unified platform for feature-based cartoon expression generation
7T MRI super-resolution with Generative Adversarial Network
3D mesh Reeb graph computation using commute-time and diffusion distances
Three-dimensional reconstruction and texturation of museographic objects using multiple images and stereoscopic depth map fusion
Reconstruction of 3D indoor model by scalable sensing using mobile robot
How to capture aesthetic features of complex cultural heritage objects - active illumination data fusion
Parametric model-based noise reduction for ToF depth sensors
3D Image Processing, Measurement (3DIPM), and Applications 2017, Burlingame, CA, USA, January 29 - February 2, 2017
Continuous section extraction and over-underbreak detection of tunnel based on 3D laser technology and image analysis
Human detection from still depth images
Complex virtual urban environment modeling from CityGML data and OGC web services: application to the SIMFOR project
Markerless Motion Capture with Multi-view Structured Light
Point Cloud Compression using Depth Maps
Reconstruction of 3D ultrasound image from freehand scanned frames using frame-by-frame isotropic correlation function
Slicing, Fitting, and Linking (SFL): A Modular Triangulation Approach
Depth Assisted Composition of Synthetic and Real 3D Scenes
Laser-based structured light system for biometric topographical mapping
Three-dimensional reconstruction from multiple 2D views using trilinear tensor technology
Biocybrid systems and the re-engineering of life
The study of craniofacial growth patterns using 3D laser scanning and geometric morphometrics
Efficient intensity-based camera pose estimation in presence of depth
A Magnifier on Accurate Depth Jumps
Procedure and algorithm of 3D reconstruction of large-scale ancient architecture
Vision system for classification of metallic tokens using the selective stereo gradient method
Recreation of Three-dimensional Objects in a Real-time Simulated Environment by Means of a Panoramic Single Lens Stereoscopic Image-Capturing Device
CMOS array of photodiodes with electronic processing for 3D optical reconstruction
Deadlift Recognition and Application based on Multiple Modalities using Recurrent Neural Network
Self-calibration of depth sensing systems based on structured-light 3D
Three-dimensional Shape Reconstruction from Two-dimensional Images Using Symmetric Camera Location
Automated Fudicial Labeling on Human Body Data
3D microscopic imaging using Structure-from-Motion
Real-time Monitoring of Icebreaker Propeller Blades' Ice Load Using Underwater Laser ranging System
Reprocessing anaglyph images
Automation of 3D scan data capturing and processing
Nonintrusive viewpoint tracking for 3D for perception in smart video conference
Disparity fusion using depth and stereo cameras for accurate stereo correspondence
Computer-aided fit testing: an approach for examining the user/equipment interface
Three-dimensional surface reconstruction for evaluation of the abrasion effects on textile fabrics
Fast human pose estimation using 3D Zernike descriptors
Silhouette extraction using color and depth information
Rapid 360 degree imaging and stitching of 3D objects using multiple precision 3D cameras
Scale-adaptive local intentional surface feature detection
3D object detection from roadside data using laser scanners
Adaptive surface smoothing for enhancement of range data with multiple regularization parameters
3D shape estimation for smooth surfaces using structured light patterns
Hierarchical characterization procedures for dimensional metrology
Realistic and animatable face models for expression simulations in 3D
Using trilinearity to reduce misregistration in image mosaicing
Separating true range measurements from multi-path and scattering interference in commercial range cameras
Joint synchronization and high capacity data hiding for 3D meshes
New concept of technology chain for 3D/4D content generation and display
Three-Dimensional Image Processing, Measurement (3DIPM), and Applications 2015, San Francisco, California, USA, February 10-12, 2015
A QVGA-size CMOS time-of-flight range image sensor with background light charge draining structure
Development of ultrathin three-dimensional image capturing system
Moly: A Prototype Handheld 3D Digitizer with Diffraction Optics
Spherical Harmonic Surface Representation with Feedback Control
Holostream: High-Accuracy, High-Speed 3D Range Video Encoding and Streaming Across Standard Wireless Networks
3D Shape Initialization of Objects in Multiview Image Sequences
Sketch-driven mental 3D object retrieval
Single frame coaxial 3D measurement using depth from defocus of projection system
Edge-aware stereo matching with O(1) complexity
3D reconstruction and spatial auralization of the Painted Dolmen of Antelas
Camera model compensation for image integration of time-of-flight depth video and color video
Content-based depth estimation in focused plenoptic camera
Assistive mobile application for real-time 3D spatial audio soundscapes toward improving safe and independent navigation
New understanding of single-lens stereovision using a biprism
Experimental results of bispectral invariants discriminative power
A novel 3D anisotropic diffusion filter
Generating a Hand Pose Data Set for Vision Based Manual Assembly Assistance Systems
Geometric modeling of pelvic organs with thickness
Quantitative assessment of human body shape using Fourier analysis
ShapeGrabber FootScanner: A Low Cost High Accuracy 3D System for the Acquisition of Human Feet
Depth-map estimation using combination of global deep network and local deep random forest
Automatic generation of 3D building models from orthogonal building footprint
Reverse Engineering Using Optical 3D Sensors
New optical four-quadrant phase detector integrated into a photogate array for small and precise 3D cameras
MDSP: a modular DSP architecture for a real-time 3D laser range sensor
Method for measuring stereo camera depth accuracy based on stereoscopic vision
3D puzzle reconstruction for archeological fragments
4D scanning system for measurement of human body in motion
3D shape descriptors for face segmentation and fiducial points detection: an anatomical-based analysis
Three-dimensional anthropometric techniques applied to the fabrication of burn masks and the quantification of wound healing
Automatic landmark extraction from three-dimensional head scan data
Interpolation of Ray-space Data by Adaptive Filtering
3D Textured Models of Indoor Scenes from Composite Range and Video Images
3D polygonal representation of dense point clouds by triangulation, segmentation, and texture projection
Chromatic confocal detection for high-speed microtopography measurements
Robust stereo for 3D acquisition
Index spaces for 3D retrieval: toward a better understanding of their geometry and distribution
Quality assessment of adaptive 3D video streaming
Two-Channel 3D Range Geometry Compression with Virtual Plane Encoding
Surface characterization using confocal microscopy and wavelet transform analysis
DISTA: a portable software solution for 3D compilation of photogrammetric image blocks
Pose and Motion Estimation Using Dual quaternion-based Extended Kalman Filtering
High-Fidelity Time-of-Flight Edge Sampling Using Superpixels
Monitoring and Measurement of Movement of Objects by Fringe Projection Method
Two methods for locating feducial points on three-dimensional scans of the human face
An adaptive edge detection filter for light stripe projection (LSP) in surface reconstruction
Obstacle detection using a light-stripe-based method
An automatic alignment technique for multiple rangefinders
Modified M-estimation for fast global registration of 3D point clouds
An Accurate and Robust Algorithm for Tracking Guitar Neck in 3D Based on Modified RANSAC Homography
Three-Dimensional Image Processing (3DIP) and Applications II, Burlingame, California, USA, January 22, 2012
A locally content-dependent filter for inter-perspective anti-aliasing
Generating Animated Sequences from 3D Whole-body Scans
Formation of stereoscopic image pairs from a sequence of frames
Virtual face reconstruction based on 3D skull model
Adaptive regularized noise smoothing of dense range image using directional Laplacian operators
A blind mesh visual quality assessment method based on convolutional neural network
Digital 3D facial reconstruction of George Washington
4D data processing for dynamic human body analysis
Hybrid pyramidal/vector-quantized volume compression
3D image processing architecture for camera phones
On Probabilistic Algorithm for Solving Almost All Instances of the Set Partition Problem
On a Maximal NFA Without Mergible States
Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials
On Induced Online Ramsey Number of Paths, Cycles, and Trees
Computer Science - Theory and Applications, 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
Non-approximability of the Randomness Deficiency Function
Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis
Periodicity in Data Streams with Wildcards
Completing Partial Schedules for Open Shop with Unit Processing Times and Routing
Bounds for Synchronizing Markov Decision Processes
Second-Order Finite Automata
On Approximating (Connected) 2-Edge Dominating Set by a Tree
The Complexity of Solving Reachability Games Using Value and Strategy Iteration
Representations of Analytic Functions and Weihrauch Degrees
Improved Online Scheduling in Maximizing Throughput of Equal Length Jobs
Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets
Manifestation and Exploitation of Invariants in Bioinformatics
A Lower Bound on Circuit Complexity of Vector Function in U 2
Cutting through Regular Post Embedding Problems
Variations on Muchnik's Conditional Complexity Theorem
QuickHeapsort: Modifications and Improved Analysis
Almost k -Wise Independent Sets Establish Hitting Sets for Width-3 1-Branching Programs
Level Two of the Quantifier Alternation Hierarchy over Infinite Words
On the Arithmetic Complexity of Euler Function
Constraint Satisfaction with Counting Quantifiers
The Lovász Local Lemma - A Survey
Dichotomy Result on 3-Regular Bipartite Non-negative Functions
Finding Vertex-Surjective Graph Homomorphisms
The Complexity of Equality Constraint Languages
Interacting with Modal Logics in the Coq Proof Assistant
Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems
Efficient Computation in Groups Via Compression
An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity
Space-Bounded Kolmogorov Extractors
Unary Coded PSPACE-Complete Languages in ASPACE(loglog n)
Dag-Like Communication and Its Applications
One-Counter Verifiers for Decidable Languages
Isomorphic Distances Among Elections
Computational Complexity of Real Powering and Improved Solving Linear Differential Equations
On the Complexity of Matrix Rank and Rigidity
Planarity, Determinants, Permanents, and (Unique) Matchings
Output Sensitive Fault Tolerant Maximum Matching
On the Decision Tree Complexity of Threshold Functions
Descriptional Complexity of Operations on Alternating and Boolean Automata
Generalized LR Parsing for Grammars with Contexts
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs
Integrality Property in Preemptive Parallel Machine Scheduling
Verification of Quantum Computation and the Price of Trust
Lower and Upper Bounds for the Length of Joins in the Lambek Calculus
A Short Tutorial on Order-Invariant First-Order Logic
The Equivalence of Sampling and Searching
Heterogeneous Multi-commodity Network Flows over Time
Circuit Complexity Meets Ontology-Based Data Access
Maximum Colorful Cycles in Vertex-Colored Graphs
Space Saving by Dynamic Algebraization
Counting Popular Matchings in House Allocation Problems
Towards Optimal Degree-Distributions for Left-Perfect Matchings in Random Bipartite Graphs
Computer Science - Theory and Applications - 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 - July 1, 2022, Proceedings
On Primitive Recursive Realizabilities
Nonlinear Visualization of Incomplete Data Sets
Lower Bounds for Unrestricted Boolean Circuits: Open Problems
Edit Distance Neighbourhoods of Input-Driven Pushdown Automata
Computer Science - Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28 - July 2, 2021, Proceedings
A New Algorithm for Finding Closest Pair of Vectors (Extended Abstract)
Snakes and Cellular Automata: Reductions and Inseparability Results
On Sequences with Non-learnable Subsequences
Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure
On Slepian-Wolf Theorem with Interaction
A PCP of Proximity for Real Algebraic Polynomials
Tandem Duplications, Segmental Duplications and Deletions, and Their Applications
On the Quantum and Classical Complexity of Solving Subtraction Games
Algorithmics - Is There Hope for a Unified Theory?
Parameterized Counting of Trees, Forests and Matroid Bases
On Vertex Coloring Without Monochromatic Triangles
Complement for Two-Way Alternating Automata
On the Advice Complexity of the Set Cover Problem
Can We Locally Compute Sparse Connected Subgraphs?
A Feebly Secure Trapdoor Function
On the Encoding Invariance of Polynomial Time Computable Distribution Ensembles
An Optimal Bloom Filter Replacement Based on Matrix Solving
Topological Semantics of Justification Logic
The Complexity of Inversion of Explicit Goldreich's Function by DPLL Algorithms
Languages Recognized with Unbounded Error by Quantum Finite Automata
A Note on Specialization of Interpreters
Information Lower Bounds via Self-reducibility
Satisfiability of ECTL* with Tree Constraints
On Maltsev Digraphs
SZK Proofs for Black-Box Group Problems
General Quantitative Specification Theories with Modalities
Balancing Bounded Treewidth Circuits
Invariant Generation for P-Solvable Loops with Assignments
Timed Traces and Strand Spaces
Extended Resolution Proofs for Conjoining BDDs
Recognizing Two-Sided Contexts in Cubic Time
A Generalization of a Theorem of Rothschild and van Lint
Consistency of Multidimensional Combinatorial Substitutions
Constructing Polynomials for Functions over Residue Rings Modulo a Composite Number in Linear Time
Characterizing Certain Topological Specifications
Partitioning Graphs into Connected Parts
Sequences of Level 1, 2, 3, ..., k , ..
On the Determinization of Event-Clock Input-Driven Pushdown Automata
Quantization of Random Walks: Search Algorithms and Hitting Time
Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm
Maintaining Chordal Graphs Dynamically: Improved Upper and Lower Bounds
Right-Sequential Functions on Infinite Words
Inverting Onto Functions and Polynomial Hierarchy
On the Complexity of Computing Two Nonlinearity Measures
On Empirical Meaning of Randomness with Respect to a Real Parameter
Some Complete and Intermediate Polynomials in Algebraic Complexity Theory
Self-referentiality of Justified Knowledge
Finite Ambiguity and Finite Sequentiality in Weighted Automata over Fields
Eternal Vertex Cover on Bipartite Graphs
Sofic and Almost of Finite Type Tree-Shifts
Optimal Skeleton Huffman Trees Revisited
The Complexity of Intersecting Finite Automata Having Few Final States
Cracks in the Defenses: Scouting Out Approaches on Circuit Lower Bounds
Isolation and Reducibility Properties and the Collapse Result
Computational Complexity of Multi-player Evolutionarily Stable Strategies
Optimizing Personalized Retrieval System Based on Web Ranking
A Space-Efficient Parameterized Algorithm for the Hamiltonian Cycle Problem by Dynamic Algebraization
Dichotomy of the H-Quasi-Cover Problem
On Growth and Fluctuation of k-Abelian Complexity
On the Parameterized Complexity of Edge-Linked Paths
Affine Computation and Affine Automaton
Generic Complexity of Presburger Arithmetic
Bouillon: A Wiki-Wiki Social Web
Unique Decipherability in the Monoid of Languages: An Application of Rational Relations
Time Optimal d -List Colouring of a Graph
Zigzags in Turing Machines
A Logical Characterization of Timed Pushdown Languages
Careful Synchronization of Partial Automata with Restricted Alphabets
A Polynomial-Time Algorithm for Finding a Minimal Conflicting Set Containing a Given Row
Can the Theory of Algorithms Ratify the "Invisible Hand of the Market"?
Approximability and Inapproximability for Maximum k-Edge-Colored Clustering Problem
Recognizing Sparse Perfect Elimination Bipartite Graphs
Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA
Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM
A Review of Race Detection Mechanisms
Perceptrons of Large Weight
A Parameterized Algorithm for Packing Overlapping Subgraphs
On Computing the Hamiltonian Index of Graphs
A Tight Lower Bound for Steiner Orientation
On the Complexity of Restarting
Can We Create Large k-Cores by Adding Few Edges?
Evolutionary Multi-objective Optimisation by Diversity Control
Parameterized Complexity of Conflict-Free Set Cover
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model
Propositional Proofs in Frege and Extended Frege Systems (Abstract)
Nonlinear Systems Modeling and Control Using Support Vector Machine Technique
Network as a Computer: Ranking Paths to Find Flows
Complexity of Propositional Proofs
Computer Science - Theory and Applications - 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach
Property Testing Bounds for Linear and Quadratic Functions via Parity Decision Trees
Closure Under Reversal of Languages over Infinite Alphabets
Proving Church's Thesis
Resource Placement in Networks Using Chromatic Sets of Power Graphs
Lossy Kernelization of Same-Size Clustering
A Multiple-Conclusion Calculus for First-Order Gödel Logic
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols
Distributed Symmetry-Breaking Algorithms for Congested Cliques
QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons on Average
Kernelization
Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams
Quadratically Tight Relations for Randomized Query Complexity
On Separation Between the Degree of a Boolean Function and the Block Sensitivity
Conjugacy and Equivalence of Weighted Automata and Functional Transducers
Derandomization for Sliding Window Algorithms with Strict Correctness
Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction
Window Subsequence Problems for Compressed Texts
Overlapping Tile Automata
Precedence Automata and Languages
Growth of Power-Free Languages over Large Alphabets
Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time
Unpopularity Factor in the Marriage and Roommates Problems
Characterizing Level One in Group-Based Concatenation Hierarchies
Bounded Synchronization Delay in Omega-Rational Expressions
Partial Vertex Cover on Graphs of Bounded Degeneracy
Subclasses of Baxter Permutations Based on Pattern Avoidance
Parameterized Complexity of Set-Restricted Disjoint Paths on Chordal Graphs
The Non-hardness of Approximating Circuit Size
Simulation of Arithmetical Circuits by Branching Programs with Preservation of Constant Width and Syntactic Multilinearity
Finding All Solutions of Equations in Free Groups and Monoids with Involution
Algorithms for Energy Management
Cryptanalysis of Stickel's Key Exchange Scheme
Approximation and Complexity of the Capacitated Geometric Median Problem
On the Complexity of Mixed Dominating Set
Lower Bounds and Hardness Magnification for Sublinear-Time Shrinking Cellular Automata
On Rooted k-Connectivity Problems in Quasi-bipartite Digraphs
Eventually Dendric Shifts
Prehistoric Phenomena and Self-referentiality
Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization
Kolmogorov Complexity, Lovász Local Lemma and Critical Exponents
Tuples of Disjoint NP-Sets
Kolmogorov Complexity and Model Selection
Processing Succinct Matrices and Vectors
Relativisation Provides Natural Separations for Resolution-Based Proof Systems
Estimation of the Click Volume by Large Scale Regression Analysis
Resolution Complexity of Perfect Matching Principles for Sparse Graphs
Rewriting Higher-Order Stack Trees
Dynamic Complexity of Expansion
Forward Looking Huffman Coding
On Subquadratic Derivational Complexity of Semi-Thue Systems
The Fast Algorithm for Online k-server Problem on Trees
Some Properties of Antistochastic Strings
Subquadratic Algorithms for Succinct Stable Matching
Orbits of Linear Maps and Regular Languages
Upper Bound for Torus Polynomials
Algorithms for Multiterminal Cuts
Everywhere alpha -Repetitive Sequences and Sturmian Words
Compressed Membership in Automata with Compressed Labels
Boolean Composition of Visual Secret Sharing Schemes
Quantum Alternation
Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences
Parameterized Analysis of Art Gallery and Terrain Guarding
Combinatorial Complexity of Regular Languages
Constraint Satisfaction with Counting Quantifiers 2
An Improvement to Chvátal and Thomassen's Upper Bound for Oriented Diameter
Algorithmic Decidability of Engel's Property for Automaton Groups
Aperiodicity Measure for Infinite Sequences
Limitations of Sums of Bounded Read Formulas and ABPs
Join-Reachability Problems in Directed Graphs
Dynamic Isoline Extraction for Visualization of Streaming Data
On a Generalization of Horn Constraint Systems
Semiautomatic Structures
Dynamic Stabbing Queries with Sub-logarithmic Local Updates for Overlapping Intervals
Prefix-Free and Prefix-Correct Complexities with Compound Conditions
Compositional Design of Stochastic Timed Automata
Algorithmic Meta Theorems for Sparse Graph Classes
Dynamic Complexity of Planar 3-Connected Graph Isomorphism
NEXP-Completeness and Universal Hardness Results for Justification Logic
Cascade Heap: Towards Time-Optimal Extractions
Computing and Listing st-Paths in Public Transportation Networks
Capturing an Intruder in the Pyramid
Reversible Machine Code and Its Abstract Processor Architecture
Model-Checking Bounded Multi-Pushdown Systems
On Models of a Nondeterministic Computation
Nested Regular Expressions Can Be Compiled to Small Deterministic Nested Word Automata
Structural Complexity of AvgBPP
Classifying Rankwidth k-DH-Graphs
The Transformation Monoid of a Partially Lossy Queue
Approximation and Exact Algorithms for Special Cases of Connected f-Factors
A Uniform Lower Bound on Weights of Perceptrons
Prediction of Infinite Words with Automata
Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes
Synchronization of Grammars
The Conjugacy Problem in Free Solvable Groups and Wreath Products of Abelian Groups is in $${{\mathsf {T}}}{{\mathsf {C}}}^0$$
LR (0) Conjunctive Grammars and Deterministic Synchronized Alternating Pushdown Automata
On Tseitin Formulas, Read-Once Branching Programs and Treewidth
Towards NEXP versus BPP?
Transfinite Sequences of Constructive Predicate Logics
Weak Abelian Periodicity of Infinite Words
The (Minimum) Rank of Typical Fooling-Set Matrices
Generic Complexity of Undecidable Problems
An Encoding Invariant Version of Polynomial Time Computable Distributions
On Formal Equivalence Verification of Hardware
On Embeddability of Unit Disk Graphs onto Straight Lines
Automatic Verification of Heap-Manipulating Programs Using Separation Logic
TPTP, TSTP, CASC, etc
S4LPand Local Realizability