yusuke1997/dblp-id-title huggingface dataset:
Probabilistic Admissible Encoding on Elliptic Curves - Towards PACE with Generalized Integrated Mapping
Utilizing Vector Models for Automatic Text Lemmatization
Efficient Algorithms for Handling Nondeterministic Automata
Maximum Flow Problem in Distributed Environment
WWW - The World Wide Web
Structural Properties of Hard Metric TSP Inputs - (Extended Abstract)
Core Technologies for System Renovation
Time and Fairness in a Process Algebra with Non-blocking Reading
On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem
Quantum Query Complexity for Some Graph Problems
Deterministic Rendezvous in Restricted Graphs
Dynamic Range Minimum Queries on the Ultra-wide Word RAM
Integration, Diffusion, and Merging in Information Management Discipline
SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25-29, 2021, Proceedings
Path Layout in ATM Networks
Research Issues in the Automated Testing of Ajax Applications
Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size
Recent Advances in Wavelength Routing
Balanced Independent and Dominating Sets on Colored Interval Graphs
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract)
Optimisation of Artificial Neural Network Topology Applied in the Prosody Control in Text-to-Speech Synthesis
An Approach for Integrating Analysis Patterns and Feature Diagrams into Model Driven Architecture
Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams
Semantic Annotation and Indexing of News and Sports Videos
Homophily of Neighborhood in Graph Relational Classifier
Decision Trees, Knowledge Rules and Some Related Data Mining Algorithms
On the Approximability of Interactive Knapsack Problems
Principles of Forecasting - A Short Overview
Separation of Concerns and Consistent Integration in Requirements Modelling
Computational Complexity of Continuous Problems
Automatic Text Generation in Slovak Language
Parallel Process Functional Language
On the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines
On Efficient Resource Allocation in Communication Networks
Models and Algorithms for Wireless Sensor Networks (Smart Dust)
Exploring Graphs with Time Constraints by Unreliable Collections of Mobile Robots
Outer-(ap)RAC Graphs
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, Volume II - Student Research Forum
Minimal Unique Substrings and Minimal Absent Words in a Sliding Window
On Making a Distinguished Vertex Minimum Degree by Vertex Deletion
Discovering Treewidth
Fast Arc-Annotated Subsequence Matching in Linear Space
Supporting Evolution in Workflow Definition Languages
Connecting Galaxies: Bridging the Gap Between Databases and Applications
Group Testing in Arbitrary Hypergraphs and Related Combinatorial Structures
Walking Automata in Free Inverse Monoids
Some Results on the Modelling of Spatial Data
Learning User Preferences for 2CP-Regression for a Recommender System
A Novel Hybrid Genetic Algorithm for the Two-Stage Transportation Problem with Fixed Charges Associated to the Routes
An Introduction to Virtual Reality Modeling Language
Software Change and Evolution
Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs
Influence of Body Postures on Touch-Based Biometric User Authentication
On Synchronizing Tree Automata and Their Work-Optimal Parallel Run, Usable for Parallel Tree Pattern Matching
Recommending Trips in the Archipelago of Refactorings
Dependable and Optimal Cyber-Physical Systems
Building a Fuzzy Transformation System
Web Pages Reordering and Clustering Based on Web Patterns
The k-Centre Problem for Classes of Cyclic Words
Enumerating Minimal Tropical Connected Sets
The Equational Theory of Weak Complete Simulation Semantics over BCCSP
Model-Driven Software Product Line Testing: An Integrated Approach
The Maximum k-Differential Coloring Problem
Multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs
An Algorithm for Probabilistic Alternating Simulation
Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test
Weighted Nearest Neighbor Algorithms for the Graph Exploration Problem on Cycles
Parameterized Dynamic Variants of Red-Blue Dominating Set
Component Change and Version Identification in SOFA
The Complexity of Problems on Implicitly Represented Inputs
SOFSEM 2025: Theory and Practice of Computer Science - 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II
Sequentially Swapping Tokens: Further on Graph Classes
Distance-Based Community Search (Invited Talk Extended Abstract)
Knowledge Neurons in the Knowledge Graph-based Link Prediction Models
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
Approximating Shortest Connected Graph Transformation for Trees
Theory of One Tape Linear Time Turing Machines
Modelling of the Fake Posting Recognition in On-Line Media Using Machine Learning
Comparative Study of Performance for 804.15.4 ZigBee and 6LoWPAN Protocols
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup
Efficient Tree Pattern Unification
A New Asymptotic Approximation Algorithm for 3-Dimensional Strip Packing
Cross-Layer Adaptation in Multi-layer Autonomic Systems (Invited Talk)
From OO Through Deduction to Active Databases - ROCK, ROLL & RAP
Metric Pseudoentropy: Characterizations and Applications
4-Coloring H-Free Graphs When H Is Small
Strong Bridges and Strong Articulation Points of Directed Graphs
On Compiling Structured Interactive Programs with Registers and Voices
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus
Information Leakage Analysis by Abstract Interpretation
Extensible modular neural network based system for human face recognition with filtering of similar faces
Behavioral Strengths and Weaknesses of Various Models of Limited Automata
Compact Encodings for All Local Path Information in Web Taxonomies with Application to WordNet
A Modular History-Oriented Access Structure for Bitemporal Relational Databases
Efficient Strong Sequentiality Using Replacement Restrictions
Decomposable Relaxation for Concurrent Data Structures
-Hardness of Pure Nash Equilibrium in Scheduling and Connection Games
Symbolic Semantics for Multiparty Interactions in the Link-Calculus
Proceedings of Student Research Forum Papers and Posters at SOFSEM 2016 co-located with 42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016), Harrachov, Czech Republic, January 23-28, 2016
Performance Analysis Patterns for Requirements Analysis
Data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles
Greedy Differential Approximations for Min Set Cover
Novel Results on the Number of Runs of the Burrows-Wheeler-Transform
Parameterized Approaches to Orthogonal Compaction
Michiko: Poem Models used in Automated Haiku Poetry Generation
Business Case Processing - Rationale, Survey and Trends
Mastering Erosion of Software Architecture in Automotive Software Product Lines
Deterministic Verification of Integer Matrix Multiplication in Quadratic Time
Analysis Patterns
Complexity of ascent finding problem
Finding Largest Common Substructures of Molecules in Quadratic Time
Restarting Automata with Rewriting
Fitting Planar Graphs on Planar Maps
Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
Creation, Population and Preprocessing of Experimental Data Sets for Evaluation of Applications for the Semantic Web
Towards High Speed Grammar Induction on Large Text Corpora
On Computational Completeness of Semi-Conditional Matrix Grammars
Sorting by Multi-cut Rearrangements
Row-Column Combination of Dyck Words
Bandwidth Constrained Multi-interface Networks
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences
Modelling and Verifying Mobile Systems Using pi-Graphs
Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane
A Software Architecture for Shared Resource Management in Mobile Ad Hoc Networks
Using Attribute Grammars to Model Nested Workflows with Extra Constraints
Aunt's Problem: Table Rounding
MDBAS-A Prototype of a Multidatabase Management System Based on Mobile Agents
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls
Learning in Order to Reason: The Approach
Security Constraints in Modeling of Access Control Rules for Dynamic Information Systems
Conformance Testing Techniques for Timed Systems
The Complexity of Flow Expansion and Electrical Flow Expansion
Constraints with Variables' Annotations and Constraint Hierarchies
Network Analysis of the Science of Science: A Case Study in SOFSEM Conference
3D_XML: A Three-Dimensional XML-Based Model
Approximate Structural Consistency
On Vision-Based Orientation Method of a Robot Head in a Dark Cylindrical Pipe
A Model of the Commit Size Distribution of Open Source
Interactive Indexing and Retrieval of Multimedia Content
Selection of a Green Logical Data Warehouse Schema by Anti-monotonicity Constraint
Dynamic Reconfiguration of CORBA-Based Applications
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
Quantum Walks with Multiple or Moving Marked Locations
A Management Scheme for the Basic Types in High Level Languages
Quantum Finite Automata and Logics
Do Null-Type Mutation Operators Help Prevent Null-Type Faults?
Building a Bridge between Mirror Neurons and Theory of Embodied Cognition
A Fast Approximation Scheme for the Multiple Knapsack Problem
Fast Approximate Point Set Matching for Information Retrieval
Bounds for the Number of Tests in Non-adaptive Randomized Algorithms for Group Testing
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
Weak Bisimilarity and Open Maps
Efficient Communication Schemes
Simultaneous FPQ-Ordering and Hybrid Planarity Testing
Randomness and Determination, from Physics and Computing towards Biology
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
Using Process Models to Understand Security Standards
Online Graph Coloring with Advice and Randomized Adversary - (Extended Abstract)
The Fundamental Problem of Database Design
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs
Constructing Interference-Minimal Networks
On the NP-Completeness of Some Graph Cluster Measures
On the Hardness of Energy Minimisation for Crystal Structure Prediction
A 116/13-Approximation Algorithm for L(2, 1)-Labeling of Unit Disk Graphs
Semantic Web Approach in Designing a Collaborative E-Item Bank System
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Group Communication: From Practice to Theory
Online Busy Time Scheduling with Untrusted Prediction
Specification and Verification of Secure Business Transaction Systems
Parallel Processing of Image Database Queries
A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata
Fast and Compact Prefix Codes
Basic Sets in the Digital Plane
Dominating an s-t-Cut in a Network
Distributed Computing by Mobile Robots: Exploring the Computational Landscape (Extended Abstract)
Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs
Compressed Prefix Sums
Order-Preserving 1-String Representations of Planar Graphs
Mobility Management Using Virtual Domain in IPv6-Based Cellular Networks
Algorithm for Intelligent Prediction of Requests in Business Systems
Positive Characteristic Sets for Relational Pattern Languages
Engineering Algorithms for Large Data Sets
Design Pattern Support Based on the Source Code Annotations and Feature Models
Algorithmic Aspects of Minimum Energy Edge-Disjoint Paths in Wireless Networks
Knowledge-Based Control Systems
Orthogonal Layout with Optimal Face Complexity
Quantum Finite Multitape Automata
Validation and Decomposition of Partially Occluded Images
UPV-CURRY: An Incremental CURRY Interpreter
Mining Spatial Gradual Patterns: Application to Measurement of Potentially Avoidable Hospitalizations
Bamboo Garden Trimming Problem (Perpetual Maintenance of Machines with Different Attendance Urgency Factors)
Concatenation Operations and Restricted Variants of Two-Dimensional Automata
A Formal Comparison of Visual Web Wrapper Generators
BioInformatics: Databases + Data Mining (abstract)
Mental map preserving cluster expansion
Progress on Crossing Number Problems
WWW Based Collaboration with the BSCW System
Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties
A Logical Basis for Modular Software and Systems Engineering
Distributed Independent Sets in Interval and Segment Intersection Graphs
Towards Knowledge Exchange: State-of-the-Art and Open Problems
Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks
Solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth
Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation
A PTAS for Scheduling Unrelated Machines of Few Different Types
Fastest, Average and Quantile Schedule
Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies
Computing q-Gram Non-overlapping Frequencies on SLP Compressed Texts
Burning Two Worlds
Data-Driven Powertrain Component Aging Prediction Using In-Vehicle Signals
Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs
Quantum Finite One-Counter Automata
A Short Introduction to Computational Social Choice
A Synchronisation Mechanism for Replicated Objects
Balancing Energy Consumption for the Establishment of Multi-interface Networks
Architecture-Based Reasoning About Performability in Component-Based Systems
Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis
The Simulation Relation for Formal E-Contracts
Geometric Rates of Approximation by Neural Networks
The Complexity of Online Graph Games
The HyperBagGraph DataEdron: An Enriched Browsing Experience of Datasets
Rapid Development of Web Interfaces to Heterogeneous Systems
Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions
SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings
The Power of Tokens: Rendezvous and Symmetry Detection for Two Mobile Agents in a Ring
A Methodology for Writing Class Contracts
Optical All-to-All Communication for Some Product Graphs
Folk Theorems on the Correspondence between State-Based and Event-Based Systems
How Can Computer Science Contribute to Knowledge Discovery?
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes
Matrix Semigroup Freeness Problems in SL (2, \mathbb Z)
Patrolling a Path Connecting a Set of Points with Unbalanced Frequencies of Visits
Size of Quantum Finite State Transducers
A New Family of Regular Operators Fitting with the Position Automaton Computation
Collisionless Gathering of Robots with an Extent
Attack against a Pairing Based Anonymous Authentication Protocol
A Polynomial Time Constructible Hitting Set for Restricted 1-Branching Programs of Width 3
Temporal Conversion Functions for Multitemporal Relational Databases
Dense Subgraphs in Biological Networks
Advantages of Dependency Parsing for Free Word Order Natural Languages
Maximally Permissive Controlled System Synthesis for Modal Logic
Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities
Exact Characterizations of Non-commutative Algebraic Complexity Without Homogeneity
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
The Approximability of Partial Vertex Covers in Trees
On the Formalization of UML Activities for Component-Based Protocol Design Specifications
On the Difference Between Finite-State and Pushdown Depth
Verification of Timed-Arc Petri Nets
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL
Modelling Resource Transitions in Constraint-Based Scheduling
On the Undecidability of the Tiling Problem
An Ontology-Driven Fuzzy Workflow System
The Complexity of Paging Against a Probabilistic Adversary
On Languages of One-Dimensional Overlapping Tiles
Generalising and Unifying SLUR and Unit-Refutation Completeness
Ontology-Based Schema Integration
A Deductive Database Support to the Specification of Concurrent Systems
How Much Information about the Future Is Needed?
Two-Player Competitive Diffusion Game: Graph Classes and the Existence of a Nash Equilibrium
Sufficient Conditions for a Connected Graph to Have a Hamiltonian Path
An Algorithm for Computation of the Scene Geometry by the Log-Polar Area Matching Around Salient Points
Does Live Regression Testing Help?
A New Proposal of Concurrent Process Calculus
On Separating Constant from Polynomial Ambiguity of Finite Automata
How Can Nature Help Us Compute?
Describing Self-assembly of Nanostructures
AODVv2: Performance vs. Loop Freedom
Unique-Maximum and Conflict-Free Coloring for Hypergraphs and Tree Graphs
Distance Vector Domination
Towards a Smart, Self-scaling Cooperative Web Cache
On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki
Computing Upward Planar Drawings Using Switch-Regularity Heuristics
Patrolling on Dynamic Ring Networks
An Optimization Problem Related to Bloom Filters with Bit Patterns
A Persistent-Set Approach to Abstract Stat-Space Construction in Verification
Effective Parallel Multicore-Optimized K-mers Counting Algorithm
Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems
Merging and Merge-Sort in a Single Hop Radio Network
Non-planar Orthogonal Drawings with Fixed Topology
Factorization for Component-Interaction Automata
Dominance Drawings for DAGs with Bounded Modular Width
Exact OBDD Bounds for Some Fundamental Functions
Scalable Fault Tolerance
Learning Automatic Families of Languages
Parikh's Theorem and Descriptional Complexity
A Machine Checked Soundness Proof for an Intermediate Verification Language
Multimedia Presentations Databases
Optimal State Reductions of Automata with Partially Specified Behaviors
The Parameterized Complexity of Centrality Improvement in Networks
Certification of Proving Termination of Term Rewriting by Matrix Interpretations
Algebraic Optimization of Relational Queries with Various Kinds of Preferences
Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem
Interval-Valued Data Structures and Their Application to e-Learning
Managing Reduction in Multidimensional Databases
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays
The Shortcut Problem - Complexity and Approximation
Fractional Bamboo Trimming and Distributed Windows Scheduling
Implementing the Aho-Corasick Automata for Phonetic Search
Best of Both: Using Semantic Web Technologies to Enrich User Interaction with the Web and Vice Versa
Discovering Motifs in Real-World Social Networks
SOFSEM 2025: Theory and Practice of Computer Science - 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I
Eco-Data Warehouse Design Through Logical Variability
Semantically-Aided Data-Aware Service Workflow Composition
Straightening Drawings of Clustered Hierarchical Graphs
Optimum Broadcasting in Complete Weighted-Vertex Graphs
Software Geography: Physical and Economic Aspects
Verifying Parametric Thread Creation
On the Redundancy of D-Ary Fano Codes
SOFSEM 2002: Theory and Practice of Informatics, 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
OLAP Cube-based Graph Approach for Bibliographic Data
The Simple Reachability Problem in Switch Graphs
Simple Algorithm for Sorting the Fibonacci String Rotations
Query Learning of Context-Deterministic and Congruential Context-Free Languages over Infinite Alphabets
Faster Winner Determination Algorithms for (Colored) Arc Kayles
How to Complete an Interactive Configuration Process?
Epistemic Strategies and Games on Concurrent Processes
SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings
Coherent Concepts, Robust Learning
A Temporal Layered Knowledge Architecture for an Evolving Structured Environment
On the Parameterized Complexity of the Perfect Phylogeny Problem
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals
Global vs. Local Semantics of BPMN 2.0 OR-Join
Enhancing Security by Embedding Biometric Data in IP Header
One-Reversal Counter Machines and Multihead Automata: Revisited
Combining Versioning and Metamodel Evolution in the ChronoSphere Model Repository
A Memetic Algorithm for Global Induction of Decision Trees
Recommending for Disloyal Customers with Low Consumption Rate
Tolerant Testing and Distance Estimation for Distributions Under Memory Constraints
An Introduction to Cryptology
Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules Through the Measures Themselves
On Some Weighted Satisfiability and Graph Problems
Improved Matrix Interpretation
Complexity of Model Checking for Modal Dependence Logic
Quantum Finite State Transducers
Accelerating Smart Play-Out
The Complexity of Finding k th Most Probable Explanations in Probabilistic Networks
SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15-18, 2023, Proceedings
Semi-strong Static Type Checking of Object-Oriented Query Languages
The P k Partition Problem and Related Problems in Bipartite Graphs
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems
Fixed-Parameter Tractable Algorithms for Testing Upward Planarity
Pay-as-you-go Data Integration: Experiences and Recurring Themes
Grover's Search with Faults on Some Marked Elements
On the Power of Advice and Randomization for the Disjoint Path Allocation Problem
External Memory Algorithms for Finding Disjoint Paths in Undirected Graphs
A Multi-dimensional Comparison of Ontology Design Patterns for Representing n -ary Relations
Databases and the World Wide Web
Well-Founded Metamodeling for Model-Driven Architecture
Software Components in Computer Assisted Living?
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
Operational Semantics of Framed Temporal Logic Programs
The Hyperdatabase Network - New Middleware for Searching and Maintaining the Information Space
PointNet with Spin Images
A Fixed-Parameter Algorithm for Max Edge Domination
World Wide Web Challenges: Supporting Users in Search and Navigation
Quantum Pushdown Automata with a Garbage Tape
Why Use Evolving Algebras for Hardware and Software Engineering?
The Complexity of Probabilistic versus Quantum Finite Automata
Lower Bounds on the OBDD Size of Graphs of Some Popular Functions
Factor Oracle: A New Structure for Pattern Matching
Hardness results for isomorphism and automorphism of bounded valence graphs
Software Engineering Meets Human-Computer Interaction: Integrating User Interface Design in an Object-Oriented Methodology
Picture Recognizability with Automata Based on Wang Tiles