|
Conferences in DBLP
Forcing Monotonicity in Parameterized Verification: From Multisets to Words. [Citation Graph (, )][DBLP]
Research Issues in the Automated Testing of Ajax Applications. [Citation Graph (, )][DBLP]
Essential Performance Drivers in Native XML DBMSs. [Citation Graph (, )][DBLP]
Continuous Processing of Preference Queries in Data Streams. [Citation Graph (, )][DBLP]
Clock Synchronization: Open Problems in Theory and Practice. [Citation Graph (, )][DBLP]
Regret Minimization and Job Scheduling. [Citation Graph (, )][DBLP]
Lessons in Software Evolution Learned by Listening to Smalltalk. [Citation Graph (, )][DBLP]
The Web of Things: Extending the Web into the Real World. [Citation Graph (, )][DBLP]
Web Science: The Digital-Heritage Case. [Citation Graph (, )][DBLP]
Model-Driven Software Product Line Testing: An Integrated Approach. [Citation Graph (, )][DBLP]
Taming the Complexity of Inductive Logic Programming. [Citation Graph (, )][DBLP]
A Rule Format for Unit Elements. [Citation Graph (, )][DBLP]
Approximability of Edge Matching Puzzles. [Citation Graph (, )][DBLP]
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks. [Citation Graph (, )][DBLP]
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls. [Citation Graph (, )][DBLP]
Fast Arc-Annotated Subsequence Matching in Linear Space. [Citation Graph (, )][DBLP]
Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs. [Citation Graph (, )][DBLP]
A Kernel for Convex Recoloring of Weighted Forests. [Citation Graph (, )][DBLP]
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space. [Citation Graph (, )][DBLP]
A Social Vision of Knowledge Representation and Reasoning. [Citation Graph (, )][DBLP]
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki. [Citation Graph (, )][DBLP]
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances. [Citation Graph (, )][DBLP]
On a Labeled Vehicle Routing Problem. [Citation Graph (, )][DBLP]
Improved Matrix Interpretation. [Citation Graph (, )][DBLP]
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays. [Citation Graph (, )][DBLP]
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL. [Citation Graph (, )][DBLP]
Perfect Matching for Biconnected Cubic Graphs in O(n log2n) Time. [Citation Graph (, )][DBLP]
Destructive Rule-Based Properties and First-Order Logic. [Citation Graph (, )][DBLP]
Learning User Preferences for 2CP-Regression for a Recommender System. [Citation Graph (, )][DBLP]
Parallel Randomized Load Balancing: A Lower Bound for a More General Model. [Citation Graph (, )][DBLP]
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem. [Citation Graph (, )][DBLP]
Linear Complementarity Algorithms for Infinite Games. [Citation Graph (, )][DBLP]
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test. [Citation Graph (, )][DBLP]
Practically Applicable Formal Methods. [Citation Graph (, )][DBLP]
Fast and Compact Prefix Codes. [Citation Graph (, )][DBLP]
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes. [Citation Graph (, )][DBLP]
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations. [Citation Graph (, )][DBLP]
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph. [Citation Graph (, )][DBLP]
On the Complexity of the Highway Pricing Problem. [Citation Graph (, )][DBLP]
Accelerating Smart Play-Out. [Citation Graph (, )][DBLP]
Optimum Broadcasting in Complete Weighted-Vertex Graphs. [Citation Graph (, )][DBLP]
On Contracting Graphs to Fixed Pattern Graphs. [Citation Graph (, )][DBLP]
Dynamic Edit Distance Table under a General Weighted Cost Function. [Citation Graph (, )][DBLP]
How to Complete an Interactive Configuration Process? [Citation Graph (, )][DBLP]
Design Patterns Instantiation Based on Semantics and Model Transformations. [Citation Graph (, )][DBLP]
A Complete Symbolic Bisimulation for Full Applied Pi Calculus. [Citation Graph (, )][DBLP]
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases. [Citation Graph (, )][DBLP]
Picture Recognizability with Automata Based on Wang Tiles. [Citation Graph (, )][DBLP]
Unilateral Orientation of Mixed Graphs. [Citation Graph (, )][DBLP]
Maintaining XML Data Integrity in Programs. [Citation Graph (, )][DBLP]
Improving Classification Performance with Focus on the Complex Areas. [Citation Graph (, )][DBLP]
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions. [Citation Graph (, )][DBLP]
Source Code Rejuvenation Is Not Refactoring. [Citation Graph (, )][DBLP]
Empirical Evaluation of Strategies to Detect Logical Change Dependencies. [Citation Graph (, )][DBLP]
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup. [Citation Graph (, )][DBLP]
An Amortized Search Tree Analysis for k-Leaf Spanning Tree. [Citation Graph (, )][DBLP]
Approximate Structural Consistency. [Citation Graph (, )][DBLP]
Comprehensive System for Systematic Case-Driven Software Reuse. [Citation Graph (, )][DBLP]
Comparison of Scoring and Order Approach in Description Logic EL(D). [Citation Graph (, )][DBLP]
Homophily of Neighborhood in Graph Relational Classifier. [Citation Graph (, )][DBLP]
Multilanguage Debugger Architecture. [Citation Graph (, )][DBLP]
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining. [Citation Graph (, )][DBLP]
Finding and Certifying Loops. [Citation Graph (, )][DBLP]
Vertex Ranking with Capacity. [Citation Graph (, )][DBLP]
|