yusuke1997/dblp-id-title huggingface dataset:
Computing the number of rational points. Applications to AG Coding Theory
Cartesian Closed Categories of R-Posets
A Quantum Algorithm for Real Time Rendering
A Procedure for Max-SAT with DNA Strands
Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005
On Cobweb Admissible Sequences - The Production Theorem
Tight Bound for Matching
Optimal Tradeoff
Procedures for multiplication and division in DNA computing
Formal and Efficient Enforcement of Security Policies
VLSI Layout of Benes Networks
A Unifying Model of Concurrent Processes
Study on Typical Load Pattern in Power System and Bad Data Processing
Parameter Selection for Fast Computation of Pi(x)
Algorithm for Finding a Nash Equilibrium of a Two-Player Game in the Strategic Form Using Convex Hull
An Efficient Method for Finding Square Roots for Elliptic Curves over OEF
Finding Longest Common Increasing Subsequence for Two Different Scenarios of Non-random Input Sequences
Meeting the Needs of Today's Traffic in Networks by Differentiated Delivery
An Application of Pansystems Methodology to Path's Searching Problem Solving
A Simple Multi-Secret Sharing Scheme to Achieve Both Optimal Improvement Ratios
Operation Expression: a Way to Verified Software
Finding Dense Subgraphs Efficiently
Complexity of the Game of Sprouts
Efficient Searching Algorithms for Multi-Dimensional Space Data Using Hilbert Space-Filling Curves
Algorithmic Control in Concurrent Computations
Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA
On-line Ranking Algorithms for Trees
A Methodology for the Construction of Generating Functions and its Application to Bessel Functions
Prose as a Model of Computation
Rough Set Approximation and Rough Set Attribute Reduction Based on Pansystems Topology
Nature Inspired Arithmetic in Speed Independent Circuit
The Sorites Paradox from the View of Pansystems
Batman - The Dark Knight: A Game Theoretical Approach
Pansystems Relativity: Vitality, Intelligence and Computer
A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques
Naming and its Regularities in Distributed Environments
Pansystems Extremum: Scales, Approximation, Equivalence and 0**-Theorems
Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas, Nevada, USA
Development of a Scheduler for Hard Real-time Emergency Medical Systems over Networked Space in a Process Algebra
A Rough Set Model of Binary Relation Based on Product and Pansystems
A Mass Formula for Cyclic Self-Orthogonal Codes
Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs
Research of Decision Rule in Rough Sets Based on Pansystems View
Proceedings of the 2006 International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, June 26-29, 2006
The Constrained Greedy Algorithm
Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency
Hamiltonian-Connectivity and Related Property on Folded Hypercubes
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes
Procedures for Floating Point Operations with DNA Molecules
Some Existence and Preservation Results for Optimal Fixpoints
FastPCMSA: An Improved Parallel Algorithm for the Constrained Multiple Sequence Alignment Problem
Proceedings of the 2008 International Conference on Foundations of Computer Science, FCS 2008, July 14-17, 2008, Las Vegas, Nevada, USA
A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix
Combinatorial Block Designs for Quantum Computing Problems
Dictionary Operations in Membrane Computing
Disjoint Cycles and Chorded Cycles in Graphs
A Clause-Based Reduction from k-SAT to CLIQUE
Application of braid groups for information processing
Finding Two Disjoint Paths in a Network with MinSum-MinMin Objective Function
Superrecursive Hierarchies of Algorithmic Problems
An Infinite Class of Non-Hamiltonian Voronoi Duals Based on Regular Polygons
Nondeterministic and postselection quantum query algorithms
Cryptographic and Computational Challenges in Grid Computing
The PanWeighted System And Its Panweight Reduction In Pansystems Theory
Why Brouwer Was Justified in his Objection to Hilbert's Unqualified Interpretation of Quantification
Size of Nondeterministic and Deterministic Automata for Certain Languages
Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees
The Representational Power of Conjunctive Normal Form
Nonlinear Optimization Algorithms for Hybrid Controller Design of Switched Systems
Discovering the Impact of Group Structure on 3-SAT
A Simple O(2 sqrt(x) ) Algorithm for Partition and Subset Sum
Using Model Checking for Decision Making in Computer Games
Understanding Quantum Networking: Where Are We and What Can We Expect?
A Unified Apporach to Data Representation
From Sequential Processes to Grid Computation
Single Tape Deterministic Turing Machine of Routing Algorithms Designed for Torus Network
New Approach To A Class Of Matrices
Swarming - A Classical Analog of Hardy's Quantum Gravity Computational Paradigm
Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates
The Potential Disotrtion of Bayesian Reasoning
Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model
The Insert Taxis Based on Pansystems Topology
Decomposing a Partially Ordered Set into Chains
Optimal Algorithms for the Segment Location Problem with Range Constraints on Length and Average
A Theory of Distributed Systems
A Theoretical Study of Parallel Voronoi Diagram
Optimal Control Solution to Nonlinear Causal Operator Systems with Target State
The Majority Rule and String-and-Spinner Implementation of Logic Gates
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker
Improving Radix Sort Best Case Runtime
Pansystems Exploration: A Transfield Internet-like Approach
Enumerating Circuits and Loops in Graphs with Self-Arcs and Multiple-Arcs
Application of Pansystems Theory in Operating Systems
A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation
High Noisy Cell Image Segmentation Using Regional Template
Pansystems Extremum Theorems: Cybernetics
Design and Implementation of a Taxi Intelligent Service System
The Review of Task Scheduling in Cloud Computing
Identification of Certain Shrapnel's Air Resistance Coefficient in Plateau Environment Based on CK Method
A Combinatory Framework of Geographic Information Services Integration Based on OWL-S
Development of the Management System of the National Sustainable Development Experimentation Areas
A Decision Tree Classification Method Combining Intensity and RGB Value for LiDAR Data
Establishment of Chlorophyll-a Concentration Distribution Model in Dahuofang Reservoir Based on HJ-1 Satellite
The Application of the Sensor Model Language in the HeiHe Watershed Allied Telemetry Experimental Research
Spatiotemporal Assessment of Water Quality of River Ndakotsu in Lapai, Nigeria
Inter-annual Above-Ground Biomass Dynamics by Differential Association Model with Remotely Sensed Data in Xilingol River Basin, Inner Mongolia, China
Towards Open Source Remote Sensing Software - A Survey
Assessing Governance Issues of Underground Utility As-Built Records
A Cartographic Labeling Method in Chinese Characters
GIS in Seismic Hazard Assessment of Shillong Region, India
Research Progress on Coupling Relationship Between Carbon and Water of Ecosystem in Arid Area
Research on Hot Topic Discovery Technology of Micro-blog Based on Biterm Topic Model
Evaluation on Regional Competitiveness of Wuhan Modern Service Industry in the Comparative Perspective: Based on 15 Vice-Provincial Cities' Crosswise Comparison
Research on the Capture Effect for RFID Tag Anti-Collision Algorithm
New Tone-Mapped Image Quality Assessment Method Based on Color Space
Medical Insurance Data Mining Using SPAM Algorithm
A City's Composite Foundation Building Land Suitability Evaluation
Principle and Error Analysis of Doppler Acoustic Omni-directional Beacon
Research on GNSS Multi-system Relative Positioning Algorithm
Modelling the Risk of Highly Pathogenic Avian Influenza H5N1 in Wild Birds and Poultry of China
Principal Component Analysis of Building Cluster Factors
Research on the Description Method of the Atomic Services in Extensible Network Service Model
Assessment of Heavy Metal Pollution in Surface Soils of Hankou Region in Wuhan, China
Research on Regional Environmental Pollution Analysis Technology Based on Atmospheric Numerical Model in Shenyang City
Comprehensive Evaluation of Cultivated Land Quality Based on GIS in Tumote Right Banner of Inner Mongolia Autonomous Region
Synergetic Analysis and Assessment Study on Vital Area of Chengdu Plain Farmland Resource System
Spatial-Temporal Monitoring of Urban Growth: A Case in Kunming, Southwest China
Monitoring Urban Expansion and Morphology Changes of Tangshan by Using Remote Sensing
Study on Recognition and Management of Cartographic Topology Preprocessing Mode
Assessment of Terrestrial Ecosystem Health in the Yellow River Basin
Research on Assessment Method of Winter Wheat Water Use Efficiency Based on ET and Biomass with Remote Sensing
The Spatial Effect Identification of Regional Carbon Intensity and Energy Consumption Intensity of China
Forest Fire Risk Mapping Based on Spatial Logistic Model of Northeastern China Forest Zone
Effect of Landform in Loess Hilly-Gully Region on the Dynamic Change of Land Use in Qingyang City
Research on Heat and Humidity Transfer Performance Evaluation of Spraying Mine Exhaust Air Heat Exchanger
Typical Feature Scattering Analysis and Classification in Karst Mountain Plateau Based on Radarsat-2
The Regionalization of Eco-Geological Environment System and Brief Function Evaluation of Luoyang City
Design of Security and Monitoring System for Prison Based on Wireless Sensor Networks
Visual Analysis Research of Traffic Jam Based on Flow Data
A Self-adjusting Node Deployment Algorithm for Wireless Sensor Network
Similarities and Differences of Oceanic Primary Productivity Product Estimated by Three Models Based on MODIS for the Open South China Sea
Study over Cerebellum Prediction Model During Hand Tracking
Correlation Analysis of the Four Photo Themes in Five Layers
Delay-Constrained Least-Energy-Consumption Multicast Routing Based on Heuristic Genetic Algorithm in Unreliable Wireless Networks
Web-Based Remote Sensing Image Processing Tools - A Study of Change Detection Using Landsat Imagery
High-Precision Dynamic Deformation Monitoring Model of GPS/Pseudolites Integrated System
Research on Meteorological Application Oriented Vectorization of Raster Datasets
Application of Computer Simulation in Interference Assessment Between Satellite Systems
Analysis and Calculation of Ecological Footprint in Shaanxi Province from 2000 to 2010
Face Feature Points Detection Based on Adaboost and AAM
The Detection System Based on Machine Vision for the Process of Book Binding
Comparison of Four Models on Forest above Ground Biomass Estimation Based on Remote Sensing
Algorithm of Trawler Fishing Effort Extraction Based on BeiDou Vessel Monitoring System Data
Unclear Norm Minimization and Weighted Sparse Reconstruction Cost for Crowd Abnormal Detection
Landscape Pattern Changes of Coastal Wetland in Nansha District of Guangzhou City in Recent 20 Years
An Energy Efficient and Secure Data Aggregation Method for WSNs Based on Dynamic Set
A Markov-Kalman Model of Land-Use Change Prediction in XiuHe Basin, China
New Reduced-Reference Stereo Image Quality Assessment Model for 3D Visual Communication
The Remote Sensing Identification of Marine Oil Spill Based on Oil Fingerprinting
Spatial Estimation of Mean Annual Precipitation (1951-2012) in Mainland China Based on Collaborative Kriging Interpolation
Research on System Simulation Technology for Joint Prevention and Control of Environmental Assessment Based on C4ISRE
The Design and Development of Object-Oriented UAV Image Change Detection System
Research on Collision Risk Model in Free Flight Based on Position Error
Research on the Impact of China's 'Independent Innovation Policy' on Patent Licensing's Geographical Evolution in Strategic Emerging Industries
A Least-Squares Ellipse Fitting Method Based on Boundary
Ground Subsidence Monitoring in Cheng Du Plain Using DInSAR SBAS Algorithm
Retrieval of Atmospheric Aerosol Optical Depth with an Improved Algorithm Over East China Sea
Research on Matrix Multiplication Based on the Combination of OpenACC and CUDA
Modeling the Avian Influenza H5N1 Virus Infection in Human and Analyzing Its Evolution
Primary Research on Geo-Informatic Tupu for Crime Spatio-Temporal Analysis
The Application of Spatial Information Technology Based on VR for the River Shoreline Resource Management
GIS Spatial Data Updating Algorithm Based on Digital Watermarking Technology
Energy Prediction Model Based on Kernel Partial Least Squares for Energy Harvesting Wireless Sensor Network
Research on PM2.5 Concentration in Shenyang Based on MODIS Data
Study on Burial History and Mesozoic Hydrocarbon Accumulation of Sugan Lake Depression on the Northern Margin of Qaidam Basin
Carbon Dynamics of Pinus Massoniana Plantations Following a Thinning Treatment 5 Years and 10 Years Before
Design and Application of Green Building Based on BIM
MMS-IU Model for Incremental Update of Spatial Database
A Dynamic Switching Technique for Virtual Network in SDN Environment
Searching for Spatio-temporal Similar Trajectories on Road Networks Using Network Voronoi Diagram
Spaceborne Multispectral Image Compression by Exploiting Temporal Correlation
A Novel Approach to Extracting Posts Qualification from Internet
Surface Features Classification of Airborne Lidar Data Based on TerraScan
Estimation of Tobacco Yield Based on the Radarsat-2 in Karst Mountainous Area
Overview of Speed Sensorless Control of Permanent Magnet Synchronous Motors
A Novel Quality Detection Approach for Non-mark Printing Image
Geographical Situation Monitoring Applications Based on MiniSAR
Building Geospatial Health Applications from the EASTWeb Framework
Automatically Construct the Surface Visualization Model with DEM and the Geological Survey Data
Environmental Sustainability Assessment for Countries Involved in OBOR Initiatives Based on Planetary Boundary Theory
Studying on Denoising of Chaotic Signal Using ICA and EMD
Eco-environment Assessment in Gannan Former Central Soviet Area - A Case Study in Ruijin City
Research and Application of Three-Dimensional Simulation Technology on Virtual Display of Skirt
A Design of UAV Multi-lens Camera System for 3D Reconstruction During Emergency Response
Estimating Gas Source Location Based on Distributed Adaptive Deflection Projected Subgradient Method
Research on Land Use-Cover Change of Wuhan City Based on Remote Sensing and GIS
Spatial Distribution Analysis of Chinese Soccer Players' Birthplaces
The Design and Implementation of Field Patrol Inspection System Based on GPS-Tablet PC
On Merging Business Process Management and Geographic Information Systems: Modeling and Execution of Ecological Concerns in Processes
A New Spatial Interpolation Approach Based on Inverse Distance Weighting: Case Study from Interpolating Soil Properties
A Comparison of Different Methods for Studying Vegetation Phenology in Central Asia
Finger-Screen Interaction Mechanism on 3D Virtual Globe for Mobile Terminals
The Design of a Collaborative Social Network for Watershed Science
Evaluation of the Urban Land Intensive Use and It's Regional Differences in Shaanxi Province Based on GIS
Analysis and Comparison of Uncertain Means Clustering Algorithm
A Kind of Vibratory Isolation Algorithms Based on Neural Network
A Novel Approach for Computing Inverse Relations of Basic Cardinal Direction Relations
A Nearest-Neighbor Delta Compression Method for GML Spatial Data
Proposal for Spatial Analysis in Web Mapping Applications. Computational Implementation
Erratum: The Discrimination of Cloud Using the Data of Calipso Based on SVM Method
Microwave Staring Correlated Imaging and Resolution Analysis
Comparison of Different Remote Sensing Monitoring Methods for Land-Use Classification in Yunnan Plateau Lake Area
Research on Soil Heat Balance Theory of Ground Coupled Heat Pump System
A Hybrid Parallel Computing Model to Support Scalable Processing of Big Oceanographic Spatial Data
Hyperspectral Satellite Remote Sensing of Dust Aerosol Based on SVD Method
Research of Data Resource Management Platform in Smart City
Open Source Point Process Modeling of Earthquake
Research on ICS Intrusion Success Rate Algorithm Based on Attack and Defense Countermeasures
An Emergency-Response Timing Constraint Workflow Model
A Novel Framework for Analyzing Overlapping Community Evolution in Dynamic Social Networks
Research on the Fast Parallel Recomputing for Parallel Digital Terrain Analysis
Visibility Analysis of Core Urban Landscape Based on Grasshopper
Spatio-temporal Analysis of Weibo Check-in Data Based on Spatial Data Warehouse
Research on Full-polarimetric Radar Interference Image Classification
GNSS Investigation in the Early Stage of the Three Gorges Project on the Yangtze River
Assessment of Flood Hazard Based on Underlying Surface Change by Using GIS and Analytic Hierarchy Process
Geoinformatics in Mapping of Fog-Affected Areas over Northern India and Development of Ion Based Fog Dispersion Technique
Parallelization of the Kriging Algorithm in Stochastic Simulation with GPU Accelerators
Analysis of Transmission Line's Scattering Characteristics in High Resolution Radar Satelite Image
Assessment of Wavelet Base Based on Analytic Hierarchy Process in Remote Sensing Image De-noising
Urban Feature Extraction and Terrain Build with Large Scale Topographic Databases
Three Dimensional Scene Modeling Based on SketchUp, Tiling and ArcGIS
Spatial Database Design and Realization of the HuaiHe Detention Basin in HeNan Province
The Chlorine Pollution Mechanism of Groundwater in Jiaozuo Area
The Utilization Status Research of Clay Resources Using RS and GIS, in Shanghai Area
A Genetic-Algorithm-Based Optimized AODV Routing Protocol
Spatial Distribution and Source Identification of Loess Heavy Metal Pollution in Northern Baoji, China
Emergy Analysis of Agricultural Eco-economic - A Case Study of Haidong Region of Qinghai Province
A Time-Frequency Algorithm for Noisy ICA
An Improved Algorithm for Video Abstract
Monitoring and Analyzing of Poyang Lake Wetland Land Use Change Based on RS and GIS
K-Means Optimization Algorithm Based on Tightness Mutation
Scale-Free Model in Software Engineering: A New Design Method
The Design and Implementation of Geographic Information Storage System Based on the Cloud Platform
Gross Error Elimination of ICESat/GLAS Data in Typical Land Areas
Winter Wheat Leaf Area Index (LAI) Inversion Combining with HJ-1/CCD1 and GF-1/WFV1 Data
Study on Spatial-Temporal Feature of Natural Disasters in Qinghai Province Based on GIS
Monitoring Soil Moisture in Typical North China Region Using Modified Perpendicular Drought Index and MODIS Satellite Data
A Heterogeneous Web Service Integration Method Based on Middleware
An Approach for Geospatial Data Organization and Management Based on Multi-grid Model
Forecasting for the Risk of Transmission Line Galloping Trip Based on BP Neural Network
Research on Data Calibration Model for the Working State Detection About Traffic Sound Barrier
Geoinformatics Production for Urban Disasters Risk Reduction: A Zero Cost Solution
Efficient Geographical Diversification of Export Trade: The Case Study of China
Renewable Energy Challenges and Opportunities: Geospatial and Qualitative Analysis of Southern California
Study on Spatial Data Acquisition and Processing Based on Vehicle-Mounted Mobile Measurement System
Designing Baiguo Landslide Disaster Monitoring and Pre-warning System Based on GIS
A Preliminary Research on Incident Chain Modeling and Analysis
Accelerated Extraction Technology Research on Damaged Building Information by Earthquake Based on LiDAR Image
Leaf Area Index Estimation of Winter Pepper Based on Canopy Spectral Data and Simulated Bands of Satellite
Construction Land Layout in Qi River Ecological District of Hebi City Based on GIS
Variable Weight Based Clustering Approach for Load Balancing in Wireless Sensor Networks
Research of Regional Real Estate Early Warning Based on Spatial Regression
Dyna-CLUE Model Improvement Based on Exponential Smoothing Method and Land Use Dynamic Simulation
Analysis of Spatiotemporal Characteristics of Drought and Flood in the Haihe River Basin from 1965 to 2015
Suspended Sediment Concentration Distribution of Xiamen Sea Areas in China Based on Remote Sensing Analysis
Spatial Prediction of Soil Organic Matter Using Bayesian Maximum Entropy with Histogram Soft Data
Comparison of the Inversion Methods for Probability Integral Parameters
Analysis of MODIS Satellite Thermal Infrared Information Before and After M S 6.5 Ludian Earthquake
A Features Fusion Method for Sleep Stage Classification Using EEG and EMG
Estimation of Fishing Vessel Numbers Close to the Terminator in the Pacific Northwest Using OLS/DMSP Data
Design and Implementation of Digital Measurable Image Management Platform
An Automated 3D Approach for Buildings Reconstruction from Airborne Laser Scanning Data
Red Preserving Algorithm for Underwater Imaging
Metadata Management of Models for Resources and Environment Based on Web 2.0 Technology
Identification and Characterization of Geological Hazards in a Coal Mining Area Using Remote Sensing
Saliency Detection for High Dynamic Range Images via Global and Local Cues
Using Fuzzy Synthetic Evaluation in Site Selection of Post-earthquake Reconstruction Based on Remotely Sensed Imagery and Geographic Information
Research on the Algorithm of Converting Files Generated by CALPOST to AVS/Express Platform
A Spatial SQL Based on SparkSQL
The Identification to the Palm Color Spots Based on Improved HSV Model
Simulation of Urban Land Development Based on Multi-agent System and GIS Technology
Watershed-Scale Phosphorus Balance Evaluation Using a Mass Balance Method
The Application of Base State with Amendments Model in Land Survey Data Management
The Discrimination of Cloud Using the Data of Calipso Based on SVM Method
Study on Relationship Between Filling Rate and Ground Settlement in Strip Mining
Remote Sensing Image Classification Based on SVM and Object Semantic
Extracting Tempo-Spatial Features of Paddy Rice Using Time-Series MOD09A1-A Case Study in Hunan, China
Car-Based Laser Scanning System of Ancient Architecture Visual Modeling
Remote Sensing Image Mosaic by Incorporating Segmentation and the Shortest Path
Multi-mode Control Strategy for Dual Active Bridge Bidirectional DC-DC Converters
Deep Convolution Neural Network Recognition Algorithm Based on Maximum Scatter Difference Criterion
A Study on Curve Simplification Method Combining Douglas-Peucker with Li-Openshaw
Study on the Selection and Moving Model of the Poverty Alleviation and Resettlement in the Typical Karst Mountain Area - - A Case Study of Pan County in Guizhou Province
The Influencing Factors of Biochar's Characteristics and the Development of Carbonization Equipments: A Review
Area Constrained Space Information Flow
Correlation Analysis of Extraction Mechanism of Remote Sensing Anomaly with Mineralization and Ore-Controlling-Illustrated by the Case of Qimantage Area, Qinghai Province
Extraction Method of Remote Sensing Alteration Anomaly Information Based on Principal Component Analysis
Effect of Expansion of Urban Region on Soil Animals in Farmland Ecosystem: A Case in Shenbei New District in Shenyang City, Liaoning Province
Study on the Application of GIS in Comprehensive Risk Assessment of Hazardous Chemical Plants
Research and Implementation of Smoke Diffusion Parallel Rendering Based on Memory Mapping and Billboard
The Spatial-temporal Distribution of Precipitation in Northwest China (1960-2008)
Guangxi Longtan Reservoir Earthquakes S-Wave Splitting
Land Use/Cover Change and Its Impact on Net Primary Productivity in Huangfuchuan Watershed Temperate Grassland, China