yusuke1997/dblp-id-title huggingface dataset:
Filling Logarithmic Gaps in Distributed Complexity for Global Problems
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System
A Natural Counting of Lambda Terms
POI Recommendation Based on Locality-Specific Seasonality and Long-Term Trends
Summarizing Online User Reviews Using Bicliques
A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development
Processing XPath Expressions in Relational Databases
Finitary Observations in Regular Algebras
From Research Prototypes to Industrial Strength Open Source Products - The ObjectWeb Experience
Advantages of Modular Neural Network Architecture in Human Face Recognition
Untangling a Planar Graph
SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings
Automated Change Propagation from Source Code to Sequence Diagrams
Computational Power of BSP Computers
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
The HiQoS Rendering System
Agile Requirements Engineering: A Research Perspective
From Metacomputing to Grid Computing: Evolution or Revolution?
Inconsistency Conflict Resolution
Database: Introduction to Problems
Inner Architecture of a Social Networking System
Java Loops Are Mainly Polynomial
Asymptotic Approximation by Regular Languages
Quo Vadis GIS: From GIS to GIMS and Open GIS
Communication in Parallel Systems
Minimizing Interference for the Highway Model in Wireless Ad-Hoc and Sensor Networks
Measuring Complexity of Domain Standard Specifications Using XML Schema Entropy
Constraints for Argument Filterings
Minicomplexity - Some Motivation, Some History, and Some Structure (Invited Talk Extended Abstract)
Cooperative Query Answering by Abstract Interpretation
On Visibly Pushdown Trace Languages
Modeling Nested Relationships in XML Documents Using Relational Databases
Safe Reasoning with Logic LTS
A Graph-Based Tool to Embed the π-Calculus into a Computational DPO Framework
Applications and Benefits of Elliptic Curve Cryptography
Domain-Specific Languages: A Systematic Mapping Study
The Whole Picture to Software Process Improvement
Exact Max 2-Sat: Easier and Faster
Dynamic Edit Distance Table under a General Weighted Cost Function
Advice Complexity and Barely Random Algorithms
Algorithms for Solving Infinite Games
Fully Active File System
A Hybrid Model for Linking Multiple Social Identities Across Heterogeneous Online Social Networks
Improving Web Sites with Web Usage Mining, Web Content Mining, and Semantic Analysis
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
Improved Upper Bounds for lambda -Backbone Colorings Along Matchings and Stars
Personalized Presentation in Web-Based Information Systems
An Overview of the Tigger Object-Support Operating System Framework
Ultrametric Automata with One Head Versus Multihead Nondeterministic Automata
A Case Study on a Hybrid Approach to Assessing the Maturity of Requirements Engineering Practices in Agile Projects (REMMA)
Weighted Microscopic Image Reconstruction
A Highly Efficient XML Compression Scheme for the Web
Relaxed Agreement Forests
Visual Complexity of Point Set Mappings
Completeness of Hoare Logic Relative to the Standard Model
Permuted Pattern Matching on Multi-track Strings
An Amortized Search Tree Analysis for k -Leaf Spanning Tree
Monotonic Rewriting Automata with a Restart Operation
Online and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
Perfect Matching for Biconnected Cubic Graphs in O ( n log 2 n ) Time
Characteristic Patterns for LTL
Towards the Named Entity Recognition Methods in Biomedical Field
High-Level Languages for Parallel Scientific Computing
LQD is 1.5-competitive for 3-port Shared-Memory Switches
Theory of Multi Core Hypervisor Verification
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
Volumes of 3D Drawings of Homogenous Product Graphs
Determining Type of TIL Construction with Verb Valency Analyser
Algorithms and Complexity Results for the Capacitated Vertex Cover Problem
Two-Step Memory Networks for Deep Semantic Parsing of Geometry Word Problems
Distributed Algorithm for Finding a Core of a Tree Network
Edit-Distance Between Visibly Pushdown Languages
Diversity in UML Modeling Explained: Observations, Classifications and Theorizations
Fast Independent Component Analysis in Kernel Feature Spaces
Generation of Cycle Permutation Graphs and Permutation Snarks
Checking Interaction Consistency in MARMOT Component Refinements
Mining Personal Social Features in the Community of Email Users
Retrieving Documents Related to Database Queries
Multi-paradigm Architecture Constraint Specification and Configuration Based on Graphs and Feature Models
A Hierarchy of Polynomial Kernels
Agent-Oriented Model of Simulated Evolution
Named Entity Disambiguation Based on Explicit Semantics
Privacy, Liveliness and Fairness for Reputation
SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings
Deterministic Simulation of a NFA with k -Symbol Lookahead
Ontology Acquisition for Automatic Building of Scientific Portals
Software Architecture for Distributed Reactive Systems
Logical Characterisations and Compositionality of Input-Output Conformance Simulation
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
Network Constructors: A Model for Programmable Matter
An Output Sensitive Solution to the Set Union and Intersection Problem
Unary NFAs with Limited Nondeterminism
Performance Analysis of a Multiagent Architecture for Passenger Transportation
Improved Algorithms for the 2-Vertex Disjoint Paths Problem
The Arias Distributed Shared Memory: An Overview
Leveraging Microblogs for Resource Ranking
Utilizing Microblogs for Web Page Relevant Term Acquisition
Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks
Implicit Flow Maximization by Iterative Squaring
A Hybrid Region Weighting Approach for Relevance Feedback in Region-Based Image Search on the Web
Computing the Dimension of Linear Subspaces
Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability
A Specification Framework for Real-Time Scheduling
On finding power method in spreading activation search
Remote Entrusting by Run-Time Software Authentication
Implementing Services by Partial State Machines
Cheap Vision-Exploiting Ecological Niche and Morphology
Multitape NFA: Weak Synchronization of the Input Heads
Level-of-Detail in Behaviour of Virtual Humans
Adjacent Vertices Can Be Hard to Find by Quantum Walks
Visual Exploration of RDF Data
The Multiple Traveling Salesman Problem on Spiders
Visualizing Multispecies Coalescent Trees: Drawing Gene Trees Inside Species Trees
Alternative Parameterizations for Cluster Editing
Apportionment with Thresholds: Strategic Campaigns are Easy in the Top-Choice but Hard in the Second-Chance Mode
Inversions from Sorting with Distance-Based Errors
Pal k is Linear Recognizable Online
Representing Hypergraphs by Point-Line Incidences
Ontology-Based Inconsistency Management of Software Requirements Specifications
On Optimal and Efficient in Place Merging
The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies
Quantum Complexity for Vector Domination Problem
Practically Applicable Formal Methods
A Multiagent System Aiding Information Retrieval in Internet Using Consensus Methods
Green Computing: Energy Consumption Optimized Service Hosting
Massively Parallel Maximum Coverage Revisited
Multi-document Summarization Based on Cluster Using Non-negative Matrix Factorization
Predicting Tennis Match Outcomes with Network Analysis and Machine Learning
Beyond the Horizon: Planning Future European ICT R&D
On-Line Routing Problems for Broadband Networks
Grids of Finite Automata
Distributed Computations by Autonomous Mobile Robots
On the Hardness of Reoptimization
Fast-Insertion-Sort: a New Family of Efficient Variants of the Insertion-Sort Algorithm
Certified Machine-Learning Models
Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds - Combining Information Theoretical and Supervised Pattern Recognition Approaches
Reachability in Temporal Graphs Under Perturbation
Minimum Reload Cost Graph Factors
Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings
Authoring Structured Multimedia Documents
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
Turing Machines for Dummies - Why Representations Do Matter
Unambiguous Erasing Morphisms in Free Monoids
OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms
Recent Challenges and Ideas in Temporal Synthesis
XML-Based Declarative Access Control
A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases Supporting Schema Versioning
Framed Versus Unframed Two-Dimensional Languages
Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis
Multi-document Automatic Text Summarization Using Entropy Estimates
Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem
A Model-Based Approach to Semantic-Based Retrieval of Visual Information
Fake Review Detection via Exploitation of Spam Indicators and Reviewer Behavior Characteristics
Parallel Randomized Load Balancing: A Lower Bound for a More General Model
A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines
FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation
Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs
AErlang at Work
Self-managing Internet of Things
On the 2-Layer Window Width Minimization Problem
Pipelined Decomposable BSP Computers
Data Management Challenges for GRID Computing
Finding the Description of Structure by Counting Method: A Case Study
Quantum Complexity Bounds of Independent Set Problems
SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
Encoding Pictures with Maximal Codes of Pictures
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory
An Efficient Index Scheme for XML Databases
On Some SAT-Variants over Linear Formulas
Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints
(S)CRUD pattern support for semantic web applications
Big Sequence Management: A glimpse of the Past, the Present, and the Future
A Turing Machine Resisting Isolated Bursts of Faults
The Computational Complexity of Equilibria with Strategic Constraints
Some Tractable Instances of Interval Data Minmax Regret Problems: Bounded Distance from Triviality
Robustness of Composed Timed Systems
SOFSEM '97: Theory and Practice of Informatics, 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997, Proceedings
Maintaining XML Data Integrity in Programs
Morphing Planar Graph Drawings Through 3D
Computational Complexity of Relay Placement in Sensor Networks
Selfish Transportation Games
Efficient Online Strategies for Renting Servers in the Cloud
Stepwise Synthesis of Reactive Programs
Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
String Transformation for n -Dimensional Image Compression
On the Parameterized Complexity of Minus Domination
Recursion Versus Replication in Simple Cryptographic Protocols
The Complexity of Finding Tangles
Stepwise Optimization Method for k-CNN Search for Location-Based Service
Suffix Tree Based Data Compression
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks
Statecharts: Past, Present and Future (abstract)
When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures
Estimates of Data Complexity in Neural-Network Learning
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
On the Terminal Connection Problem
Self-adaptive Lagrange Relaxation Algorithm for Aggregated Multicast
The Complexity of Cluster Vertex Splitting and Company
Modeling Data Integration with Updateable Object Views
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs
Introducing SSADM4+ and PRINCE
Quantum Algorithm for the Multiple String Matching Problem
Parsing of Free-Word-Order Languages
Bit-Layers Text Encoding for Efficient Text Processing
Faster STR-EC-LCS Computation
Local elimination-strategies in automata for shorter regular expressions
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
Adjustment of Indirect Association Rules for the Web
Implementing byte-oriented rank and select operations
Counting Maximal Independent Sets in Subcubic Graphs
On the Average State Complexity of Partial Derivative Transducers
Hybrid Analysis of BPEL Models with Grammars
A Formal Model of Business Application Integration from Web Services (Position Paper)
A Transaction Model for Mobile and Active Database Systems
Bayesian Networks in Software Maintenance Management
P-Selectivity, Immunity, and the Power of One Bit
Regulated Grammars with Leftmost Derivation
Incremental Learning of Planning Operators in Stochastic Domains
Outerplanar Crossing Numbers of 3-Row Meshes, Halin Graphs and Complete p-Partite Graphs
Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem
The Weighted HOM-Problem Over Fields
Shortest Longest-Path Graph Orientations for Trees
Active Learning of Recursive Functions by Ultrametric Algorithms
Simple Paths and Cycles Avoiding Forbidden Paths
Concurrent and Located Synchronizations in pi -Calculus
Cellular Automata with Dynamically Reconfigurable Buses
Lower Bounds for Online Bin Stretching with Several Bins
Meta-Evolution Style for Software Architecture Evolution
On Integration of Relational and Object-Oriented Database Systems
Complexity Insights of the Minimum Duplication Problem
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph
Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth
A Social Vision of Knowledge Representation and Reasoning
A Kernel for Convex Recoloring of Weighted Forests
Semi-automatic Column Type Inference for CSV Table Understanding
Improving Watermark Resistance against Removal Attacks Using Orthogonal Wavelet Adaptation
Algorithms on Compressed Strings and Arrays
Anonymous Communication with On-line and Off-line Onion Encoding
Probabilistic Autoreductions
Parameterized Complexity of Feedback Vertex Set with Connectivity Constraints
On Reachability Games of Ordinal Length
Error-Pruning in Interface Automata
Superimposed Codes and Query Algorithms
Restarting Tree Automata
Sedna: A Native XML DBMS
Combinatorics of Block-Parallel Automata Networks
Bipolarity in Possibilistic Logic and Fuzzy Rules
Tracking the Evolution of Code Clones
A Unified View to String Matching Algorithms
Bike Assisted Evacuation on a Line
Evolving Constructors for Infinitely Growing Sorting Networks and Medians
CORBA and Object Services
Cyclic Cutwidth of the Mesh
News Generating Via Fuzzy Summarization of Databases
Query Learning of Minimal Deterministic Symbolic Finite Automata Separating Regular Languages
Time and Space Complexity of Reversible Pebbling
Fixing Improper Colorings of Graphs
Distributed Systems Technology for Electronic Commerce Applications
Fully Truthful Mechanisms
The Complexity of Counting Turns in the Line-Based Dial-a-Ride Problem
Amnesiac Flooding: Synchronous Stateless Information Dissemination
The Output-Store Formal Translator Directed by LR Parsing
On the Role of Orthogonality in the GMRES Method
A Model of Versioned Web Sites
Towards Indestructible Molecular Robots
Optimizing Segment Based Document Protection
Automatic Generation of Parallelizing Compilers for Object-Oriented Programming Languages from Denotational Semantics Specifications
How to Draw a Planarization
Maximum Finding in the Symmetric Radio Networks with Collision Detection
On Matrix Ins-Del Systems of Small Sum-Norm
Partial vs. Complete Domination: t-Dominating Set
Transparent Migration of Database Services
On Semantics of Petri Nets over Partial Algebra
Exploration of MSC Trees Using Genetic Algorithms
Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time
Disjoint Covering of Bipartite Graphs with s-clubs
Symbolic Reachability Analysis of Integer Timed Petri Nets
Mobility Management in CORBA: A Generic Implementation of the LifeCycle Service
Using the Metro-Map Metaphor for Drawing Hypergraphs
Quantum Pushdown Automata
An Improved Digital Signature with Message Recovery Using Self-certified Public Keys Without Trustworthy System Authority
Shortest Characteristic Factors of a Deterministic Finite Automaton and Computing Its Positive Position Run by Pattern Set Matching
Experiments in Complexity of Probabilistic and Ultrametric Automata
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication
On the Size of Logical Automata
Recursive Domain Equations of Filter Models
Modeling and Predicting Students Problem Solving Times
On the Expressive Power of GF(2)-Grammars
Approximating the k-Splittable Capacitated Network Design Problem
Welcoming the Super Turing Theories
Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts
Recognition of Handwritten Characters Using Instance-Based Learning Algorithms
Vertex Ranking with Capacity
Robustness Radius for Chamberlin-Courant on Restricted Domains
Tree Based Domain-Specific Mapping Languages
Improved Approximations for Ordered TSP on Near-Metric Graphs,
Computer Chess: Algorithms and Heuristics for a Deep Look into the Future
IBM SanFrancisco: Java Based Business Components and New Tools to Develop Applications
Bidimensionality of Geometric Intersection Graphs
Web Test Automation: Insights from the Grey Literature
Essential Performance Drivers in Native XML DBMSs
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages
Comparing GPU and CPU in OLAP Cubes Creation
An Efficient Algorithm for Combining Verification and Validation Methods
Information Access Based on Associative Calculation
Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S
Optmial Encodings
Unifying Framework for Message Passing
Can Component/Service-Based Systems Be Proved Correct?
Recognizing Objects by Their Appearance Using Eigenimages
Distributed Models and Algorithms for Mobile Robot Systems
SScAC: Towards a Framework for Small-Scale Software Architectures Comparison
Evolving Ontology Evolution
Technology of Encrypted Tunnels with Practical Usage
Distance Labeling for Families of Cycles
Robust Recoverable Path Using Backup Nodes
State Coverage: An Empirical Analysis Based on a User Study
Model-Checking Large Finite-State Systems and Beyond
Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression
A New Model to Solve the Swap Matching Problem and Efficient Algorithms for Short Patterns
The Order Type of Scattered Context-Free Orderings of Rank One Is Computable
Decision-Theoretic Reasoning and the Human-Computer Interface: Advances in Embedded Intelligent Agents (abstract)
Configuration-Based Programming Systems
Autonomous Components
New Physics and Hypercomputation
FDSI-Tree: A Fully Distributed Spatial Index Tree for Efficient & Power-Aware Range Queries in Sensor Networks
Clusters of Repetition Roots: Single Chains
The Reconstruction of Polyominoes from Approximately Orthogonal Projections
Hypermodelling Reporting: Towards Cockpits for Code Structure
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
A Generalization of Spira's Theorem and Circuits with Small Segregators or Separators
Online Scheduling with Machine Cost and a Quadratic Objective Function
In-Place Sorting
Finding Optimal Compatible Set of Software Components Using Integer Linear Programming
The Legacy of Turing in Numerical Analysis
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings
Object-Oriented Design Patterns
Pattern Matching Algorithms with Don't Cares
Yet Another Modular Technique for Efficient Leader Election
Online and Quasi-online Colorings of Wedges and Intervals
Computational Complexity of Atomic Chemical Reaction Networks
Extracting Zing Models from C Source Code
Clock Synchronization: Open Problems in Theory and Practice
An Automata Theoretic Approach to Rational Tree Relations
Alliances in Graphs: a Complexity-Theoretic Study
Incremental Queries and Transformations: From Concepts to Industrial Applications
Formal Translation Directed by Parallel LLP Parsing
Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes
A Graph-Theoretical Characterisation of State Separation
How to Employ Reverse Search in Distributed Single Source Shortest Paths
From ESSENCE to Theory Oriented Software Engineering
Runtime-Efficient Approach for Multiple Continuous Filtering in XML Message Brokers
Longest Common Subsequence in at Least k Length Order-Isomorphic Substrings
Trends in Game Tree Search
Automatic Distribution of Sequential Code Using JavaSymphony Middleware
Architecture of a Business Framework for the .NET Platform and Open Source Environments
Open Services for Software Process Compliance Engineering
SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information?
Games, Theory and Applications
How Many Dots Are Really Needed for Head-Driven Chart Parsing?
Gathering of Robots in a Grid with Mobile Faults
Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems
From Quartets to Phylogenetic Trees
White Space Regions
The Incompressibility Method
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power
Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable
An Automata-Theoretical Characterization of Context-Free Trace Languages
Some Afterthoughts on Hopfield Networks
Physical Design of CMOS Chips in Six Easy Steps
Randomized Group Testing Both Query-Optimal and Minimal Adaptive
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
A New Analysis of Expected Revenue
On the Power of Laconic Advice in Communication Complexity
Automatic Testing of Object-Oriented Software
House Allocation Problems with Existing Tenants and Priorities for Teacher Recruitment
Design of Secure Multicast Models for Mobile Services
Lower Bound for the Length of Synchronizing Words in Partially-Synchronizing Automata
Survey on Concern Separation in Service Integration
Transformation of OWL2 Property Axioms to Groovy
DESAM - Annotated Corpus for Czech
Recent Results in Scalable Multi-Party Computation
The Dynamic Web Presentations with a Generality Model on the News Domain
On the Hierarchy Classes of Finite Ultrametric Automata
Cost-Constrained Minimum-Delay Multicasting
Beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking
Spatial Selection of Sparse Pivots for Similarity Search in Metric Spaces
On Parity Game Preorders and the Logic of Matching Plays
Information Mining: Applications in Image Processing