yusuke1997/dblp-id-title huggingface dataset:
Querying String Databases with Transducers
On Monotone Data Mining Languages
An Overview of Souk Nets: A Component-Based Paradigm for Data Source Integration
On the semantics of Cypher's implicit group-by
Data Abstraction amd Transaction Processing in the Database Programming Language RAPP
Object-Oriented Type Evolution
Implementation of Information System Design Specifications: A Performance Perspective
Eucil, Tarski, and Engler Encompassed (Preliminary Report)
Take everything from me, but leave me the comprehension: invited talk
A Framework for the Specification of Active Rule Language Semantics
Patterns and Types for Querying XML Documents
Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers
GraphScript: implementing complex graph algorithms in SAP HANA
PSPARQL Query Containment
Variational databases
Functional Programming: An Angry Half-Dozen
On Detecting Conflict Between Proposed Updates
CQL: A Language for Continuous Queries over Streams and Relations
A Methodology for Coupling Fragments of XPath with Structural Indexes for XML Documents
An Overview of PFL
MDM: An Object-Oriented Data Model
Relational Completeness of Query Languages for Annotated Databases
Efficiently Enumerating Results of Keyword Search
On the Expressive Power of the Bounded Iteration Construct
A Moose and a Fox Can Aid Scientists with Data Management Problems
The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed
Updates and Incremental Validation of XML Documents
Objects for a Database Programming Language
A PACTful Agenda for Cloud Programming Research: (Invited Talk)
Efficient Optimization of Iterative Queries
Representing Database Programs as Objects
On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity
Subtyping and Assignment in Database Programming Languages
Consistency of Java Transactions
AL: unified analytics in domain specific terms
ERX-QL: Querying an Entity-Relationship DB to Obtain XML Documents
Panel Session: Metadata for Database Interoperation
Database Programming in Transaction Logic
An Abstract Object-Oriented Query Execution Language
Typechecking for Semistructured Data
Bridging the semantical gap between relational data and application-level business objects with core data services: invited talk
Union Types for Semistructured Data
Stratification as a Design Principle in Logical Query Langugages
Querying Structural and Behavioral Properties of Business Processes
A Classification of Object-Oriented Database Systems
An Abstract Interpretation Framework for Termination Analysis of Active Rules
Napier88 - A Database Programming Language?
A Type System that Reconsiles Classes and Extents
Analysis of Imperative XML Programs
Manipulating Complex Objects
An Extensible Rule-Based Language with Complex Objects and data-Functions
IQL(2): A Model with Ubiquitous Objects
Modular Composition of Transaction Programs with Deductive Databases
User-Defined Aggregates in Database Languages
Mistaking Identity
On the Relationship of Congruence Closure and Unification
JTutor: JSON Schema Validation Explained
An Application-Specific Database
A Rule-Based Querying and Updating Language for XML
Comprehensions, a Query Notation for DBPLs
Efficient Memory Representation of XML Documents
Cascade: From Imperative Code to Stateful Dataflows
Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings
BIRNE: Mixed-paradigm Workload Execution in SQL Engines
Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Locomotor: transparent migration of client-side database code
The data cube as a typed linear algebra operator
Orderings and Types in Databases
Semantics, Types and Effects for XML Updates
Extensible Objects for Database Evolution: Language Features and Implementation Issues
SQL4X: A Flexible Query Language for XML and Relational Databases
Sharing, Persistence, and Object-Orientation: A Database Perspective
Semantics of Updates in Logic Programming
Efficient Inclusion for a Class of XML Types with Interleaving and Counting
Language-integrated provenance by trace analysis
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, DBPL 2019, Phoenix, AZ, USA, June 23, 2019
Detecting unsatisfiable CSS rules in the presence of DTDs
Semistructured Computation
Expressiveness and Complexity of Restricted Languages for Complex Objects
TAX: A Tree Algebra for XML
Static Analysis of Transactions for Conservative Multigranularity Locking
Building an Integrated Persistent Application
A Model Theory for Generic Schema Management
A Functional Object Language
Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs
On the Power of Incremental Evaluation in SQL-Like Languages
Finite Query Languages for Sequence Databases
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers
Constrained Matching is Type Safe
VQL: A Query Language for Multiversion Databases
Datalog Programs over Infinite Databases, Revisited
XPath Query Processing
Fluid data structures
Querying Multidimensional Databases
Some Properties of Query Languages for Bags
A Temporal Query Language for OLAP: Implementation and a Case Study
Modern stored procedures using GraalVM: invited talk
Efficient Enumeration of the Complete Join Search Space
Addressing Large Distributed Collections of Persistent Objects: The Mneme Project's Approach
Using Links to prototype a Database Wiki
A Datalog-based protocol for lazy data migration in agile NoSQL Application development
Computational Objects in Object-Oriented Data Models
COL: A Logic-Based Language for Complex Objects
N-Ary Queries by Tree Automata
Comprehending nulls
Towards a Formalism for Module Interconnection and Version Selection
Satisfiability of XPath Queries with Sibling Axes
A Semantics of Object-Oriented Sets
Manipulation of Structured Values in Object-Oriented Databases
General Database Statistics Using Entropy Maximization
Optimizing Data Science Applications using Static Analysis
Integrating Active Concepts into an Object-Oriented database System
Integrating Organisational and Transactional Aspects of Cooperative Activities
A Structure-Based Approach to Querying Semi-Structured Data
Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings
Models of Inheritance
A Better Semantics for XQuery with Side-Effects
Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings
A General Framework for Estimating XML Query Cardinality
Nested Queries in Object Bases
Consistent Query Answers on Numerical Databases Under Aggregate Constraints
Data Mapping and Matching: Languages for Scientific Datasets
Rationale for the Design of Persistence and Query Processing Facilities in the Database Programming Language O++
Construction and Calculus of Types for Database Systems
Scaling Database Languages to Higher-Order Distributed Programming
Adapting Relational Optimization Technology to Deductive and Object-Oriented Declarative Database Languages
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
Integration Issues in Implementing Semantic Data Models
How to Make SQL Stand for String Query Language
Ozone: Integrating Structured and Semistructured Data
Implementing Functional Databases
Modelling Dynamic Web Data
Database Programming Languages (DBPL-5), Proceedings of the Fifth International Workshop on Database Programming Languages, Gubbio, Umbria, Italy, 6-8 September 1995
Towards Practical Typechecking for Macro Tree Transducers
Expressing Topological Connectivity of Spatial Databases
Query Language Primitives for Programming with Incomplete Databases
A Framework for Comparing Type Systems for Database Programming Languages
Validity of Positive XPath Queries with Wildcard in the Presence of DTDs
Ordered Types in the AQUA Data Model
Extensible Grammars for Language Specialization
Unifying Programming Languages and Databases: Scoping, Metadata, and Process Communication
Requesting heterogeneous data sources with array comprehensions in hop.js
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
Proceedings of The 16th International Symposium on Database Programming Languages, DBPL 2017, Munich, Germany, September 1, 2017
Containment of Relational Queries with Annotation Propagation
XML Publishing: Bridging Theory and Practice
Repairing Inconsistent XML Write-Access Control Policies
Structural Recursion as a Query Language
View Serializable Updates of Concurrent Index Structures
Dual Syntax for XML Languages
Scheduling Resource Usage in Object-Oriented Queries
Intensional Concepts in an Object Database Model
Next Generation Database Programming and Execution Environment
Dependency-Preserving Normalization of Relational and XML Data
The Restricted and Bounded Fixpoint Closures of the Nested Relational Algebra are Equivalent
Succinctness of Pattern-Based Schema Languages for XML
Structured Document Transformations Based on XSL
Satisfiability of XPath Expressions
Supporting an Object-Oriented Programming Methodology using PS-Algol
Type-Based Optimization for Regular Patterns
Towards compiling graph queries in relational engines
Debugging of Wrong and Missing Answers in SPARQL✱
Investigating Extension Polymorphism
An Algebraic Framework for Physical OODB Design
View-Based Query Answering and Query Containment over Semistructured Data
Abstract rewriting Approach to solve Datalog programs
On guarded simulations and acyclic first-order languages
On the Consistent Rewriting of Conjunctive Queries Under Primary Key Constraints
An Algebraic Model of Subtype and Inheritance
Using dependent types and tactics to enable semantic optimization of language-integrated queries
Streaming saturation for large RDF graphs with dynamic schema information
Temporal graph algebra
An Object-Oriented Query Algebra
Bulk Data Types, A Theoretical Approach
Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015
Optimizing Loops in Database Programming Languages
Database Programming Languages, 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers
Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon, USA
A Practical Language to Provide Persistence and a rich Typing System
Simulation of Advanced Transaction Models Using GOLOG
Defining and Handling Transient Fields in PJama
The Semantics of Update in a Functional Database Programming Language
Thémis: a database programming language with integrity constraints
Can Object-Oriented Databases be Statically Typed?
PROQUEL: a PROgramming QUEry Language
F & <= : integrating parametric and "ad hoc" second order polymorphism
Linguistic Support for Persistent Modules and Capabilities
A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes
XML Data Integration with Identification
A Theory of Stream Queries
A common data manipulation language for nested data in heterogeneous environments
Efficient Evaluation of
Type-safe Linguistic Reflection
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Designing Linguistic Interfaces to an Object Database or What do C++, SQL, and Hell have in Common?
Integrating Database and Programming Language Constraints
Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings
A Functional DBPL Revealing High Level Optimizations
Remote Batch Invocation for SQL Databases
Programming support for database schema refactoring (keynote)
Counting types for massive JSON datasets
Design Issues in a Map Language
Towards Automatically Extracting the Relational Model of an Operating System
A Theory of Spatio-Temporal Database Queries
XML Subtree Queries: Specification and Composition
Efficient Algorithms for the Tree Homeomorphism Problem
A Type System for Algebraic Database Programming Languages
Support for Data-Intensive Applications: Conceptual Design and Software Development
A Query Algebra for Fragmented XML Stream Data
Datalog and Description Logics: Expressive Power
Unified Optimization of Declarative and Imperative Code in Relational Databases: (Invited Talk)
DDO-Free XQuery
The Type System of DBPL
Finitary Relational Calculus
Aggregate Functions, Conservative Extensions, and Linear Orders
Demography of Twitter Users in the City of London: An Exploratory Spatial Data Analysis Approach
The Next Generation of Atlas User Interfaces: A User Study with "Digital Natives"
Comparison of Standard- and Proprietary-Based Approaches to Detailed 3D City Mapping
Assessing Cartographic Products for Visual Usability
The State of Official Statistical Mapping in Switzerland (and Other European Countries)
Multivariate Data Visualization and Usability: Preliminary Notes
Mapping a Local Budget Plan: Why and How?
Non-technological Aspects in Atlas Cartography Based on the Czech Approach
Terrain Analysis for Armed Forces
Models and Methods to Represent and Explore Phenomena on GIS
Creation of the Accurate Raster Driven Polygonal Environment for the 3D Surface Models Based on the LIDAR Technology
Visualization Problems in Worldwide Map Portals
Changes in Urban Area Discovered by Analysis of Chosen Places in Old Maps of Liberec
The Competitive Analysis Method for Evaluating Water Level Visualization Tools
Physiological and Cognitive Aspects of Sound Maps for Representing Quantitative Data and Changes in Data
Online Cartographic Atlas Products: Learning from the Past
Generating Cartographic Representations of Volunteered Environmental Noise Data from Mobile Phones
Geovisualising Unequal Spatial Distribution of Online Social Network Connections: A Hungarian Example
Alteration of Graphical Part of Local Flood Management Plans Using Geoinformatics: Scottish and Czech Approaches
Non-photorealistic 3D Visualization in City Maps: An Eye-Tracking Study
Aspects of the Thematic Atlas Compilation
Exploring Class Discussions from a Massive Open Online Course (MOOC) on Cartography
Bayesian Mapping of Medical Data
Modern Trends in Cartography - Selected Papers of CARTOCON 2014, Olomouc, Czech Republic, February 2014
Perception and Recall of Landmarks for Personal Navigation in Nature at Night Versus Day
The User Centered Framework for Visualization of Spatial Data Quality
Analysis of Basic Relations Within Insights of Spatio-Temporal Analysis
Integrating User and Usability Research in Web-Mapping Application Design
Historical Data Processing, Modelling, Reconstruction, Analysis and Visualization of Historical Landscape in the Region of North-West Bohemia
A Framework for Color Design of Digital Maps: An Example of Noise Maps
3D Cartography as a Platform for Remindering Important Historical Events: The Example of the Terezín Memorial
Exploring the Influence of Colour Distance and Legend Position on Choropleth Maps Readability
Interlinking Opensource Geo-Spatial Datasets for Optimal Utility in Ranking
The Evolution of Digital Cartographic Databases (State Topographic Maps) from the Beginnings to Cartography 2.0: The Hungarian Experience
Spatial-Temporal Evolution of the Unique Preserved Meandering System in Central Europe
Evaluating Mapping APIs
Mapping Disorder: An Exploratory Study
Digital Aeronautical Charts: Survey of 64 Czech Air Force Pilots
Comparing Paper and Digital Topographic Maps Using Eye Tracking
On Shape Metrics in Cartographic Generalization: A Case Study of the Building Footprint Geometry
Voluminous yet Vacuous? Semantic Capital in an Age of Large Language Models
Proceedings of the Workshop on Ethics and Trust in Human-AI Collaboration: Socio-Technical Approaches (ETHAICS 2023) co-located with 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) Macao, August 21, 2023., Macao, August 21, 2023
Exploring Human-AI Co-Creativity under Human Control: Framing, Reframing, Brainstorming, and Future Challenges (invited paper)
Automated Moral Decision Making by Learning from Humans: Why and How (invited paper)
Value-based Fast and Slow AI Nudging
Unacceptable Risks in Human-AI Collaboration: Legal Prohibitions in Light of Cognition, Trust and Harm
Challenges in Annotating Datasets to Quantify Bias in Under-represented Society
"My, my, how can I resist you?" - Examining User Reactions to Bogus Explanations of AI
Towards Theory-based Moral AI: Moral AI with Aggregating Models Based on Normative Ethical Theory
Randomness and clustering of responses in online learning networks
Three levels of compression strategies and testings in mobile GIS attribute management
A Class of High-rate, Low-complexity, Well- structured LDPC Codes from Combinatorial Designs and their Applications on ISI Channels
Quality assessment for H.264 coded low-rate and low-resolution video sequences
IASTED International Conference on Communications, Internet, and Information Technology, November 22 - 24, 2004, St. Thomas, US Virgin Islands, USA
A new mechanism for recognizing handover situation in vertical handovers
Dynamic Markup Language based User Interfaces for a Browser
Modelling and simulation of signals communications in computer interconnects
Adaptive Online Power Management Algorithms
Development of a 3Dblog system
Service mobility management based on Parlay/OSA
On the performance of MF-TDMA multi-carrier demultiplexer/demodulators (MCDs) under five critical degrading factors
A hybrid distributed congestion control based routing in mobile ad hoc networks
A Real-time intrusion prevention system for commercial enterprise databases and file systems
Efficient channel estimation for OFDM modulations with transmit diversity
Data Storage for Video on Demand Servers
Protocols and technologies for extending ethernet services to the metropolitan area network
A methodology for integrating heterogeneous databases using a global schema
A vulnerability taxonomy for network protocols: Corresponding engineering best practice countermeasures
A profile-based middleware architecture for ubiquitous computing environments
A Java Meta-registry for Remote Service Objects
The copar service: Combining optimism and pessimism in accessing replicas
Next generation ASP platform: Business processes, requirements and system architecture
Accurate closed-form approximations to the distributions and densities of ricean sum random variables
Context-aware service system architectures and their performance evaluations in terms of response time
Performance Evaluation of HITS-based Algorithms
An adaptive bandwidth allocation algorithm for QoS guaranteed multimedia networks
Optimization of active queue management based on proportional control system
A flexible approach to configuration of linux-based firewalls
Ultra-broadband Photonic Networks based on Optical Code Division Multiplexing
QoS-aware end-to-end adaptive congestion detection and control for VoIP
A power-aware sensor network architecture
Improving a WWW Server's Response Time using Its Execution Behavior Information in Resource Scheduling
From Learning Management Systems to Learning Information Systems: One Possible Evolution of E-learning
An Introduction to Service Balancing
Wireless Technology in Postal Supply Chains
Load balancing for reliable multicast
Role-based policy distribution techniques in policy-based networks
The Effect of Signal-to-Noise Margins on the Performance of ADSL
A multi-platform contents management system for online constellation learning
A Java Architecture for Secure Reliable Multicast Data Transfer: Performance Evaluation
Integration of NaradaBrokering and Audio/Video Conferencing as a Web Service
QoS-based scheduling scheme in overload conditions for weakly hard real-time systems
Using a cache scheme to detect selfish nodes in mobile ad hoc networks
Improvement of huffman coding algorithm using interpolation polynomials
A new channel assignment technique for satellite-aided cellular networks
Exploratory Insights into the M-commerce Value Proposition
Efficiency considerations between common web applications using the soap protocol
Transliterated arabic name search
A new enhanced management approach for heterogeneous service gateways
Rate-compatible Low Density Parity Check Codes for Capacity-approaching ARQ Schemes in Packet Data Communications
Student support: Internet training from the perspective of the e-learning professional
Nonlinear Dynamics of the Message Passing Decoder of LDPC Codes
Xplorer: A generic search and navigation application for semi-structured data repositories
Efficient vector quantization of LSF parameters
A scheme to measure error rates inS. the presence of adjacent channel interference using frequency domain analysis
Performance analysis of video services in the uplink of a dynamic complete partitioning round-robin carrier-hopping multirate multi-carrier DS-CDMA system
A Case for Integrating Networks: Improved QoS for Multimedia Data
Mobile Location
Carrier super-positioning frequency re-use for VSAT satellite communications
Terrascope image clustering: Applying clustering techniques to image agglomeration in image retrieval systems
Improving IP accounting for secure border routers
A peer-to-peer paradigm of web-browsing by using a DHT
A novel unambiguous BOC signal synchronization scheme for global navigation satellite systems
Towards Future Networks - Trends and Challenges
Modeling Competition, Fairness and Chaos in Computer Networks
Algorithm partitioning and optimization for network processors
Experience Gained in the Development of a Route Planner for Mobile End Devices
Efficient Neural Equalization using Multiple Nonlinear Discrimination Functions
A Preliminary Assessment of the Efficacy of a Price Comparison Software Agent in B2C E-commerce
IASTED International Conference on Communications, Internet, and Information Technology, November 18-20, 2002, St. Thomas, US Virgin Islands, USA
Mobile Fleet Application using Soap and System on Devices (SYD) Middleware Technologies
IP traceback based on chinese remainder theorem
Emerging E-commerce model based on 4Ps principle for the highly valuable traditional products in thailand-A conceptual framework
Scalable ant-based routing algorithm for ad-hoc networks
TCP Acceleration on Network Processors
Modelling of Autocorrelated Traffic using TES Processes: New Contributions to the Empirical Methodology
Requirements for a Mobile E-learning Platform
Development of regional centre for medical multimedia data processing
Development of Video-based Interactive Content System for Internet
Efficient authentication and verification of certificate status within public-key infrastructures
Enhancing intrusion detection in wireless networks using radio frequency fingerprinting
Broadband access evolution network technology test for the efficiency of listening quality using VoDSL
TCP windowcontrol in a priced network
Adaptive clustering and transmission range adjustment in wireless sensor networks
Innovative teaching and learning technologies for online education: The results of a 4-year national science foundation project
Digital image marking by m-sequences for the aim of secure E-commerce
Enhancing TCP throughput in asymmetric networks through priority queuing and the rate-limiting of acknowledgements
Effects of Finite Groundplane on Circuit and Radiation Parameters of U-PIFA
Comparison of Adaptive LMS Algorithms of a 2.45 GHz Digital Beam-forming Antenna for Short-range Wireless Communication
Lowcomplexity DS-CDMA intercell interference suppression
The Trade-off between Latency and Image Quality: A User Perspective
An adaptive early binding FMIPv6 on the packet radio networks
Dilemma of using high datarate in IEEE 802.11B based multihop ad hoc networks