yusuke1997/dblp-id-title huggingface dataset:
Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width
A Hierarchy of Nondeterminism
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras
Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus
The Bidimensional Theory of Bounded-Genus Graphs
Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings
Space-Efficient Fault-Tolerant Diameter Oracles
On the Simplification of Constructions in Degrees of Unsolvability via Computational Complexity
Correctness of Concurrent Processes
Preservation of Equations by Monoidal Monads
Remarks on Comparing Expressive Power of Logics of Programs
Neural Networks and Complexity Theory
Reconstructing an Ultrametric Galled Phylogenetic Network from a Distance Matrix
Parity Games on Graphs with Medium Tree-Width
Invertible Linear Cellular Automata over z m : Algorithmic and Dynamical Aspects
Characterization of Some Classes of Context-Free Languages in Terms of Complexity Classes
Semisimple Algebras of Almost Minimal Rank over the Reals
Automate and Categories
Generalised Lyndon-Schützenberger Equations
On Some Recent Developments in Cryptography and Their Applications to Computer Science
Hoare Calculi for Higher-Type Control Structures and Their Completeness in the Sense of Cook
Minimizing Congestion of Layouts for ATM Networks with Faulty Links
On the Speed of Constraint Propagation and the Time Complexity of Arc Consistency Testing
Exact Results for Accepting Probabilities of Quantum Automata
A Congruence-based Perspective on Automata Minimization Algorithms
Identity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs
A Planarity Test via Construction Sequences
Qualitative Analysis of Partially-Observable Markov Decision Processes
An EPTAS for Minimizing the Total Weighted Completion Time of Jobs with Release Dates on Uniformly Related Machines
Points on Computable Curves of Computable Lengths
Efficient Solving of the Word Equations in One Variable
The Price of Envy-Freeness in Machine Scheduling
A Reducibility for the Dot-Depth Hierarchy
String Recognition on Anonymous Rings
Equations and Coequations for Weighted Automata
Stratified Boolean Grammars
Computational Optimality of a Dynamic Programming Method
Graphs with No Long Claws: An Improved Bound for the Analog of the Gyárfás' Path Argument
Matching Patterns with Variables Under Hamming Distance
A Constructive Proof of the Topological Kruskal Theorem
Optimizing Conjunctive Queries over Trees Using Schema Information
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
On Converting CNF to DNF
Approximation Algorithms for Min-k-overlap Problems Using the Principal Lattice of Partitions Approach
Zero-Knowledge Proofs via Polynomial Representations
Almost-Linear Time Algorithms for Partially Dynamic Graphs (Invited Talk)
ZX-Calculus: Cyclotomic Supplementarity and Incompleteness for Clifford+T Quantum Mechanics
Regular Choice Functions and Uniformisations For countable Domains
Bidding Mechanisms in Graph Games
On Repetition-Free Binary Words of Minimal Density
From Regular Expression Matching to Parsing
Descriptional Complexity (of Languages) - A Short Survey
Spartan Bipartite Graphs Are Essentially Elementary
Lower Bounds for Multilinear Order-Restricted ABPs
Degree-Constrained Subgraph Reconfiguration is in P
On Comparing Probabilistic and Deterministic Automata Complexity of Languages
On the Strength of Uniqueness Quantification in Primitive Positive Formulas
On Axiomatization of Deterministic Propositional Dynamic Logic
On Dynamic DFS Tree in Directed Graphs
A Characterization of Floyd-Provable Programs
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures
A (Non-elementary) Modular Decision Procedure for LTrL
Õ(√n)-Space and Polynomial-Time Algorithm for Planar Directed Graph Reachability
Which Finitely Ambiguous Automata Recognize Finitely Sequential Functions? - (Extended Abstract)
The Size of Power Automata
Cultural Eco-Grammar Systems: A Multi-Agent System for Cultural Change
Lower Bounds on the Complexity of Local Circuits (Preliminary Report)
Array Grammar Systems
On Algorithms and Interaction
Characterizing Valiant's Algebraic Complexity Classes
Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Algorithmic Applications of Tree-Cut Width
Slowly Synchronizing Automata and Digraphs
Strong Lower Bounds on the Approximability of some NPO PB-Complete Maximization Problems
Autoreducibility, Mitoticity, and Immunity
Nondeterministic Turing Machines with Modified Acceptance
Dimension Is Compression
Lower Bounds on Avoiding Thresholds
Honecomb Networks
String Diagrammatic Trace Theory
Improved Lower Bound, and Proof Barrier, for Constant Depth Algebraic Circuits
The Art of Dynamizing
Fast Recognition of Pushdown Automaton and Context-Free Languages
Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
An Imperative Type Hierarchy with Partial Products
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
The Communication Complexity of Non-signaling Distributions
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
Parallel Algorithms for Power Circuits and the Word Problem of the Baumslag Group
On Families of Languages Defined by Time-Bounded Random Access Machines
Holonomic Techniques, Periods, and Decision Problems (Invited Talk)
On Characterizations of Randomized Computation Using Plain Kolmogorov Complexity
Compiler Generation Using Denotational Semantics
New Topics in Colonies Theory
Cellular Associative Symbolic Processing for Pattern Recognition
Explicit Inapproximability Bounds for the Shortest Superstring Problem
A Starvation-Free Solution of the Dining Philosopher's Problem by Use of Interaction Systems
Graph Traversals as Universal Constructions
Congestion Games with Player-Specific Constants
Deterministic Parsing for Augmented Context-free Grammars
Generating All Minimal Integral Solutions to Monotone and, or-Systems of Linear, Transversal and Polymatroid Inequalities
Finite Models for a Spatial Logic with Discrete and Topological Path Operators
Reducing the Vertex Cover Number via Edge Contractions
On Existential MSO and its Relation to ETH
On Saturation with Flexible Function Symbols
Solving Systems of Equations in Supernilpotent Algebras
Analysis of a Universal Class of Hash Functions
Comparison of the Active Visiting and the Crossing Complexities
Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings
FPT Algorithms for Plane Completion Problems
Few Product Gates But Many Zeros
Lazy Functional Algorithms for Exact Real Functionals
A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets
On a Temporal Logic of Prefixes and Infixes
Idempotent Turing Machines
Cops and Robbers for Graphs on Surfaces with Crossings
Maintaining Dictionaries in a Hierarchical Memory
The Generalization of Dirac's Theorem for Hypergraphs
The Continuous Algebra of Monadic Languages
A Sub-Exponential FPT Algorithm and a Polynomial Kernel for Minimum Directed Bisection on Semicomplete Digraphs
Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation
On a Relationship Between Programs of Address Machines and Mazurkiewicz Algorithms
Structure of Complexity Classes: Separations, Collapses, and Completeness
A Method Using a Set-Theoretical Formalism to Describe the Semantics of Programming Languages
Decidability in Group Shifts and Group Cellular Automata
Symbolic Bisimulations (Abstract)
Approximating Activation Edge-Cover and Facility Location Problems
Structural Control in Weighted Voting Games
Relating Conflict-Free Stable Transition and Event Models (Extended Abstract)
Distributed Data Structures: A Survey on Informative Labeling Schemes
On the Sets of Minimal Indices of Partial Recursive Functions
A Core Calculus for Scala Type Checking
Betweenness Centrality - Incremental and Faster
Searching, Sorting and Information Theory
Counting Homomorphisms Modulo a Prime Number
Weak and Strong Fairness in CCS
Axioms in Definitional Calculi
Regular Search Spaces as a Foundation of Logic Programming
A New Framework for Declarative Programming: Categorial Perspectives
Total Correctness of Logic Programs: A Formal Approach
A Fibrational Semantics for Logic Programs
Proof-theory for Extensions of Logic Programming
A Survey of GCLA: A Definitional Approach to Logic Programming
Non-Procedural Logic Programming
An Abstract Machine for Reasoning about Situations, Actions, and Causality
Modal Provability Foundations for Negation by Failure
Cut Formulae and Logic Programming
Techniques for Implementing Contexts in Logic Programming
On the Computational Complexity of Propositional Logic Programs with Nested Implications
The AbstrAct Scheme for Concurrent Programming
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
Programming Methodologies in GCLA
Predicates as Parameters in Logic Programming, A Set-Theoretic Basis
Logic Programming, Functional Programming, and Inductive Definitions
Efficient Resource Management for Linear Logic Proof Search
Terminological Reasoning and Partial Inductive Definitions
Methodology and Programming Techniques in GCLA II
The pi-Calculus as a Theory in Linear Logic: Preliminary Results
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover
Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings
Pruning the Search Space of Logic Programs
A Logic Language based on GAMMA-like Multiset Rewriting
A Significant Extension of Logic Programming by Adapting Model Building Rules
Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings
Birkhoff's HSP-Theorem for Cumulative Logic Programs
Higher Order Babel: Language and Implementation
Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings
CLP(AD) as a Deductive Database Language with Updates
A Language with Finite Sets Embedded in the CLP-scheme
Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings
Logical and Computational Invariants of Programs
Soundness and Completeness of Non-classical SLD-Resolution
Natural Deduction Proof Theory for Logic Programming
Introduction to ELP'93
Non-Moniotonic and Conditionals in Dialogue Logic
A Decision Procedure for Propositional N-Prolog
Implementational Issues in GCLA: A-Sufficiency and Definiens Operation
Contradiction: When Avoidance Equals Removal - Part II
A Proposal for Modules in Lambda-Prolog
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs
Linear Logic Semantics for Concurrent Prolog
Super Logic Programs and Negation as Belief
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
Translating a Modal Language with Embedded Implication into Horn Clause Logic
Finitary Partial Inductive Definitions as a General Logic
Some Applications of Gentzen's Proof Theory in Automated Deduction
An Overview of the Andorra Kernel Language
A Typed Foundation for Directional Logic Programming
SLWV - A Theorem Prover for Logic Programming
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog
A Definitional Approach to Functional Logic Programming
Extending Constructive Negation for Partial Functions in Lazy Functional-logic Languages
Hypothetical Reasoning and Definitional Reflection in Logic Programming
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints
Extended Logic-plus-Functional Programming
Contradiction: When Avoidance Equals Removal - Part I
Higher-order Aspects of Logic Programming
Finite Domains and Exclusions as First-Class Citizens
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming
Embedding Finite Sets in a Logic Programming Language
Logic Programming with Multiple Context Management Schemes
The Near-Horn Approach to Disjunctive Logic Programming
Conditional Narrowing with Constructive Negation
Some Experimental Results in Implementing a Logic Language with Multi-head Clauses on a Transputer Architecture
Answer Sets and Nonmonotonic S4
Representation and Inference with Consistent Temporal Propositions
Metalogic for State Oriented Programming
A Finitary Version of the Calculus of Partial Inductive Defintions
Logic Programming with Strong Negation
A Modal Framework for Structured Logic Programs
Design for AKL with Intelligent Pruning
Definitional Reflection and the Completion
Default Negated Conclusions: Why Not?
An Architecture for Prolog Extensions
A Declarative Semantics for the Prolog Cut Operator
Natural Semantics and Some of Its Meta-Theory in Elf
A Direct Semantic Characterization of RELFUN
Semantics of Constraint Logic Programs with Bounded Quantifiers
Logic Programming with Functions over Order-Sorted Feature Terms
Computing Cost Estimates for Proof Strategies
Open Logic Theories
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction
Logic Programming with Sequent Systems, A Linear Logic Approach
Handling Equality in Logic Programming via Basic Folding
A Logic Programming Approach to Implementing Higher-Order Term Rewriting
Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming Languages
GCLA II - A Definitional Approach to Control
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
Multimodal Co-learning: A Domain Adaptation Method for Building Extraction from Optical Remote Sensing Imagery
Urban building density detection using high resolution SAR imagery
Detection of manhole covers in high-resolution aerial images of urban areas by combining two methods
Parameterisation of layover detector for urban analysis in InSAR data
Evaluating the relationship between spatial and spectral features derived from high spatial resolution satellite data and urban poverty in Colombo, Sri Lanka
Urban Wastewater Mapping Using Sentinel-2 Data
Comparison between surface and canopy layer urban heat island using MODIS data
4D city information - fusion of multi-aspect angle high resolution PS point clouds
Multi-temporal recognition of built-up area and land cover changes using machine learning approach in the Metropolis of Aix-Marseille-Provence in France
Urban Remote Sensing Image Super Resolution based on Denoising Diffusion Probabilistic Models and Generative Adversarial Networks
Classifying roof materials using data fusion through kernel composition - Comparing ν-SVM and one-class SVM
Statistically robust detection and evaluation of errors in DTMs
Using remote sensing data and cluster algorithms to structure cities
Learning geometric soft constraints for multi-view instance matching across street-level panoramas
Development of an Interactive Web Mapping System for Monitoring and Mitigating Urban Heat Islands: A Case Study of Oran, Tlemcen, and Chlef
Mapping built-up area: combining Radar and Optical Imagery using Google Earth Engine
Human settlement and infrastructure monitoring with hyperspectral imaging
Land surface temperature climatology over urban surfaces: A blended approach
The Urban Thematic Exploitation Platform - Processing, Analysing and Visualization of Heterogeneous Data for Urban Applications
Graph theory and mean shift segmentation based classification of building facades
High-Resolution Adaptive 3-D Urban Reconstruction Using Frugal Polarimetric Tomographic SAR Focusing Techniques
Monitoring and modelling of informal settlements - A review on recent developments and challenges
Indoor LiDAR Point Clouds Upsampling for Object Detection Enhancement
A nationwide dataset of building features for Germany
Evaluation of urban expansion and its impact on surface temperature in Beijing, China
Feature extraction for hyperspectral images based on semi-supervised local discriminant analysis
Does vegetation mitigate the temperature in urban area or it follows the temperature of its surrounding?
Hierarchically exploring the width of spectral bands for urban material classification
Direct Window-to-Wall Ratio Prediction Using Deep Learning Approaches
Self-supervised Change Detection via Cooperative Learning: A Two-Player Model
SAR-simulation of large urban scenes using an extended ray tracing approach
Investigating the combined use of differential SAR tomography and PSI for spatio-temporal inversion
Detection of windows and doors from thermal images by grouping geometrical features
Object-based image analysis for urban land cover classification in the city of Campinas - SP, Brazil
Detection of Single Scatterers in SAR Tomography using Multi-GPU Platforms
Sensitivity of slum size distributions as a function of spatial parameters for slum classification
Mapping the Invisibles: Global Urban Inequalities through Night Lights
Land use modeling in North Rhine-Westphalia with interaction and scaling laws
Automatic generation of land-use maps for a spatial decision support system for Puerto Rico
Semantic segmentation for 3D localization in urban environments
Seasonal Surface Urban Heat Island Analysis
Superpixel-Based Urban Change Detection in SAR Images Using Optimal Transport Distance
The 'urban' component of the French Land Data and Services Centre (THEIA)
Fusion of very high resolution SAR and optical images for the monitoring of urban areas
The 'ghost city' phenomenon in China: mapping and categorization at intra-urban scale
Detection of buildings in spaceborne TomoSAR point clouds via hybrid region growing and energy minimization technique
Using Web-enabled Landsat Data time series to analyze the impacts of urban areas on remotely sensed vegetation dynamics
A Smoothing Layer for SAR Image Semantic Segmentation with Fully Convolutional Networks
Quality-based building-texture selection from different sensors
SAR Shape from shading in suburban areas
Deformation monitoring from high-resolution SAR images in Shanghai Pudong area
Diurnal analysis of surface Urban Heat Island using spatially enhanced satellite derived LST data
Some new research directions to explore in urban reconstruction
Multilabeling UAV images with Autoencoder networks
Climate change will exacerbate demographic challenges for urban planners
Remote sensing-supported generation of surface descriptors for a highly detailed urban climate model
Feature selection for urban impervious surfaces estimation using optical and SAR images
Integration of Gaussian process and MRF for hyperspectral image classification
Comparing SAR X and L bands to map the urban extent in a metropolis of South America. The potential of multitemporal data
Vertex Aided Building Polygonization from Satellite Imagery Applying Deep Learning
EO-based products in support of urban heat fluxes estimation
Feature selection analysis of WorldView-II data for similar urban objects distinction
Building change detection in satellite stereo imagery based on belief functions
Improving the SLEUTH urban growth model via temporal consistency in urban input data
Rule-based roof plane detection and segmentation from laser point clouds
Raster Representation of Ground Motion Service Data and Automated Hot-Spot Detection
Assessing the impact of climate change on desertification in Africa: A comparative analysis and projections based on CMIP6
A Comparative Study of U-Nets with Various Convolution Components for Building Extraction
Sensing the Environment Using a Cargo Bike
Monitoring LST at canyon scale for urban micro-climate applications: in-situ, simulation and airborne data comparisons
Identification of the London plane in urban alignment based on hyperspectral data and contextual information
Spatiotemporal monitoring of surface temperature in an urban area using UAV imaging and tower-mounted radiometer measurements
Mapping slums using spatial features in Accra, Ghana
Initial development of the urbisphere urban hyperspectral library: Berlin, Germany
Extraction of build-up area from SAR images using unsupervised ensemble learning
Low frequency radar signatures of shadow areas in cities
Efficiency of CNNs for Building Extraction: Comparative Analysis of Performance and Time
Comparative study of change detection for reconstruction monitoring based on very high resolution optical data
An overview on sensor map based localization for automated driving
Methodological Advances in Urban Remote Sensing: Machine Learning for Geological Mapping
A Quantum-assisted Attention U-Net for Building Segmentation over Tunis using Sentinel-1 Data
A multidimensional urban land cover change analysis in Tempe, AZ
Mapping Deprived Urban Areas with an Optimized Loss-weight Feature-guided Deep Learning Model
Investigation on the performance of velocity estimation of vehicles from airborne LiDAR data
Multi-level change detection in urban areas using ZY-3 multi-temporal stereo imagery
Identification and mapping of areas and buildings with high roof greening potential
Structural deformation and non-seasonal motion of single buildings in urban areas revealed by PSI
Seasonal semi-supervised domain adaptation for linking population studies and Local Climate Zones
Human settlement analysis based on multi-temporal remote sensing data-a case study of Xuzhou, China
Integrating spectral and textural features for urban land cover classification with hyperspectral data
Impact of spatial and spectral resolutions on the classification of urban areas
A scatterers detection scheme in SAR Tomography for reconstruction and monitoring of individual buildings
Remote Sensing for Building Energy Efficiency Assessment: A Multi-modal Multi-task Approach
Improved extraction of urban extents from ASAR Wide Swath data
Do we underestimate the global slum population?
Instance Segmentation of Informal Buildings in Medellín for Assessing Population at Risk from Landslides
EO4Urban: Sentinel-1A SAR and Sentinel-2A MSI data for global urban services
Traffic queue length measurement by using combined methods of Photogrammetry and digital image processing
Detection of ground subsidence in the city of Lisbon: Comparison of InSAR and topographic measurements
Toward 3D Classification of Urban Area With Polarimetric SAR Tomography
Chronicling urbanization and vegetation changes using annual gap free Landsat composites from 1984 to 2012
How dynamic are slums? EO-based assessment of Kibera's morphologic transformation
Polygon-based mapping of photovoltaic systems and estimation of energy generation potential
Road detection using Deep Neural Network in high spatial resolution images
Training convolutional neural networks for semantic classification of remote sensing imagery
Exploitation of textural and morphological image features in Sentinel-2A data for slum mapping
From Relative to Absolute Heights in SAR-based Single-Image Height Prediction
Revealing landslide exposure of informal settlements in Medellín using Deep Learning
Height snakes: 3D building reconstruction from aerial image and laser scanner data
Weakly supervised fully convolutional networks using OBIA classification output
Land use/land cover classification for applied urban planning - the challenge of automation
Mining-Driven Settlement Dynamics: Evidence from the Cobalt Belt in the Democratic Republic of Congo
Towards Using Synthetic Data in Aerial Image Segmentation
Online Random Forests for Urban Area Classification from Polarimetric SAR Images
Dense Dilated Convolutions Merging Network for Semantic Mapping of Remote Sensing Images
AI and EO for Advancing Sustainable Development Goals: SmartSDGTunisia as a Case Study
Automated Mapping Of Accessibility Signs With Deep Learning From Ground-level Imagery and Open Data
Building Height Estimation from COSMO-SkyMed Imagery through Deep Learning Methods