yusuke1997/dblp-id-title huggingface dataset:
How Hard Are Sparse Sets?
30th Conference on Computational Complexity, CCC 2015, Portland, Oregon, USA, June 17-19, 2015
Evaluation of Rational Functions
Hardness Against Linear Branching Programs and More
The Maximum Communication Complexity of Multi-Party Pointer Jumping
Monotone Circuits for Weighted Threshold Functions
Super-Critical Trade-Offs in Resolution over Parities via Lifting
Bounded Relativization
Provably Total Functions in the Polynomial Hierarchy
Lower Bounds for Randomized and Quantum Query Complexity Using Kolmogorov Arguments
The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection
Complexity Theory and Genetics
Subexponential Size Hitting Sets for Bounded Depth Multilinear Formulas
18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark
On Polynominal Time Bounded Truth-Table Reducibility of NP Sets to Sparse Sets (Abstract)
Lower Bounds for DNF-refutations of a Relativized Weak Pigeonhole Principle
PSPACE survives three-bit bottlenecks
A Linear Round Lower Bound for Lovasz-Schrijver SDP Relaxations of Vertex Cover
Functions that have Read-Twice Constant Width Branching Programs are not Necessarily Testable
Probabilistic Quantifiers, Adversaries, and Complexity Classes: An Overview
Poly-logarithmic Independence Fools AC 0 Circuits
Improved Low-Depth Set-Multilinear Circuit Lower Bounds
On the Measure of Two-Dimensional Regions with Polynomial-Time computables Boundaries
Fixed-Parameter Intractability
The Generalized Kolmogorov Complexity of Sets
Matrix Isomorphism of Matrix Lie Algebras
Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle
On Obtaining Upper Bounds on the Complexity of Matrix Multiplication
Earthmover Resilience and Testing in Ordered Structures
Resolution Lower Bounds for the Weak Pigeonhole Principle
Are Cook and Karp Ever the Same?
Resource Bounded Measure and Learnability
Toward the KRW Composition Conjecture: Cubic Formula Lower Bounds via Communication Complexity
New Codes on High Dimensional Expanders
Constructing Ramsey Graphs from Boolean Function Representations
Quantum query complexity and semi-definite programming
Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems
Parallel Repetition of Zero-Knowledge Proofs and the Possibility of Basing Cryptography on NP-Hardness
Oracularization and Two-Prover One-Round Interactive Proofs against Nonlocal Strategies
Quantum XOR Games
Pseudo-Random Generators and Structure of Complete Degrees
The Complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
Partial Bi-immunity and NP-Completeness
Simple Analysis of Graph Tests for Linearity and PCP
Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling
Polynomials That Sign Represent Parity and Descartes Rule of Signs
Notions of Resource-Bounded Category and Genericity
Finer-Grained Hardness of Kernel Density Estimation
DSPACE(n)= ? NSPACE(n): A Degree Theoretic Characterization
Factors of Low Individual Degree Polynomials
Two Queries
BPP has Subexponential Time Simulation unless EXPTIME has Pubishable Proofs
Parallel Computation and the NC Hierarchy Relativized
Reductions among prediction problems: on the difficulty of predicting automata
On Ultrafilters and NP
NP-Hardness of Circuit Minimization for Multi-Output Functions
On truth-table reducibility to SAT and the difference hierarchy over NP
Spectral Algorithms for Unique Games
On the Power of Probabilistic Polynomial Time: P NP[log] subseteq PP
Optimal Tiling of the Euclidean Space Using Permutation-Symmetric Bodies
Upper Bounds on Quantum Query Complexity Inspired by the Elitzur-Vaidman Bomb Tester
Algorithms and Lower Bounds for De Morgan Formulas of Low-Communication Leaf Gates
Quantum Threshold Is Powerful
Extractors for Varieties
Hardness Magnification near State-Of-The-Art Lower Bounds
On Relaxed Locally Decodable Codes for Hamming and Insertion-Deletion Errors
Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization
Bounded Independence Plus Noise Fools Products
P-Creative Sets vs. P-Completely Creative Sets
The Complexity of the Covering Radius Problem on Lattices and Codes
Simultaneous Max-Cut Is Harder to Approximate Than Max-Cut
Bases Collapse in Holographic Algorithms
On TC 0 , AC 0 , and Arithmetic Circuits
GSF-Locality Is Not Sufficient For Proximity-Oblivious Testing
The Power of Adaptiveness and Additional Queries in Random-Self-Reductions
Parity Problems in Planar Graphs
Expanders, Randomness, or Time versus Space
Universal Traversal Sequences with Backtracking
Integer Circuit Evaluation is PSPACE-Complete
Upper and Lower Bounds for Some Depth-3 Circuit Classes
Junta Distance Approximation with Sub-Exponential Queries
On Sunflowers and Matrix Multiplication
A New Interactive Hashing Theorem
Self-Witnessing Polynomial-Time Complexity and Prime Factorization
Resolution and the Binary Encoding of Combinatorial Principles
On Statistical Query Sampling and NMR Quantum Computing
Relations between Average Case Complexity and Approximation Complexity
An Isomorphism Theorem for Circuit Complexity
The Power of the Middle Bit
Branching Programs with Bounded Repetitions and Flow Formulas
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
Two-Message Quantum Interactive Proofs and the Quantum Separability Problem
Saving Queries with Randomness
Proceedings: Fifth Annual Structure in Complexity Theory Conference, Universitat Politècnica de Catalunya, Barcelona, Spain, July 8-11, 1990
The Complexity of Knowledge Representation
Fixpoint Logics, Relational Machines, and Computational Complexity
The Multiplicative Quantum Adversary
On the Instance Complexity of NP-Hard Problems
Reconstruction of Full Rank Algebraic Branching Programs
Complexity and Expressive Power of Logic Programming
ℓ p -Spread and Restricted Isometry Properties of Sparse Random Matrices
Arthur-Merlin Games in Boolean Decision Trees
Upper Bounds for Quantum Interactive Proofs with Competing Provers
NP-Complete Problems Have a Version That's Hard to Approximate
Making Branching Programs Oblivious Requires Superlogarithmic Overhead
The Expected Size of Heilbronn's Triangles
Approximation Properties of NP Minimization Classes
Hardness of Clique Approximation for Monotone Circuits
A theory of oracle machines
Tight Bounds on the Fourier Spectrum of AC0
Lower Bounds for Set-Multilinear Branching Programs
Adaptive Logspace and Depth-Bounded Reducibilities
Quantum Simulations of Classical Random Walks and Undirected Graph Connectivity
The Complexity of Polynomials and Their Coefficient Functions
Quantum Expanders: Motivation and Constructions
Circuits and Expressions with NOn-Associative Gates
Strong LTCs with Inverse Polylogarithmic Rate and Soundness
A New Sampling Protocol and Applications to Basing Cryptographic Primitives on the Hardness of NP
Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity
Improved Separation Between Quantum and Classical Computers for Sampling and Functional Tasks
Matrix Rigidity Depends on the Target Field
Proceedings of the 27th Conference on Computational Complexity, CCC 2012, Porto, Portugal, June 26-29, 2012
Reversal complexity
Limits on the Hardness of Lattice Problems in ell _p Norms
Proceedings of the Sixth Annual Structure in Complexity Theory Conference, Chicago, Illinois, USA, June 30 - July 3, 1991
Space Lower-Bounds for Pseudorandom-Generators
PSPACE Is Provable By Two Provers In One Round
Quantum Automating TC⁰-Frege Is LWE-Hard
New Non-Uniform Lower Bounds for Uniform Classes
A Note on Decision versus Search for Graph Automorphism
Reconstruction of Real Depth-3 Circuits with Top Fan-In 2
Multi-Oracle Interactive Protocols with Space Bounded Verifiers
Complexity and Structure in Formal Language Theory
A Linear Lower Bound on the Unbounded Error Probabilistic Communication Complexity
Perfect Hashing, Graph Entropy, and Circuit Complexity
Limits on the Universal Method for Matrix Multiplication
On the Relative Strength of Pebbling and Resolution
Communication Complexity with Small Advantage
From an Odd Arity Signature to a Holant Dichotomy
Hardness of Function Composition for Semantic Read once Branching Programs
Quantum Search-To-Decision Reductions and the State Synthesis Problem
Probabilistic complexity classes and lowness
Hitting Set Generators for Sparse Polynomials over Any Finite Fields
Lower Bounds on the Randomized Communication Complexity of Read-Once Functions
Graph Properties and Circular Functions: How Low Can Quantum Query Complexity Go?
Lossless Dimension Expanders via Linearized Polynomials and Subspace Designs
Quantum t-designs: t-wise Independence in the Quantum World
De-Randomizing BPP: The State of the Art
On Randomized Reductions to Sparse Sets
Generalized CNF Satisfiability Problems and Non-Efficient
Circuits, Pebbling and Expressibility
A Very Hard Log Space Counting Class
The polynomial time hierarchy collapses if the Boolean hierarchy collapses
Lower Bounds on Non-Adaptive Data Structures Maintaining Sets of Numbers, from Sunflowers
SAREF4SYST: a SAREF Reference Ontology Pattern for Representing Systems and their Interconnections
Proceedings of the 12th Workshop on Ontology Design and Patterns (WOP 2021) co-located with the 20th International Semantic Web Conference (ISWC 2021), Online, October 24, 2021
The Music Note Ontology
A Pattern for Modeling Causal Relations Between Events
Cross-domain Modelling - A Network of Core Ontologies for the Circular Economy
Aligning Patterns to the Wikibase Model
Proceedings of the 14th Workshop on Ontology Design and Patterns (WOP 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), Athens, Greece, November 06, 2023
An Ontology Design Pattern for Role-Dependent Names
An Ontology Design Pattern for Representing Causality
Pattern Comparison of is-a Concepts for Ontology Localisation
Mapping Biographical Events to ODPs Through Lexico-Semantic Patterns
OWL Paths: A library for processing SPARQL-like property paths over OWL classes
Using Patterns to Manage Governance of Solid Apps
An Ontology Design Pattern for Modeling Pollution
OPLaX: Annotating Ontology Design Patterns at Conceptual and Instance Level
Insights from an OTTR-centric Ontology Engineering Methodology
Pattern-based design for modelling an ontology network in the water and health domains
Modelling Sustainability for an IoT-enabled Smart Green Campus using an Ontology-based Approach
SIMP-REAUTH: A Simple Multilevel Real User Remote Authentication Scheme for Mobile Cloud Computing
Outlier Detection in Multivariate Time Series Data Using a Fusion of K-Medoid, Standardized Euclidean Distance and Z-Score
A Gamified Technique to Improve Users' Phishing and Typosquatting Awareness
A Conceptual Hybrid Model of Deep Convolutional Neural Network (DCNN) and Long Short-Term Memory (LSTM) for Masquerade Attack Detection
Gamifying Users' Learning Experience of Scrum
Anomaly Android Malware Detection: A Comparative Analysis of Six Classifiers
DeepFacematch: A Convolutional Neural Network Model for Contactless Attendance on e-SIWES Portal
Analysis and Classification of Biomedical Data Using Machine Learning Techniques
Design of a Robotic Wearable Shoes for Locomotion Assistance System
Comparative Analyses of Machine Learning Paradigms for Operators' Voice Call Quality of Service
Credit Risk Prediction in Commercial Bank Using Chi-Square with SVM-RBF
Spoof Detection in a Zigbee Network Using Forge-Resistant Network Characteristics (RSSI and LQI)
Application of Supervised Machine Learning Based on Gaussian Process Regression for Extrapolative Cell Availability Evaluation in Cellular Communication Systems
An Efficient Holistic Schema Matching Approach
Comparative Performance Analysis of Anti-virus Software
An Improved Hybridization in the Diagnosis of Diabetes Mellitus Using Selected Computational Intelligence
Privacy Preservation in Mobile-Based Learning Systems: Current Trends, Methodologies, Challenges, Opportunities and Future Direction
Design and Implementation of an IoT Based Baggage Tracking System
Perception of Social Media Privacy Among Computer Science Students
AnnoGram4MD: A Language for Annotating Grammars for High Quality Metamodel Derivation
LearnFuse: An Efficient Distributed Big Data Fusion Architecture Using Ensemble Learning Technique
Visualizing Multilevel Test-to-Code Relations
Users' Perception of the Telecommunication Technologies Used for Improving Service Delivery at Federal University Libraries in Anambra and Enugu State
A Scoping Review of the Literature on the Current Mental Health Status of Developers
Validation of Computational-Rabi's Driver Training Model for Prime Decision-Making
Information and Communication Technology and Applications - Third International Conference, ICTA 2020, Minna, Nigeria, November 24-27, 2020, Revised Selected Papers
A Novel Approach to News Archiving from Newswires
An Efficient Lightweight Cryptographic Algorithm for IoT Security
Application of Big Data Analytics for Improving Learning Process in Technical Vocational Education and Training
A Survey for Recommender System for Groups
Prediction of Malaria Fever Using Long-Short-Term Memory and Big Data
Face Morphing Attack Detection in the Presence of Post-processed Image Sources Using Neighborhood Component Analysis and Decision Tree Classifier
Analysis and Classification of Some Selected Media Apps Vulnerability
Formulation and Optimization of Overcurrent Relay Coordination in Distribution Networks Using Metaheuristic Algorithms
A Step by Step Guide for Choosing Project Topics and Writing Research Papers in ICT Related Disciplines
An Empirical Study to Investigate Data Sampling Techniques for Improving Code-Smell Prediction Using Imbalanced Data
Improving the Prediction Accuracy of Academic Performance of the Freshman Using Wonderlic Personnel Test and Rey-Osterrieth Complex Figure
Identification of Bacterial Leaf Blight and Powdery Mildew Diseases Based on a Combination of Histogram of Oriented Gradient and Local Binary Pattern Features
An Enhanced WordNet Query Expansion Approach for Ontology Based Information Retrieval System
An Automated Framework for Swift Lecture Evaluation Using Speech Recognition and NLP
Feature Weighting and Classification Modeling for Network Intrusion Detection Using Machine Learning Algorithms
Hausa Intelligence Chatbot System
Drug Verification System Using Quick Response Code
Enhanced Back-Translation for Low Resource Neural Machine Translation Using Self-training
Appraisal of Electronic Banking Acceptance in Nigeria Amidst Cyber Attacks Using Unified Theory of Acceptance and Use of Technology
Efficient Approaches to Agile Cost Estimation in Software Industries: A Project-Based Case Study
Multi-class Model MOV-OVR for Automatic Evaluation of Tremor Disorders in Huntington's Disease
Optimizing the Classification of Network Intrusion Detection Using Ensembles of Decision Trees Algorithm
Sooner Lightweight Cryptosystem: Towards Privacy Preservation of Resource-Constrained Devices
Validation of Student Psychological Player Types for Game-Based Learning in University Math Lectures
A Statistical Linguistic Terms Interrelationship Approach to Query Expansion Based on Terms Selection Value
Design of Cash Advance Payment System in a Developing Country: A Case Study of First Bank of Nigeria Mortgages Limited
A Gaussian Mixture Model with Firm Expectation-Maximization Algorithm for Effective Signal Power Coverage Estimation
Emotion Recognition of Speech in Hindi Using Dimensionality Reduction and Machine Learning Techniques
Mobile Application Software Usability Evaluation: Issues, Methods and Future Research Directions
Efficient Traffic Control System Using Fuzzy Logic with Priority
Remote sensing monitoring study of ecological environment change in Qingtu Lake
Dangerous gas detection based on infrared video
A sea-land segmentation algorithm based on multi-feature fusion for a large-field remote sensing image
Different focus image fusion based on multi-level scaling
Satellite remote sensing of air quality in winter of Lanzhou
Tensor-based spatiotemporal saliency detection
A weighted variational gradient-based fusion method for high-fidelity thin cloud removal of Landsat images
A study of compositional verification based IMA integration method
Polarimetric SAR image classification based on discriminative dictionary learning model
Facial expression recognition based on weber local descriptor and sparse representation
Aircraft target detection algorithm based on high resolution spaceborne SAR imagery
Visualization of latent fingerprints beneath opaque electrical tapes by optical coherence tomography
NPP estimation and seasonal change research of Gansu province in northwest China
Infrared video based gas leak detection method using modified FAST features
A parallel method of atmospheric correction for multispectral high spatial resolution remote sensing images
Comparison of inversion accuracy of soil copper content from vegetation indices under different spectral resolution
Study on spectral features of terahertz wave propagating in the air
Multi-scale image segmentation method with visual saliency constraints and its application
Image quality evaluation of full reference algorithm
An improved method for LCD displays colorimetric characterization
Automatic video shot boundary detection using k-means clustering and improved adaptive dual threshold comparison
A novel attack method about double-random-phase-encoding-based image hiding method
Automatic road extraction from high resolution remote sensing image by means of topological derivative and mathematical morphology
A localization algorithm of adaptively determining the ROI of the reference circle in image
DEM generation in cloudy-rainy mountainous area with multi-baseline SAR interferometry
Airplane detection based on fusion framework by combining saliency model with Deep Convolutional Neural Networks
Troubleshooting of signal power supply system for Shanghai metro line 7
Bathymetric mapping of shallow water surrounding Dongsha Island using QuickBird image
Evidential analysis of difference images for change detection of multitemporal remote sensing images
A NDVI assisted remote sensing image adaptive scale segmentation method
Evaluating the capabilities of vegetation spectral indices on chlorophyll content estimation at Sentinel-2 spectral resolutions
Depth data research of GIS based on clustering analysis algorithm
Cooperative path planning for multi-USV based on improved artificial bee colony algorithm
Effect of black point on accuracy of LCD displays colorimetric characterization
Design of digital voice storage and playback system
Image-adaptive and robust digital wavelet-domain watermarking for images
Vehicle security encryption based on unlicensed encryption
Study on spatial-temporal change of Changsha-Zhuzhou-Xiangtan urban agglomeration based on DMSP / OLS night light data
The investigation of identifying method on grass fire by FY-3 VIRR images
Comparison of four machine learning methods for object-oriented change detection in high-resolution satellite imagery
Robust obstacle detection for unmanned surface vehicles
A novel method about detecting missing holes on the motor carling
A method of distributed avionics data processing based on SVM classifier
Power quality analysis based on spatial correlation
Land cover's refined classification based on multi source of remote sensing information fusion: a case study of national geographic conditions census in China
Detecting of forest afforestation and deforestation in Hainan Jianfengling Forest Park (China) using yearly Landsat time-series images
Multiple kernel SVR based on the MRE for remote sensing water depth fusion detection
A man-made object detection for underwater TV
The influence on the interferometry due to the instability of ground-based synthetic aperture radar work platform
The drainage information and control system of smart city
A modified sparse reconstruction method for three-dimensional synthetic aperture radar image
MIPPR 2017: Remote Sensing Image Processing, Geographic Information Systems, and Other Applications, Tenth International Symposium on Multispectral Image Processing and Pattern Recognition (MIPPR2017), Xiangyang, China, 28-29 October 2017
Gas leak detection in infrared video with background modeling
Signal conditioning units for vibration measurement in HUMS
An image-based automatic recognition method for the flowering stage of maize
Image compression based on orthogonal balanced multiwavelets with symmetry/antisymmetry
Comparison of water extraction methods in Tibet based on GF-1 data
An information hidden model holding cover distributions
The application of dam break monitoring based on BJ-2 images
Ship detection using STFT sea background statistical modeling for large-scale oceansat remote sensing image
Study on the impact of random-dot stereograms characteristics on stereoscopic cognition
Application of hybrid artificial fish swarm algorithm based on similar fragments in VRP
Characterisation and Application of PGM in Ankle Joint Exoskeleton
Design and Evaluation of Wearable Haptics Device for Weight Perception in Vocational Trade
Autonomous Leader-Follower Architecture of A.R. Drones in GPS Constrained Environments
Robotic Path Planning for direct slicing method to Minimize Support Structure in Fused Filament Fabrication Process
Real-Time Surface EMG-based Recognition of Finger Movements
Simultaneous Localization of Signal Sources Inspired by Butterfly Paradigm
A mobile agents based distributed speech recognition engine for controlling multiple robots
Optimal Gait Synthesis of a 34-DOF Humanoid Robot on Uneven Ground
Vision based Navigation, Guidance and Control of 6 DOF Robotic manipulator for Space Berthing application
Multi-stage and robot assisted incremental sheet metal forming: a review of the state of art and comparison of available technologies
MPC Based Path Planning for Wheeled Mobile Robots in Environments with Varying Slip
Maze Solving Using Deep Q-Network
On Mobile-Agent-based Swarm Reinforcement Learning in a Heterogeneous Robotic Network
A Review of Underwater Robotics, Navigation, Sensing Techniques and Applications
Implementation of Collision Free Path Following Maneuver for WMR Embedding Fuzzy Logic Driven Artificial Intelligence Framework
Development of a Planar 3PRP Parallel Manipulator using Shape Memory Alloy Spring based Actuators
Automated monocular vision based system for picking textureless objects
Design and Comparative Study of Mechanisms for Variable Ground Clearance for an Unmanned Ground Vehicle
Design and Modeling of a Novel Mechanized Injection Platform
Preference Based Multi-Objective Optimization Techniques for Coverage Path Planning of a Mobile Robot
Design and development of an earth based experimental setup for testing algorithms on space robots
Real-time depth estimation using camera and IMU on the unstabilized platform of a spherical robot
SVM based Classification Of sEMG Signals using Time Domain Features for the Applications towards Arm Exoskeletons
An Intelligent Indirect-Hybrid Force/Position Controller for Smooth and Accurate Tracking of Unknown Contours
Development of a Test Rig for the study of Musculoskeletal Actuation of Human finger
A Differential Torque Controller for Autonomous Wheeled Mobile Robots
Deep-Feature-Based Visual Odometry for Autonomous Emergency Parking
Motion Planning of Half-Humanoid in the Presence of Obstacle
Mathematical modeling and control of Biomimetic Autonomous Underwater Vehicle (BAUV) based on flapping propulsion
Virtual Stretched String: An Optimal Path Planning Technique over Polygonal Obstacles
Tele-operation of unmanned tracked vehicles: modeling and simulation of planar motion dynamics
Design and Implementation of a Smart Wheelchair
Robotic polishing of pilger-die
Locomotion Study of a Hyper-redundant Modular Robot Using Artificial Neural Networks
Trajectory Tracking by Quadcopter using MPC in Presence of Obstacles and External Disturbances
G-RRT*: Goal-oriented sampling-based RRT* path planning Algorithm for mobile robot navigation with improved convergence rate
Kinematic and Velocity Analysis of 3-DOF Parallel Kinematic Machine for Drilling Operation