yusuke1997/dblp-id-title huggingface dataset:
SESPOOL, A Language for Systems Programming
Generative and accumulative recursion made fun for beginners
Implementing a performant scheme interpreter for the web in asm.js
Binding Strategies and Scope Rules Are Independent
Special issue on Trends in Functional Programming 2013/14
Multiple dispatch in reflective runtime environment
Symbolic execution based on language transformation
Special issue on Flexible Model Driven Engineering
A Practical Minimum Distance Method for Syntax Error Handling
C++: Solving C's Shortcomings?
Preference Logic Grammars
Structuring Conversation in Operation/Procedure Oriented Programming Languages
Polymorphic Type-Checking in Scheme
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review
Nesting analysis of mobile ambients
Incremental Recursive Descent Parsing
GRAS: A General Framework for Combining Automatic Code Generation and Register Allocation
Program Separation and Definitional Higher Order Programming
Language components for modular DSLs using traits
The abstract domain of Trapezoid Step Functions
Design of a Graphics Interface for Computer-Based Biomedical Applications
Semantic Specification Using Two-Level Grammars: Blocks, Procedures and Parameters
Systematic mapping study of template-based code generation
Parallel Programming: An Axiomatic Approach
Editorial of Special Issue Trends in Functional Programming 2011/12
Model-driven engineering: A survey supported by the unified conceptual model
Security types preserving compilation
Transactional memory in a dynamic language
A process-oriented modeling approach for graphical development of mobile business apps
Improving performance through deep value profiling and specialization with code transformation
Computer languages and security
Relating Data-Parallelism and (and-) Parallelism in Logic Programs
Optimizing Structural Recursion in Functional Programs
A Portable Syntax Analyzer for Microcomputers
On the prediction of reduction goals: a deterministic approach
Static Checking of Variable Handling in Dijkstra's Guarded Commands Language
A finest partitioning algorithm for attribute grammars
Design and implementation of DeepDSL: A DSL for deep learning
Specification and Testing of Abstract Data Types
Formal specification and integration of distributed security policies
Implementing design patterns as parametric aspects using ParaAJ: The case of the singleton, observer, and decorator design patterns
Testing and Verification Aspects of Pascal-Like Languages
Evolutionary robust optimization for software product line scoping: An explorative study
On minimizing register usage of linearly scheduled algorithms with uniform dependencies
Editorial: Smalltalk Language
Transforming XSLT stylesheets into XQuery expressions and vice versa
On Context-Free Programmed Grammars
Mapping stream programs onto multicore platforms by local search and genetic algorithm
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies
Language Features for Prototyping and Simulation Support of the Software Life Cycle
Inter-Entry Selection Control Mechanisms: Implementation and Evaluation
Programming with event loops and control loops - From actors to agents
LAILA: a language for coordinating abductive reasoning among logic agents
Core FOBS: A hybrid functional and object-oriented language
HUHU: The Hebrew University Hebrew Understander
Information flow for Algol-like languages
Access Enhancement Objects for data management in Smalltalk
Formal Semantics of Visual Occam
Attributed and n-ary relations in OWL for knowledge modeling
Efficient determinization of visibly and height-deterministic pushdown automata
CASL: A rapid-prototyping language for modern micro-architectures
Reducing memory space consumption through dataflow analysis
Security boundaries in mobile ambients
A scalable model based approach for data model evolution: Application to space missions data models
NP-SPEC: an executable specification language for solving all problems in NP
Concurrency in Ada and Multicomputers
Case Study: The Paisley Approach Applied to Its Own Software Tools
Delving source code with formal concept analysis
Logical Programming for the Telegram Analysis Problem
Supercombinator set acquired from context-free grammar samples
Very High-Level Language Design: A Viewpoint
SIMPLE: A Program Development System
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Register Allocation Via Coloring
An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus
Program Complexity Using Hierarchical Abstract Computers
Special issue on quality in Model-Driven Engineering
I+: A Multiparadigm Language for Object-Oriented Declarative Programming
A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems
A domain-specific language for model mutation and its application to the automated generation of exercises
Computationally Extended Logic Programming
Flexary connectives in Mizar
Skeleton-based parallel programming: Functional and parallel semantics in a single shot
Supporting Control Definition in Programming Languages
The Green language
Modeling the Ada Task System by Petri Nets
Achieving model quality through model validation, verification and exploration
Customizing a functional programming language for web development
An Algebraic Model for Programming Languages
Visual temporal logic as a rapid prototyping tool
Over-exposed classes in Java: An empirical study
Employing symmetry reductions in model checking
Choosing an Implementation Language for Automatic Translation
Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE)
A minimalist approach to objects
Evaluating Inlining Techniques
A Programming Language Engineered for Beginners
Abstracting Timed Preemption with Engines
Pointers and Data Abstractions in High Level Languages - I: Language Proposals
Mechanizing Bankers' Morality
Structured Program Lookahead
Argos: an automaton-based synchronous language
Time-Based Operators for Relational Algebra Query Languages
Model driven approach for real-time requirement analysis of multi-agent systems
Language-independent detection of object-oriented design patterns
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
The intelligent memory allocator selector
Query generation for retrieving data from distributed semistructured documents using a metadata interface
Simulating multiple inheritance and generics in Java
State inference for dynamically changing interfaces
Efficient reconfigurable embedded parsers
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
DSML4CP: A Domain-specific Modeling Language for Concurrent Programming
Real-Time Constraints in a Rapid Prototyping Language
Generic operations and capabilities in the JR concurrent programming language
VRPDiv: A Divide and Conquer Framework for Large Vehicle Routing Problems
A New Approach for Pedestrian Density Estimation Using Moving Sensors and Computer Vision
Semi-supervised Trajectory Understanding with POI Attention for End-to-End Trip Recommendation
Introduction to the Special Issue on Contact Tracing
Introduction to the Special Issue on Vision Papers
Understanding the Operational Dynamics of Mobility Service Providers: A Case of Uber
Analyzing and Predicting Spatial Crime Distribution Using Crowdsourced and Open Data
TerraNNI: Natural Neighbor Interpolation on 2D and 3D Grids Using a GPU
To Buy or Not to Buy: Computing Value of Spatiotemporal Information
Utilizing External Knowledge to Enhance Location Prediction for Twitter/X Users in Low Resource Settings
Tetrahedral Trees: A Family of Hierarchical Spatial Indexes for Tetrahedral Meshes
SARDINE: A Self-Adaptive Recurrent Deep Incremental Network Model for Spatio-Temporal Prediction of Remote Sensing Data
Congestion-Aware Ride-Sharing
COVID-19 Along with Other Chest Infection Diagnoses Using Faster R-CNN and Generative Adversarial Network
Riso-Tree: An Efficient and Scalable Index for Spatial Entities in Graph Database Management Systems
Turbo-GTS: A Fast Framework of Optimizing Task Throughput for Large-Scale Mobile Crowdsourcing
On the Opportunities and Challenges of Foundation Models for GeoAI (Vision Paper)
Deformation Gated Recurrent Network for Lane-level Abnormal Driving Behavior Recognition
Effect of Migrant Labourer Inflow on the Early Spread of Covid-19 in Odisha: A Case Study
Regionalization-Based Collaborative Filtering: Harnessing Geographical Information in Recommenders
Deep Spatial Prediction via Heterogeneous Multi-source Self-supervision
Privacy-Aware Dynamic Ride Sharing
Multirow Boundary-Labeling Algorithms for Panorama Images
Efficient Scheduling of Generalized Group Trips in Road Networks
Application of Kalman Filter to Large-scale Geospatial Data: Modeling Population Dynamics
A Square Equal-Area Map Projection with Low Angular Distortion, Minimal Cusps, and Closed-Form Solutions
Spatial Partition-Based Particle Filtering for Data Assimilation in Wildfire Spread Simulation
From Rocks to Pebbles: Smoothing Spatiotemporal Data Streams in an Overlay of Sensors
An Efficient External Memory Algorithm for Terrain Viewshed Computation
Efficient Geo-Fencing via Hybrid Hashing: A Combination of Bucket Selection and In-Bucket Binary Search
HTF: Homogeneous Tree Framework for Differentially Private Release of Large Geospatial Datasets with Self-tuning Structure Height
A Spatially-Aware Data-Driven Approach to Automatically Geocoding Non-Gazetteer Place Names
CityLightSense: A Participatory Sensing-based System for Monitoring and Mapping of Illumination levels
Efficient Computation of the Optimal Accessible Location for a Group of Mobile Agents
Introduction to the Special Issue on the Best Papers from the 2017 ACM SIGSPATIAL Conference
Causal Probabilistic Spatio-Temporal Fusion Transformers in Two-Sided Ride-Hailing Markets
An Algorithm for Road Closure Detection from Vehicle Probe Data
Editorial: Special Issue on the Best Papers from the 2018 ACM SIGSPATIAL Conference
Generating Realistic Ride-Hailing Datasets Using GANs
Scalable Spatio-temporal Top-k Interaction Queries on Dynamic Communities
Editorial: Special Issue on the Best Papers from the 2021 ACM SIGSPATIAL Conference
On Computing the Time-varying Distance between Moving Bodies
Understanding Metropolitan Crowd Mobility via Mobile Cellular Accessing Data
SWARM: Adaptive Load Balancing in Distributed Streaming Systems for Big Spatial Data
Spatio-Temporal Matching for Urban Transportation Applications
Weighted Aggregate Reverse Rank Queries
IP Geolocation through Geographic Clicks
A Review of Bayesian Networks for Spatial Data
Introduction to the Special Issue on Machine Learning and Location Data
A Grid-Based Two-Stage Parallel Matching Framework for Bi-Objective Euclidean Traveling Salesman Problem
The Impact of Stationarity, Regularity, and Context on the Predictability of Individual Human Mobility
GloBiMapsAI: An AI-Enhanced Probabilistic Data Structure for Global Raster Datasets
Personalized Travel Time Prediction Using a Small Number of Probe Vehicles
Privacy- and Context-aware Release of Trajectory Data
Snap Rounding with Restore: An Algorithm for Producing Robust Geometric Datasets
A High-resolution Global-scale Model for COVID-19 Infection Rate
Detecting Deviations from Intended Routes Using Vehicular GPS Tracks
FoodMatch: Batching and Matching for Food Delivery in Dynamic Road Networks
Multiple-level Point Embedding for Solving Human Trajectory Imputation with Prediction
Tilewise Accumulated Cost Surface Computation with Graphics Processing Units
COVID-19 and Minimizing Micro-Spatial Interactions
Protecting Against Velocity-Based, Proximity-Based, and External Event Attacks in Location-Centric Social Networks
Introduction to the Special Issue on Machine Learning and Location Data: Part II
Geography and Routing in the Internet
Contrast Pattern Mining in Paired Multivariate Time Series of a Controlled Driving Behavior Experiment
Bayesian Surface Warping Approach for Rectifying Geological Boundaries Using Displacement Likelihood and Evidence from Geochemical Assays
2D Vector Map Fragile Watermarking with Region Location
Introduction to the Special Issue on Urban Mobility: Algorithms and Systems
TDEFSI: Theory-guided Deep Learning-based Epidemic Forecasting with Synthetic Information
Spatial Computing Opportunities in Biomedical Decision Support: The Atlas-EHR Vision
Deep Learning for Enrichment of Vector Spatial Databases: Application to Highway Interchange
Automatic Deep Inference of Procedural Cities from Global-scale Spatial Data
Differentiating Population Spatial Behavior Using Representative Features of Geospatial Mobility (ReFGeM)
Robust Path Matching and Anomalous Route Detection Using Posterior Weighted Graphs
Utilization of Real Time Behavior and Geographical Attraction for Location Recommendation
Towards Effective, Robust and Utility-preserving Watermarking of GPS Trajectories
Fast Computation of Clustered Many-to-many Shortest Paths and Its Application to Map Matching
Stepping Stone Graph: A Graph for Finding Movement Corridors using Sparse Trajectories
Efficient Visibility Determination in Urban Scenes Considering Terrain Information
Disk-Based Indexing of Recent Trajectories
Symbolic Trajectories
Backbone Index and GNN Models for Skyline Path Query Evaluation over Multi-cost Road Networks
SIRTEM: Spatially Informed Rapid Testing for Epidemic Modeling and Response to COVID-19
Let's Speak Trajectories: A Vision to Use NLP Models for Trajectory Analysis Tasks
A Practical Index Structure Supporting Fréchet Proximity Queries among Trajectories
Static and Dynamic Progressive Geospatial Interlinking
Predicting Spatio-Temporal Phenomena of Mobile Resources in Sensor Cloud Infrastructure
Analyzing the Impact of COVID-19 Control Policies on Campus Occupancy and Mobility via WiFi Sensing
Processing Continuous k Nearest Neighbor Queries in Obstructed Space with Voronoi Diagrams
Using Deep Learning for Big Spatial Data Partitioning
Introduction to the Special Issue on Deep Learning for Spatial Algorithms and Systems
Intelligent Intersection: Two-stream Convolutional Networks for Real-time Near-accident Detection in Traffic Video
Toward Accurate Spatiotemporal COVID-19 Risk Scores Using High-Resolution Real-World Mobility Data
Personalized Group Recommender Systems for Location- and Event-Based Social Networks
A Server-Assigned Spatial Crowdsourcing Framework
Dynamic Straggler Mitigation for Large-Scale Spatial Simulations
Enhanced Indexing and Querying of Trajectories in Road Networks via String Algorithms
Bicriteria Shapes: Hierarchical Grouping and Aggregation of Polygons with an Efficient Graph-Cut Approach
Indoor Quality-of-position Visual Assessment Using Crowdsourced Fingerprint Maps
Estimating People Flow from Spatiotemporal Population Data via Collective Graphical Mixture Models
Graph Sampling for Map Comparison
Adaptive Joint Spatio-Temporal Graph Learning Network for Traffic Data Forecasting
A Data-driven Framework for Long-Range Aircraft Conflict Detection and Resolution
Games in the Time of COVID-19: Promoting Mechanism Design for Pandemic Response
Online Spatial Event Forecasting in Microblogs
Spatial Interpolation Techniques on Participatory Sensing Data
Distributed Spatial and Spatio-Temporal Join on Apache Spark
MV-STGCN: Multi-view Spatial-Temporal Graph Convolutional Networks for On-Street Parking Availability Prediction
Transit Signal Priority Along a Signalized Arterial: A Passenger-based Approach
Cross- and Context-Aware Attention Based Spatial-Temporal Graph Convolutional Networks for Human Mobility Prediction
Overcoming Catastrophic Forgetting in Continual Fine-Grained Urban Flow Inference
Parallel Topology-aware Mesh Simplification on Terrain Trees
A Survey on Contact Tracing: The Latest Advancements and Challenges
Spatial Auto-regressive Dependency Interpretable Learning Based on Spatial Topological Constraints
Spatial Consensus Queries in a Collaborative Environment
Mobility Data Science: Perspectives and Challenges
Matching Labels and Markers in Historical Maps: An Algorithm with Interactive Postprocessing
MFPMiner: Mining Meaningful Frequent Patterns from Spatio-textual Trajectories
Data Issues in High-Definition Maps Furniture - A Survey
Accurate Detection of Road Network Anomaly by Understanding Crowd's Driving Strategies from Human Mobility
STAR: A Cache-based Stream Warehouse System for Spatial Data
Forecasting Urban Sensory Values through Learning Attention-adjusted Graph Spatio-temporal Networks
Stochastic Routing with Arrival Windows
ASTRO: Reducing COVID-19 Exposure through Contact Prediction and Avoidance
Geography-aware Heterogeneous Graph Contrastive Learning for Travel Recommendation
A General Framework for MaxRS and MaxCRS Monitoring in Spatial Data Streams
(Vision Paper) A Vision for Spatio-Causal Situation Awareness, Forecasting, and Planning
A Path-Based Distance for Street Map Comparison
Mining At Most Top-K% Spatiotemporal Co-occurrence Patterns in Datasets with Extended Spatial Representations
Another Look at Privacy-Preserving Automated Contact Tracing
Efficient Processing of Relevant Nearest-Neighbor Queries
Detection of Non-Designated Evacuation Shelters from Real-Time Population Dynamics Using Autoencoder-Based Anomaly Detection
Introduction to the Special Issue on Understanding the Spread of COVID-19, Part 1
Automated Urban Planning for Reimagining City Configuration via Adversarial Learning: Quantification, Generation, and Evaluation
Latent Representation Learning for Geospatial Entities
Space-Time Drift Point Detection in Mobility Patterns
Building Occupancy Simulation and Analysis under Virus Scenarios
Identifying Surrounds and Engulfs Relations in Mobile and Coordinate-Free Geosensor Networks
Introduction to the Special Issue on Understanding the Spread of COVID-19, Part 2
A Social Force Based Pedestrian Motion Model Considering Multi-Pedestrian Interaction with a Vehicle
AIST: An Interpretable Attention-Based Deep Learning Model for Crime Prediction
The Challenge of Data Analytics with Climate-neutral Urban Mobility (Vision Paper)
Toward a Type-based Analysis of Road Networks
Simulating Our LifeSteps by Example
Finding Optimal Sequences for Area Aggregation - A ⋆ vs. Integer Linear Programming
Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots
Leveraging Simulation Data to Understand Bias in Predictive Models of Infectious Disease Spread
Evaluating the Utility of High-Resolution Proximity Metrics in Predicting the Spread of COVID-19
TRIFL: A Generic Trajectory Index for Flash Storage
Exploiting Network Structure in Multi-criteria Distributed and Competitive Stationary-resource Searching
Incorporating LSTM Auto-Encoders in Optimizations to Solve Parking Officer Patrolling Problem
Scaling Terrain-Aware Spatial Machine Learning for Flood Mapping on Large Scale Earth Imagery Data
SeqST-GAN: Seq2Seq Generative Adversarial Nets for Multi-step Urban Crowd Flow Prediction
On Local Expert Discovery via Geo-Located Crowds, Queries, and Candidates
QPredict: Using low quality volunteered geospatial data to evaluate high quality authority data
Classification of Passes in Football Matches Using Spatiotemporal Data
Combining Polygon Schematization and Decomposition Approaches for Solving the Cavity Decomposition Problem
Spatio-temporal Dual Graph Neural Networks for Travel Time Estimation
STICAP: Spatio-temporal Interactive Attention for Citywide Crowd Activity Prediction
Imbalance in Mobility-on-Demand Systems: A Stochastic Model and Distributed Control Approach
The Medial Axis of a Multi-Layered Environment and Its Application as a Navigation Mesh
Grid-Based Method for GPS Route Analysis for Retrieval
A Map Inference Approach Using Signal Processing from Crowd-sourced GPS Data
Regrets in Routing Networks: Measuring the Impact of Routing Apps in Traffic
Temporal Geo-Social Personalized Keyword Search Over Streaming Data
Exact Trajectory Similarity Search With N-tree: An Efficient Metric Index for kNN and Range Queries
Laser Range Scanners for Enabling Zero-overhead WiFi-based Indoor Localization System
In-Route Task Selection in Spatial Crowdsourcing
Toward Mining Stop-by Behaviors in Indoor Space
A Generic Machine Learning Model for Spatial Query Optimization based on Spatial Embeddings
Memetic Algorithms for Spatial Partitioning Problems
Measuring the Significance of Spatiotemporal Co-Occurrences
Social-Spatial Group Queries with Keywords
Multimodal Deep Learning for Robust Road Attribute Detection
PCT-TEE: Trajectory-based Private Contact Tracing System with Trusted Execution Environment
Area-Preserving Simplification and Schematization of Polygonal Subdivisions
RegRocket: Scalable Multinomial Autologistic Regression with Unordered Categorical Variables Using Markov Logic Networks
Survey of Federated Learning Models for Spatial-Temporal Mobility Applications
Batch Processing of Top- k Spatial-Textual Queries
Accurate and Energy-Efficient GPS-Less Outdoor Localization
Distributed Subtrajectory Join on Massive Datasets
Map-Matching Using Shortest Paths
MapLUR: Exploring a New Paradigm for Estimating Air Pollution Using Deep Learning on Map Images
Social Influence-Aware Reverse Nearest Neighbor Search
A Deep Learning Approach for Identifying User Communities Based on Geographical Preferences and Its Applications to Urban and Environmental Planning
Efficient Distance Queries on Non-point Data
Coupled IGMM-GANs with Applications to Anomaly Detection in Human Mobility Data
PAGE: Parallel Scalable Regionalization Framework
Fuzzy Spatial Algebra (FUSA): Formal Specification of Fuzzy Spatial Data Types and Operations for Databases and GIS
Hierarchical Spatial Aggregation for Level-of-Detail Visualization of 3D Thematic Data
Activity-aware Ridesharing Group Trip Planning Queries for Flexible POIs
Personalized Visited-POI Assignment to Individual Raw GPS Trajectories
Flood-Risk Analysis on Terrains under the Multiflow-Direction Model
Editorial: Special Issue on the Best Papers from the 2020 ACM SIGSPATIAL Conference
Modeling the Geospatial Evolution of COVID-19 using Spatio-temporal Convolutional Sequence-to-sequence Neural Networks
Generating Moving Regions from Snapshots of Complex Regions
TrajLearn: Trajectory Prediction Learning using Deep Generative Models
In Silico Human Mobility Data Science: Leveraging Massive Simulated Mobility Data (Vision Paper)
Distance, Origin and Category Constrained Paths
Products of Euclidean Metrics, Applied to Proximity Problems among Curves: Unified Treatment of Discrete Fréchet and Dynamic Time Warping Distances
An RDMA-enabled In-memory Computing Platform for R-tree on Clusters
VxH: A Systematic Determination of Efficient Hierarchical Voxel Structures
Efficient Generation of Geographically Accurate Transit Maps
Location Estimation Using Crowdsourced Spatial Relations
Human Mobility-based Individual-level Epidemic Simulation Platform
Feature-based Map Matching for Low-Sampling-Rate GPS Trajectories
Geo-Tile2Vec: A Multi-Modal and Multi-Stage Embedding Framework for Urban Analytics
Per Segment Plane Sweep Line Segment Intersection on the GPU
Introduction to the Special Section on the Best Papers from the 2019 ACM SIGSPATIAL Conference
CellNet: Inferring Road Networks from GPS Trajectories
HierGP: Hierarchical Grid Partitioning for Scalable Geospatial Data Analytics
Agent Based Modeling of the Spread of Social Unrest Using Infectious Disease Models
SmarterROUTES - A Data-driven Context-aware Solution for Personalized Dynamic Routing and Navigation
Adaptive Spatio-temporal Graph Learning for Bus Station Profiling
Crowd Replication: Sensing-Assisted Quantification of Human Behavior in Public Spaces
Topological Computing of Arrangements with (Co)Chains
Data-driven Mobility Analysis and Modeling: Typical and Confined Life of a Metropolitan Population
Guest Editorial: TSAS Special Issue on Parallel and Distributed Processing of Spatial Data: Algorithms and Systems
A Layered Approach for More Robust Generation of Road Network Maps from Vehicle Tracking Data