yusuke1997/dblp-id-title huggingface dataset:
Automated Analysis and Annotation of Basketball Video
Interfaces for emergent semantics in multimedia databases
Storage Hierarchy for Video-on-Demand Systems
Identifying sports videos using replay, text, and camera motion features
Agent-Like Support for Content-Based Retrieval and Navigation
Content-Based Retrieval Applied to Drawing-Image Databases
Comparative study of strategies for illumination-invariant texture representations
Semantic Retrieval Based on Feature Element Constructional Model and Bias Competition Mechanism
Image Indexing Technique Using Entropy Measures with Multilevel Multiresolution Approach
An effective and simple relevance feedback algorithm for image retrieval
Fusion of visual and audio features for person identification in real video
Video Content Characterization and Compaction for Digital Library Applications
OVID: toward object-based video retrieval
Texture classification by a two-level hybrid scheme
Video Representation Tools Using a Unified Object and Perspective-Based Approach
Choosing efficient feature sets for video classification
Image Indexing Using Vector Quantization
User preference matching for smart browsing of media contents
Using the Triangle Inequality to Reduce the Number of Comparisons Required for Similarity-Based Retrieval
Summarizing motion contents of the video clip using moving edge overlaid frame (MEOF)
Structural segmentation for multimedia content-based information retrieval
Storage and Retrieval for Image and Video Databases V, San Jose, CA, USA, February 8-14, 1997
Fade-in/out scene change detection in the MPEG-1/2/4 compressed video domain
Evaluating the effectiveness of automatic PVR management
Content-based image retrieval by scale-space object boundary shape representation
Design and Implementation of an Experimental Video Database System for Supporting Video Retrieval from Different Perspectives
Distribution of shot lengths for video analysis
Video Indexing: An Approach Based on Moving Object and Track
DocBrowse: A System for Information Retrieval from Document Image Data
Comparison of Video Shot Boundary Detection Techniques
Hypermedia-Based Integration of Plural Multimedia Databases
Visual Image Retrieval for Applications in Art and Art History
Image retrieval based on region shape similarity
Image object search combining color with Gabor wavelet shape descriptions
Delaunay triangulation for image object indexing: a novel method for shape representation
Multimedia human brain database system for surgical candidacy determination in temporal lobe epilepsy with content-based image retrieval
Multiresolution Video Indexing for Subband Coded Video Databases
Semantic event detection using MPEG-7
Image retrieval framework driven by association feedback with feature element evaluation built in
Data reduction procedure for principal cast and other talking head detection
Tools for Interactive Analysis of Imagery, Video and Associated Data
Content-based object retrieval using maximum curvature points in contour images
Fixed-Window Image Descriptors for Image Retrieval
A relevance feedback image retrieval scheme using multi-instance and pseudo-image concepts
Robust Labeling Methods for Copy Protection of Images
Content-Based Retrieval in Multimedia Imaging
Integrated approach to multimodal media content analysis
MPEG-7 based shape retrieval with robustness against partial occlusion
Video mining using combinations of unsupervised and supervised learning techniques
Automatic retrieval of 3D protein structures based on shape similarity
Multilinearization data structure for image browsing
VideoBase: a prototype of a video database managing system
Manchester Visual Query Language
Extensible feature management engine for image retrieval
Image Matching by Means of Intensity and Texture Matching in the Fourier Domain
Self-Aligning and Compressed Autosophy Video Databases
Semantic video classification with insufficient labeled samples
Semiotics and agents for integrating and navigating through multimedia representations of concepts
Comparison of the effectiveness of alternative feature sets in shape retrieval of multicomponent images
Novel Image Viewer Providing Fast Object Delineation for Content-Based Retrieval and Navigation
Video summarization and semantics editing tools
Object-oriented query based on belief fusion: application to dermatological databases
Detection of goal events in soccer videos
Efficient Image Retrieval With Multiple Distance Measures
Detection and Characterization of Carboniferous Foraminifera for Content-Based Retrieval from an Image Database
Flow estimation for motion analysis on compressed domain
Indexing, Retrieval, and Browsing of Wavelet Compressed Imagery Data
Metering: A Prepay Technique
Dynamic markers for collaborative discussion on video content
Disk System Design for Guaranteeing Quality of Service in Interactive Video-on-Demand Systems
Image Retrieval With Templates of Arbitrary Size
Application of MPEG-7 descriptors for temporal video segmentation
Efficient color feature extraction in compressed video
Self-adaptive relevance feedback based on multilevel image content analysis
Scalable Video Data Placement on Parallel Disk Arrays
Storage analysis and compression of signals with application in medicine
Storage and Retrieval for Media Databases 2003, Santa Clara, CA, USA, January 22, 2003
Navigating from Images Using Generic Links Based on Image Content
Adaptive Filtering and Indexing for Image Databases
Image descriptors based on fractal transform analysis
Query by sketch in DARWIN: digital analysis to recognize whale images on a network
Toward a Logical Reconstruction of Image Retrieval
Query vector projection access method
Spatial Similarity Measures for Multimedia Applications
Multi-modal analysis for person type classification in news video
Local Structural Association for Retrieval and Recognition of Signature Images
Gesture for video content navigation
EXQUISI: An Expressive Query Interface for Similar Images
Image query and indexing for digital x rays
Fast multiresolution search algorithm for optimal retrieval in large multimedia databases
Efficiently querying spatial histograms
Design Issues for a Digital x-Ray Archive Accessed over Internet
Relevance feedback using a Bayesian classifier in content-based image retrieval
Video retrieval by spatial and temporal structure of trajectories
Compressed-Domain Video Indexing Techniques Using DCT and Motion Vector Information in MPEG Video
Triangle-inequality-based pruning algorithms with triangle tries
Model-based classification of visual information for content-based retrieval
Two-Stage Strategy for Indexing and Presenting Video
Procedure for audio-assisted browsing of news video using generalized sound recognition
Automatic classification of images on the Web
New perspective on visual information retrieval
Feature point extraction in compressed domain
Perceptual analysis for music segmentation
DANCERS: Delft advanced news retrieval system
Evaluation of shape correspondence using ordinal measures
Illumination-Invariant Video Segmentation by Hierarchical Robust Thresholding
Unsupervised learning of arbitrarily shaped clusters with application to image database categorization
Indexing of image content in spine x rays
Special-effect edit detection using VideoTrails: a comparison with existing techniques
Multiresolution Video Segmentation Using Wavelet Transformation
Multimodal pattern matching for audio-visual query and retrieval
Content-based image retrieval in medical applications: a novel multistep approach
Tamper-resistant storage techniques for multimedia systems
Distributed Data Collection for a Database of Radiological Image Interpretations
Active browsing using similarity pyramids
Video Hypermedia Authoring Using Automatic Object Tracking
Automatic Dominant Camera Motion Annotation for Video Retrieval
Similarity Evaluation in Image Retrieval Using Simple Features
Combination of color- and object-outline-based method in video segmentation
Feature indexing in a database of digitized x rays
Low-Cost Perceptive Digital Picture Watermarking Method
Three-dimensional browsing environment for MPEG-7 image databases
Direct Feature Extraction from Compressed Images
Content-based multiresolutiuon indexing and retrieval of paleontology images
Shape Analysis for Image Retrieval
Image clustering using fuzzy graph theory
Motion Video Analysis Using Planar Parallax
Archiving and retrieval of sequential images from tomographic databases in PACS
Hierarchical content-based image retrieval approach
Instantaneous reliability assessment of motion features in surveillance videos
Digital Signature of Color Images Using Amplitude Modulation
Indexing of Technical Manual Document Databases
Image retrieval by estimating parameters of distance measure
Semantic Shot Classification in Sports Video
Music genre classification via likelihood fusion from multiple feature models
Synergetic impact obtained by a distributed development platform for image retrieval in medical applications (IRMA)
Parallel Storage and Retrieval of Images
Learning to annotate video databases
NSF Workshop on Visual Information Management Systems: Workshop Report
Fast and constant time random access decoding with log2 n block seek time
Comparison of Subband Features for Automatic Indexing of Scientific Image Databases
Selective video content analysis and filtering
Image Searching in a Shipping Product
Extended Symbolic Projections for Content-Based Indexing and Retrieval of Audio, Video, and Multimedia Documents
Shot detection combining Bayesian and structural information
Automatic segmentation of speakers in broadcast audio material
Multilevel image segmentation and object representation for content-based image retrieval
Video summarization using motion descriptors
Graph Subshifts
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus
Towards Computability of Higher Type Continuous Data
Enumeration Reducibility with Polynomial Time Bounds
Normal Forms for Semantically Witness-Based Learners in Inductive Inference
A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC
Subrecursive Graphs of Representations of Irrational Numbers
Injectivity of Polynomials over Finite Discrete Dynamical Systems
A Computability Theory of Real Numbers
Structures of Finite Punctual Dimension n>2
On the Road to Thinking Machines: Insights and Ideas
L ømega ømega , L ømega 1ømega , and the Wadge Hierarchy
Computably Discrete Represented Spaces
Logic vs Topology on Regular ømega-languages
Curiouser and Curiouser: The Link between Incompressibility and Complexity
Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings
Computability and Categoricity of Ultrahomogeneous Structures
Square Roots and Powers in Constructive Banach Algebra Theory
Decidability of Sub-theories of Polynomials over a Finite Field
The Ordinal of Skolem + Tetration Is tau 0
Computability and Analysis, a Historical Approach
Minimal Representations for Majority Games
Counting Substrate Cycles in Topologically Restricted Metabolic Networks
Proofs, Programs, Processes
A Hierarchy of Immunity and Density for Sets of Reals
Walk-Preserving Transformation of Overlapped Sequence Graphs into Blunt Sequence Graphs with GetBlunted
Surjective H-Colouring: New Hardness Results
Randomness Deficiencies
Computing Game Strategies
Members of Random Closed Sets
The Jump Classes of Minimal Covers
An Algorithmic Version of Zariski's Lemma
Operational Semantics for Positive Relevant Logics Without Distribution
Variants of Solovay Reducibility
Adapting Rabin's Theorem for Differential Fields
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials
Shifting and Lifting of Cellular Automata
Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems
Computing and Scheduling with Explorable Uncertainty
Degrees with Almost Universal Cupping Property
Quantum Information Channels in Curved Spacetime
An Overview of Genomic Distances Modeled with Indels
Hairpin Completion Versus Hairpin Reduction
Some Open Questions and Recent Results on Computable Banach Spaces
Degrees of Categoricity for Prime and Homogeneous Models
Summary Data Structures for Massive Data
The Role of Classical Computation in Measurement-Based Quantum Computation
Compressibility and Probabilistic Proofs
omega-Degree Spectra
Computable Exchangeable Sequences Have Computable de Finetti Measures
Spatial Models for Virtual Networks
Hybrid Functional Interpretations
Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction
Bringing Up Turing's 'Child-Machine'
The Logical Strength of the Uniform Continuity Theorem
The Brouwer Fixed Point Theorem Revisited
Unifiability and Admissibility in Finite Algebras
Is there any Real Substance to the Claims for a 'New Computationalism'?
Conservative Extensions of Abstract Structures
Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs
Recent Advances in Non-perfect Secret Sharing Schemes
On the Necessity of Some Topological Spaces
Decidability of Termination Problems for Sequential P Systems with Active Membranes
ASNP: A Tame Fragment of Existential Second-Order Logic
Prefix and Right-Partial Derivative Automata
Turing Machine-Inspired Computer Science Results
A Guided Tour to Computational Haplotyping
A Computational Approach to the Borwein-Ditor Theorem
Fundamental Sequences Based on Localization
A Network Model of Analogue Computation over Metric Algebras
Lipschitz Determinacy and Arithmetic Transfinite Recursion
Delayed-Input Cryptographic Protocols
Binary Expansions of Regular Reals and Reordered Computable Numbers
Graph Homomorphism, Monotone Classes and Bounded Pathwidth
Aligning and Labeling Genomes under the Duplication-Loss Model
Outline of Partial Computability in Computable Topology
Functionals of Type 3 as Realisers of Classical Theorems in Analysis
A Note on Ramsey Theorems and Turing Jumps
Unconventional Computing: Do We Dream Too Much?
Complexity of Conjunctive Regular Path Query Homomorphisms
On S-Degrees of Some Representations of Irrational Numbers
Infinite Time Register Machines
Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt
Turing's 1949 Paper in Context
Circuit Metaconstruction in Logspace for Rice-Like Complexity Lower Bounds in ANs and SGRs
The Fan Theorem and Uniform Continuity
A Subrecursive Refinement of the Fundamental Theorem of Algebra
Learning as Data Compression
Computability of the Radon-Nikodym Derivative
Towards a Theory of Homomorphic Compression
Substitutions and Strongly Deterministic Tilesets
Quotients over Minimal Type Theory
Fractals Generated by Algorithmically Random Brownian Motion
Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic
On the Weihrauch Degree of the Additive Ramsey Theorem over the Rationals
Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction Surfaces
Searching for Applicable Versions of Computable Structures
On Generating Independent Random Strings
First-Order Universality for Real Programs
A Universal Oracle for Signal Machines
On Index Sets of Some Properties of Computable Algebras
The New Promise of Analog Computation
Computability Power of Mobility in Enhanced Mobile Membranes
Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024, Proceedings
Effective Computation for Nonlinear Systems
Subrecursive Complexity of Identifying the Ramsey Structure of Posets
Space Bounds for Infinitary Computation
Recombinant DNA , Gene Splicing as Generative Devices of Formal Languages
How to Compare the Power of Computational Models
Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries
Two-by-Two Substitution Systems and the Undecidability of the Domino Problem
On the Complexity of Learning Programs
Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings
Definability in the Homomorphic Quasiorder of Finite Labeled Forests
Computing Tree Width: From Theory to Practice and Back
A Game-Theoretic Approach for the Synthesis of Complex Systems
Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness
Weihrauch Degrees of Finding Equilibria in Sequential Games
A Journey to Computably Enumerable Structures (Tutorial Lectures)
Learnability Thesis Does Not Entail Church's Thesis
Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion
Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice
The Computational Complexity of One-Dimensional Sandpiles
On the Turing Degrees of Divergence Bounded Computable Reals
Computation with Real Numbers and Continuous-Time Dynamical Systems
How Powerful Are Integer-Valued Martingales?
Kripke Models, Distributive Lattices, and Medvedev Degrees
The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games
A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0
Computable Reductions and Reverse Mathematics
Uniform Functional Interpretations
A Taxonomy of Deviant Encodings
A Jump Inversion Theorem for the Degree Spectra
The Mate-in-n Problem of Infinite Chess Is Decidable
Deep Inference and Its Normal Form of Derivations
Definability in the Local Theory of the omega -Enumeration Degrees
On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic
Learning Families of Algebraic Structures from Text
An Extension of the Equivalence Between Brouwer's Fan Theorem and Weak König's Lemma with a Uniqueness Hypothesis
Reachability Problems: An Update
Effective S-adic Symbolic Dynamical Systems
Two-Dimensional Codes
Recent Developments in Collective Decision Making in Combinatorial Domains
Gödel's Conflicting Approaches to Effective Calculability
Direct Construction of Scott Ideals
A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ )
Computability in Computational Geometry
Ordinal Invariants of the h-Preorder on k-Labeled Forests
A Minimal Pair in the Quotient Structure M / NCup
Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory
How We Think of Computing Today
Fewer Epistemological Challenges for Connectionism
Forcing with Random Variables and Proof Complexity
Lower Bounds for Reducibility to the Kolmogorov Random Strings
Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders
On a Relative Computability Notion for Real Functions
Metric-Driven Grammars and Morphogenesis (Extended Abstract)
Local Computability for Ordinals
A Deterministic Algorithm for Testing the Equivalence of Read-Once Branching Programs with Small Discrepancy
On the Group of Computable Automorphisms of the Linear Order of the Reals
Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power
Lightface Π 3 0 -Completeness of Density Sets Under Effective Wadge Reducibility
Axiomatizing Analog Algorithms
Perfect Local Computability and Computable Simulations
An Investigation on Genomic Repeats
Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation
The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition
The d.r.e wtt-Degrees are Dense
Lower Bounds Using Kolmogorov Complexity
On the Hardness of Truthful Online Auctions with Multidimensional Constraints
Consistency and Optimality
On the Degrees of Constructively Immune Sets
A Fine Hierarchy of ω-Regular k-Partitions
The Boolean Algebra of Piecewise Testable Languages
Generic Parallel Algorithms
Borel Complexity of Topological Operations on Computable Metric Spaces
Logic of Ruler and Compass Constructions
The Small Grzegorczyk Classes and the Typed lambda-Calculus
Study of Stepwise Simulation Between ASM
Making Solomonoff Induction Effective - Or: You Can Learn What You Can Bound
Computing by Observing: A Brief Survey
Topological Dynamics of 2D Cellular Automata
Physical Zero-Knowledge Proof for Ball Sort Puzzle
Definability in the Subword Order
An Environment Aware P-System Model of Quorum Sensing
Realizability Models Separating Various Fan Theorems
All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines
Connecting Partial Words and Regular Languages
Computable Structure Theory of Partial Combinatory Algebras
The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters
Cupping Computably Enumerable Degrees Simultaneously
Higher-Order Feedback Computation
An Algebraic View on Exact Learning from Queries
Towards a Trichotomy for Quantified H -Coloring
On Approximate Uncomputability of the Kolmogorov Complexity Function
Chemical Production and Molecular Computing in Addressable Reaction Compartments
The Existence of Primitive Recursive Structures
Reverse Mathematics of the Uncountability of ℝ
On the Differences and Sums of Strongly Computably Enumerable Real Numbers
Highness and Local Noncappability
Effective Dimensions and Relative Frequencies
A Note on ω-Jump Inversion of Degree Spectra of Structures
Computing with SAT Oracles: Past, Present and Future
Spectra of Algebraic Fields and Subfields
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
Strict Self-assembly of Discrete Sierpinski Triangles
Taming Koepke's Zoo
Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes
Infinite Games and Transfinite Recursion of Multiple Inductive Definitions
Inversion in P-Computable Fields
What Is the Lesson of Quantum Computing?
The Complexity of Counting Quantifiers on Equality Languages
Is Human Mind Fully Algorithmic? Remarks on Kurt Gödel's Incompleteness Theorems
Insertion-Deletion Systems with Substitutions I
Discovering Hidden Repetitions in Words
Transfinite Structured Programming
Turing Pattern Formation without Diffusion
Circuit Complexity of Regular Languages
DNA Rearrangements through Spatial Graphs
The Weakness of Finding Descending Sequences in Ill-Founded Linear Orders
Borel Ranks and Wadge Degrees of Context Free omega-Languages
Many Facets of Complexity in Logic
Physics and Computation: The Status of Landauer's Principle
On the Computational Properties of Weak Continuity Notions
Minimum Classical Extensions of Constructive Theories
Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem
Finite State Verifiers with Constant Randomness
Predicate Characterizations in the Polynomial-Size Hierarchy
Membership Problems in Infinite Groups
Towards a Map for Incremental Learning in the Limit from Positive and Negative Information
A Constructive Picture of Noetherian Conditions and Well Quasi-orders
ITRM I T R M -Recognizability from Random Oracles
Computability of Initial Value Problems
Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program
Uniform Relativization
Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations
A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients
Datatype-Generic Reasoning
Parameterized Complexity and Logic
Algorithmic Statistics and Prediction for Polynomial Time-Bounded Algorithms
Positive Enumerable Functors
Problems as Solutions
Degrees of Unsolvability: A Tutorial
Computational Complexity of Classical Solutions of Partial Differential Equations
Complexity-Theoretic Hierarchies
Approximate Self-assembly of the Sierpinski Triangle
Computable Categoricity of Graphs with Finite Components
Alternation-Bounded Semi-unbounded Fan-in Cascading Circuits and the Complementation Closure Property
Reaction-Based Models of Biochemical Networks
The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
Post's Problem for Ordinal Register Machines
Determinant versus Permanent: Salvation via Generalization?