yusuke1997/dblp-id-title huggingface dataset:
Multi-Temporal IR Thermography For Mine Detection
Data assimilation in multiscale complex systems
Multitemporal data mining: From biomass monitoring to nuclear proliferation detection
Multitemporal InSAR Coherence Change Analysis: Application to Volcanic Eruption Monitoring
Joint retrieval of surface reflectance and aerosol properties from PROBA-V observations, part I: Algorithm performance evaluation
Deep Siamese Multi-scale Convolutional Network for Change Detection in Multi-temporal VHR Images
Fine co-registration of VHR images for multitemporal Urban area analysis
Using Landsat-8 and Sentinel-1 data for Above Ground Biomass assessment in the Tamar valley and Dartmoor
Change analysis of dual polarimetric Sentinel-1 SAR image time series using stationary wavelet transform and change detection matrix
Reduction of On-side Controls of Catch Crop Fields with Sentinel-2 and Sentinel-1 Phenological Reference Profiles
Ground echoes filtering using the completed local binary pattern and the support vector machine
A novel method for unsupervised multiple Change Detection in hyperspectral images based on binary Spectral Change Vectors
Monitoring pasture intesification in Brazilian Amazon biome with MODIS time series
Image representation alternatives for the analysis of satellite image time series
Land surface phenology from Copernicus Global Land time series
Lava emplacement mapping with SAR and optical satellite data
A Fast Method for Cloud Removal and Image Restoration on Time Series of Multispectral Images
Multi-temporal Change Detection based on Deep Semantic Segmentation Networks
A scalable spatiotemporal inference framework based on statistical shape analysis for natural ecosystem monitoring by remote sensing
Optimizing SAR change detection based on log-ratio features
Deformation estimation on low coherence areas by means of polarimetric differential SAR interferometry
The Local Mutual Information invariance: Application to change detection between multispectral images
Assessment of ALOS PALSAR 25-m mosaic data for land cover mapping
Sensor-specific Transfer Learning for Hyperspectral Image Processing
Using Multi-Years MODIS LST Data to Monitor the Ground Surface Freezing and Thawing Conditions on the Qinghai-Tibet Plateau
Multi-sensor / multi-beam InSAR ground deformation monitoring of water-flood oil fields
Assessment of evapotranspiration from urban vegetation across space and time: a case study in Berlin
Sparse + smooth decomposition models for multi-temporal SAR images
European Space agency (ESA) Landsat MSS/TM/ETM+/OLI archive: 42 years of our history
Estimation of Maize Yield in Yitong County based on Multi-source Remote Sensing Data from 2007 to 2017
Land Cover Changes of Bagua Island with Collaborative Representation using Multi-Temporal Satellite Images
Detecting the spread of invasive species in central Chile with a Sentinel-2 time-series
Satellite image time series classification and analysis using an adapted graph labeling
Inpainting restoration for inland waters Mexico ecosystems
Multitemporal Hyperspectral Image Super-Resolution through 3D Generative Adversarial Network
Land cover change dynamics and multi-factor analysis in high mountains basins of Colombian Andes
10th International Workshop on the Analysis of Multitemporal Remote Sensing Images, MultiTemp 2019, Shanghai, China, August 5-7, 2019
Region-based change detection of PolSAR images using analytic information-theoretic divergence
Assessing hypertemporal SENTINEL-1 COHERENCE maps for LAND COVER monitoring
Prediction of NDVI for grassland habitats by fusing RapidEye and Landsat imagery
Time series analysis of multi-frequency SAR backscatter and bistatic coherence in the context of flood mapping
Humid tropical forest monitoring with multi-temporal L-, C- and X-band SAR data
Surface Water Area Mapping in Huai River Basin Over the Past Three Decades from Landsat Imagery based on Google Earth Engine
Hurricane intensity prediction based on time series data mining
Urban area change detection based on generalized likelihood ratio test
Change Detection of Remote Sensing Images based on Weighted Nonnegative Matrix Factorization
Regional glacier mapping from time-series of Landsat type data
Change detection in a series of Sentinel-1 SAR data
Low-Rank Representation Based Domain Adaptation for Classification of Remote Sensing Images
Variations in mangrove regeneration rates under different management plans: An analysis of Landsat time-series in the Matang Mangrove Forest Reserve, Peninsular Malaysia
Multitemporal classification without new labels: A solution with optimal transport
Monitoring winter wheat in ShanDong province using Sentinel data and Google Earth Engine platform
Elevation changes and X-band ice and snow penetration inferred from TanDEM-X data of the Mont-Blanc area
13 Years of changes in the extent and physiognomy of mangroves after shrimp farming abandonment, Bali
On the use of guided regularized random forests to identify crops in smallholder farm fields
Mountain crop monitoring with multitemporal Sentinel-1 and Sentinel-2 imagery
Recent elevation and velocity changes of Astrolabe Glacier, Terre Adelie, Antarctica
Retrieving daily evapotranspiration from the combination of geostationary and polar-orbit satellite data
Change Detection in Synthetic Aperture Radar Images based on Convolutional Block Attention Module
Local Multifractal Description of Bi-Temporal VHR Images
Comparison between Field-Measured and Multitemporal Modeled Temperature for Firn Compaction Modelling in Taishan Station, Antarctica
Extracting characteristics of satellite image time series with decision trees
Global climatic drivers of vegetation based on wavelet analysis
Accuracy assessment of annual land cover time series derived from change-based updating
Multi-Temporal Indices Derived from Time Series of Sentinel-1 Images as a Phenological Description of Plants Growing for Crop Classification
Mapping tree species of forests in southwest France using Sentinel-2 image time series
Investigating the control of ocean-atmospheric oscillations over global terrestrial evaporation using a simple supervised learning method
Built-up areas mapping at global scale based on adaptive parametric thresholding of Sentinel-1 intensity & coherence time series
Landscape Dynamics and Sustainability Assessment of Isolated Island Habitats (Zijin Mountain) on the Loess Plateau from 1975 to 2018
Aquistore project: ground deformation retrieved by InSAR during May 2012 - May 2013
On the Effect of Misregistration on Spatio-temporal Fusion
Agricultural monitoring using clustering techniques on satellite image time series of low spatial resolution
Evaluation of Ecological Environmental Quality based on Multi-Temporal Remote Sensing Data
Building Change Detection using Coherent and Incoherent Features from Multitemporal SAR Images
Mapping of grassland using seasonal statistics derived from multi-temporal satellite images
Multiset Kernel CCA for multitemporal image classification
Spatial relationships between natural resources and land use dynamics in the amazonian agricultural frontier
Multitemporal Sentinel-2 data - remarks and observations
Estimate yield at parcel level from S2 time serie in sub-Saharan smallholder farming systems
Joint Surface Reflectance and AeRosol properties retrieval in the PV-LAC framework, part II: Validation
Analysis of Min-Trees over Sentinel-1 Time Series for Flood Detection
9th International Workshop on the Analysis of Multitemporal Remote Sensing Images, MultiTemp 2017, Brugge, Belgium, June 27-29, 2017
The Monitoring and Dynamic Analysis for Otindag Sandy Land based on Object-Oriented Method
Improved crop classification using multitemporal RapidEye data
Land Surface Phenology from MODIS data in Germany
Retrospective analysis of long-term landscape evolution based on archive satellite imagery and historical maps
Temporal analysis of SAR imagery for permanent and evolving Earth land cover behavior assessment
Exploring the validity of the long term data record V4 database for land surface monitoring
Spatio-temporal evolution of crop fields in Sentinel-2 Satellite Image Time Series
A New Time Series Change Detection Method for Landsat Land use and Land Cover Change
Potential of Sentinel-2 and SPOT5 (Take5) time series for the estimation of grasslands biodiversity indices
Multitemporal Hyperspectral Image Change Detection by Joint Affinity and Convolutional Neural Networks
8th International Workshop on the Analysis of Multitemporal Remote Sensing Images, MultiTemp 2015, Annecy, France, July 22-24, 2015
Synthetic Aperture Radar Images Changes Detection based on Random Label Propagation
Unsupervised change detection from multitemporal multichannel SAR images based on stationary wavelet transform
Monitoring Artificial Surface Expansion in Ecological Redline Zones by Multi-Temporal VHR Images
Agricultural monitoring with polarimetric SAR time series
Identifying crops in smallholder farms using time series of WorldView-2 images
New MAIAC AOD Product Based High Resolution PM2.5 Spatial-Temporal Distribution Change at Urban Scale - Case Study of Wuhan
Filtering mislabeled data for improving time series classification
Alpine algorithms-time series of innovative remote sensing products for Alpine areas: Snow cover leaf area index and soil moisture
Superpixel-based change detection in high resolution sar images using region covariance features
Radiometric Quality Assessment of Multitemporal Optical Images in High Latitudes Considering Seasonal Influence
Robust glacier displacements using knowledge-based image matching
Temporal relationships between daily precipitation and NDVI time series in Mexico
Comparison of leaf area indices for grasslands within the Alpine upland based on multi-scale satellite data time series and radiation transfer modeling
Preliminary exploration of introducing spatial correlation information into the probabilistic patch-based similarity measure
CloudSim: A fair benchmark for comparison of methods for times series reconstruction from cloud and atmospheric contamination
Land-cover evolution class analysis in Image Time Series of Landsat and Sentinel-2 based on Latent Dirichlet Allocation
Exploiting satelitte image time series for monitoring ecological quality parameters of french reservoirs
Multivariate statistical modeling for multi-temporal SAR change detection using wavelet transforms
Building profile reconstruction using TerraSAR-X data time-series and tomographic techniques
Landscape features that prevent or foster urban sprawl
Small Scale Crater Detection based on Deep Learning with Multi-Temporal Samples of High-Resolution Images
Analysis of Riparian forest buffers dynamics in Colombian basins by Landsat Time Series
Change detection of coral reef habitats from multi-temporal and multi-source satellite imagery in Bunaken, Indonesia
Synergy of Satellite Image and Volunteered Geographic Information to Change Analysis of Impervious Surface
Near real-time tropical forest disturbance monitoring using Landsat time series and local expert monitoring data
Handling coherence measures of displacement field time series: Application to Greenland ice sheet glaciers
Circular change detection in image time series inspired by two-dimensional phase unwrapping
Application of multi-resolution remotely sensed imagery for the monitoring of land cover change
Multidisciplinary Approach to Industry Standards in the IT Higher Education Programs
Application of openEHR Platform for Data Exchange in Ophthalmology (short paper)
Data Performance Evaluation of Cloud Storage Providers
Implementation of Innovative e-Health Services and Digital Healthcare Ecosystem - Cross4all Project Summary
CVE (NVD) Ontology (short paper)
Proceedings of the Information Systems and Grid Technologies, Sofia, Bulgaria, May 27 - 28, 2022
IoT Security Issues (short paper)
Addressing Quality Issues in Secondary Use of Health Data
Conversion of Bulgarian Observational Data to OMOP Common Data Model: Initial Results
Technological Considerations on the Legal Regulation in the Use of Robotic Security Assistants
Harnessing the Power of Responsible Innovation: The Shift towards Human-centered Skills and Competences in AI Engineering
Visualization of Sensors' Data in Time Series Databases for Health Purposes
Tool for Automatic Annotation of Clinical Texts in Bulgarian - BGMedAnno
Ambient Assisted Living and Personal Health Records - Requirements and Challenges
Small Data and Data Centric AI: Case Study from the Master's Program in Artificial Intelligence at Sofia University
Health Data Exchange Based on Archetypes of Clinical Concepts
Innovative Information Technologies in Medicine, the Ethical Aspects - Medical Students' Opinion (short paper)
A Comparative Study of Methods for Scattered Data Interpolation Using Minimum Norm Networks and Quartic Triangular Bézier Surfaces
An Approach to Skid Detection Using Optical Flow and IMU Sensor (short paper)
Towards Competency Model in IS Education
Intelligent Urban Environment Lab Infrastructure Design (short paper)
New Families of Periodic Orbits for the Planar Three-Body Problem Computed with High Precision
Review of Service Robots' Deployment and Adoption in Integrated Urban Environments
Intellectual Property Protection: a Course Introduction (short paper)
Implementation of e-learning Platform for Increasing Digital Health Literacy as a Condition for Integration of e-health Services with PHR
Students' Covid-19 Digital Health Literacy at Faculty of Mathematics and Informatics, Sofia University "St. Kliment Ohridski" (short paper)
Stochastic Modelling for Coronavirus (COVID'19) Pandemic in Bulgaria
Towards Building an AI Curriculum for High School Students (short paper)
Using General-Purpose Instead of Domain-Specific Middleware Platforms for the Creation of an Ambient Assisted Living System
Parallel Data Encryption Based on Tinkerbell and Ikeda Chaotic Functions (short paper)
CVE (NVD) Ontology Generator
Predicting Bitcoin Volatility Using Machine Learning Algorithms and Blockchain Technology
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS
Verification of Neural Networks' Local Differential Classification Privacy
Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
Termination Resilience Static Analysis
Stabilizing Floating-Point Programs Using Provenance Analysis
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
SAT-Based Model Checking without Unrolling
Boolean Algebra of Shape Analysis Constraints
Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Are Cells Asynchronous Circuits? - (Invited Talk)
Detecting Non-cyclicity by Abstract Compilation into Boolean Functions
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
Action Refinement from a Logical Point of View
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
An Abstract Domain of Uninterpreted Functions
Result Invalidation for Incremental Modular Analyses
Automatic Inference of Heap Properties Exploiting Value Domains
Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking
On Application of Multi-Rooted Binary Decision Diagrams to Probabilistic Model Checking
Dynamic Reductions for Model Checking Concurrent Software
Formal Analysis of Message Passing - (Invited Talk)
Concurrent Correctness in Vector Space
Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata
Netter: Probabilistic, Stateful Network Models
Scalable Analysis of Linear Systems Using Mathematical Programming
A Cooperative Parallelization Approach for Property-Directed k-Induction
Cryptographic Protocol Analysis on Real C Code
Knockout Prediction for Reaction Networks with Partial Kinetic Information
Alternating Control Flow Reconstruction
Multi-valued Logics, Automata, Simulations, and Games
Unbounded Procedure Summaries from Bounded Environments
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Efficient Local Search for Nonlinear Real Arithmetic
Systematic Construction of Abstractions for Model-Checking
Lattice Automata
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing
A Pragmatic Approach to Stateful Partial Order Reduction
The Constraint Database Approach to Software Verification
Maximal Robust Neural Network Specifications via Oracle-Guided Numerical Optimization
Closure Operators for ROBDDs
Regular Symmetry Patterns
Distributed Markov Chains
Generic Combination of Heap and Value Analyses in Abstract Interpretation
A Hybrid Algorithm for LTL Games
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
Shape-Value Abstraction for Verifying Linearizability
Handling Parameterized Systems with Non-atomic Global Conditions
Model-Checking and Abstraction to the Aid of Parameterized Systems
Lifting Temporal Proofs through Abstractions
Synchronizability for Verification of Asynchronously Communicating Systems
Resource Usage Analysis for the pi -Calculus
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Out of Control: Reducing Probabilistic Models by Control-State Elimination
Model Checking Modal Transition Systems Using Kripke Structures
Automata-Theoretic Model Checking Revisited
Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
Synthesizing Environment Invariants for Modular Hardware Verification
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
Model Checking Polygonal Differential Inclusions Using Invariance Kernels
Regular Linear Temporal Logic with Past
Generation of Violation Witnesses by Under-Approximating Abstract Interpretation
Reachability in Multi-agent Transfer Systems
Shape Analysis of Single-Parent Heaps
A Method for Invariant Generation for Polynomial Continuous Systems
Satisfiability and Synthesis Modulo Oracles
Debugging Process Algebra Specifications
Compositional Verification of Stigmergic Collective Systems
Distributing and Parallelizing Non-canonical Loops
Probabilistic Automata for Safety LTL Specifications
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Two-Way Collaboration Between Flow and Proof in SPARK
Verifying Pufferfish Privacy in Hidden Markov Models
Rule-Based Runtime Verification
Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Decomposing Data Structure Commutativity Proofs with $m\!n$-Differencing
RGSep Action Inference
LLOR: Automated Repair of OpenMP Programs
Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
From Low-Level Pointers to High-Level Containers
Function Synthesis for Maximizing Model Counting
Weak Automata for the Linear Time µ-Calculus
Checking Herbrand Equalities and Beyond
Generalized Property-Directed Reachability for Hybrid Systems
Solving Constrained Horn Clauses over Algebraic Data Types
A Decidable Logic for Tree Data-Structures with Measurements
Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Abstraction-Based Computation of Reward Measures for Markov Automata
Complete Abstractions Everywhere
Mixed Transition Systems Revisited
Variations on the Stochastic Shortest Path Problem
Best Probabilistic Transformers
Static Analysis of Finite Precision Computations
Symmetry and Completeness in the Analysis of Parameterized Systems
A Real-Blasting Extension of cvc5 for Reasoning About Floating-Point Arithmetic
Information Flow Analysis for Java Bytecode
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs
Types for Evolving Communication in Safe Ambients
Modular Synthesis of Sketches Using Models
Correctness Witness Validation by Abstract Interpretation
A Refinement of the Escape Property
Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
Code Obfuscation Against Abstract Model Checking Attacks
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
A Formal Executable Semantics of PROMELA
Parameter Synthesis for Parametric Interval Markov Chains
Model Checking Information Flow in Reactive Systems
Complexity Bounds for the Verification of Real-Time Software
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
Abstraction of Syntax
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
Bit-Precise Reasoning via Int-Blasting
Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Synthesizing Non-Vacuous Systems
Verifying BDD Algorithms through Monadic Interpretation
Abstract Probabilistic Automata
Checking Interval Based Properties for Reactive Systems
Cascade 2.0
Assertion Checking Unified
Matching Multiplications in Bit-Vector Formulas
Automatic and Incremental Repair for Speculative Information Leaks
A Practical Algorithm for Structure Embedding
Temporal Reasoning for Procedural Programs
SAT-Based Synthesis Methods for Safety Specs
A Program Logic for C11 Memory Fences
Model-Checking the Linux Virtual File System
Constructing Quantified Invariants via Predicate Abstraction
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets
Totally Clairvoyant Scheduling with Relative Timing Constraints
GPURepair: Automated Repair of GPU Kernels
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Effect-Driven Flow Analysis
CosySEL: Improving SAT Solving Using Local Symmetries
Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth
An Experiment in Type Inference and Verification by Abstract Interpretation
Quantifying Information Leakage of Randomized Protocols
An Abstract Domain for Heap Commutativity
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
Weak Muller Acceptance Conditions for Tree Automata
Model Checking for Action Abstraction
Learning to Complement Büchi Automata
Combining Norms to Prove Termination
Formal Semantics and Verification of Network-Based Biocomputation Circuits
Verification of Gap-Order Constraint Abstractions of Counter Systems
Combining Shape Analyses by Intersecting Abstractions
Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible
Model Checking: Progress and Problems
Weakest Precondition Synthesis for Compiler Optimizations
Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
Security Types Preserving Compilation: (Extended Abstract)
Bisimulations for Neural Network Reduction
Automatically Enforcing Rust Trait Properties
An Analysis of Permutations in Arrays
Static Analysis of Communicating Processes Using Symbolic Transducers
Collections, Cardinalities, and Relations
Pointer Race Freedom