yusuke1997/dblp-id-title huggingface dataset:
Exact Satisfiabitity with Jokers
The Hardness of Selective Network Design for Bottleneck Routing Games
QBF-Based Symbolic Model Checking for Knowledge and Time
On the OBDD Complexity of the Most Significant Bit of Integer Multiplication
Identity-Based Threshold Proxy Signature Scheme with Known Signers
Turbo-Charging Dominating Set with an FPT Subroutine: Further Improvements and Experimental Analysis
Approximation Algorithms for Graph Burning
Incremental List Coloring of Graphs, Parameterized by Conservation
Deterministic Coresets for Stochastic Matrices with Applications to Scalable Sparse PageRank
Similarity of Objects and the Meaning of Words
Learning AC 0 Under k-Dependent Distributions
The Structure of Detour Degrees
Fixed-Parameter Algorithms for Graph-Modeled Date Clustering
Nonlocal Quantum XOR Games for Large Number of Players
Hardness of Routing for Minimizing Superlinear Polynomial Cost in Directed Graphs
Computing Bits of Algebraic Numbers
An O ( n 2 ){\mathcal{O}}(n^2)-time Algorithm for the Minimal Interval Completion Problem
Robot Computing for Music Visualization
Approximation and Hardness Results for Label Cut and Related Problems
A Structural Approach to Prophecy Variables
Inapproximability of Maximum Weighted Edge Biclique and Its Applications
Energy and Fan-In of Threshold Circuits Computing Mod Functions
The Parameterized Complexity of Domination-Type Problems and Application to Linear Codes
Watson-Crick Jumping Finite Automata
A Fixed-Parameter Enumeration Algorithm for the Weighted FVS Problem
Semilattices of Punctual Numberings
Online Travelling Salesman Problem on a Circle
Intersection Dimension of Bipartite Graphs
Models of Intuitionistic Set Theories over Partial Combinatory Algebras
Linear-Time Algorithms for Graphs of Bounded Rankwidth: A Fresh Look Using Game Theory - (Extended Abstract)
Sumcheck-Based Delegation of Quantum Computing to Rational Server
Search Space Reductions for Nearest-Neighbor Queries
First-Order vs. Second-Order Encodings for LTL f -to-Automata Translation
Approximate #Knapsack Computations to Count Semi-fair Allocations
Learning from Non-iid Data: Fast Rates for the One-vs-All Multiclass Plug-in Classifiers
Two Improved Range-Efficient Algorithms for F 0 Estimation
On the Foundations of Universal Sequence Prediction
Selection by Recursively Enumerable Sets
Quadratic Lower Bounds on Matrix Rigidity
New Research Directions in the Information Age
Neural Computations That Support Long Mixed Sequences of Knowledge Acquisition Tasks
Electron Tomography and Multiscale Biology
On Mass Problems of Presentability
A Generic Set That Does Not Bound a Minimal Pair
Quantum Path Parallelism: A Circuit-Based Approach to Text Searching
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces
Constructions for Binary Codes Correcting Asymmetric Errors from Function Fields
A Complete Characterisation of the Linear Clique-Width of Path Powers
Disjunctive Propositional Logic and Scott Domains
On the Enumeration of Bicriteria Temporal Paths
An Improved Approximation Algorithm for the k-Supplier Problem with Parameterized Triangle Inequality
Constructive Upper Bounds on the Rectangle Eliminating Number in Grid Graphs
Temperature Aware Online Scheduling with a Low Cooling Factor
Approximation Algorithms for the Parallel-Machine Customer Order Scheduling with Weighted and Submodular Rejection Penalties
Graphs of Linear Clique-Width at Most 3
Automatic Verification of Real-Time Systems with Rich Data: An Overview
What Computers Do: Model, Connect, Engage
Community Structure in Large Complex Networks
A Bounded Item Bin Packing Problem over Discrete Distribution
More on Weak Bisimilarity of Normed Basic Parallel Processes
Reverse Mathematics, Projective Modules and Invertible Modules
Unshuffling Permutations: Trivial Bijections and Compositions
Structured Frequency Algorithms
A Compact Encoding of Unordered Binary Trees
The Two-Guard Polygon Walk Problem
Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
A Space-Partition Based Approach to the 2-Center Problem in Three and Higher Dimensions
Blocking Independent Sets for H-Free Graphs via Edge Contractions and Vertex Deletions
Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm
Some Recent Results in U-Shaped Learning
Efficient Algorithms for Model-Based Motif Discovery from Multiple Sequences
Submodular Minimization via Pathwidth
Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem
Towards Practical Computable Functions on Context-Free Languages
Quantum Circuits for the Unitary Permutation Problem
On the Connection between Interval Size Functions and Path Counting
A Parameterized Approximation Algorithm for the Diversity-Aware l-Centrum Problem
Approximation Algorithms for 3D Orthogonal Knapsack
Fast Exact Algorithm for L (2, 1)-Labeling of Graphs
Algorithms in the Ultra-Wide Word Model
Set Cover, Set Packing and Hitting Set for Tree Convex and Tree-Like Set Systems
An Automata-Theoretic Characterization of the Chomsky-Hierarchy
LP-Based Algorithms for Computing Maximum Vertex-Disjoint Paths with Different Colors
P 0 1 \it \Pi^0_1 Sets and Tilings
On the Low-Dimensional Steiner Minimum Tree Problem in Hamming Metric
Kernel and Fast Algorithm for Dense Triplet Inconsistency
Floorplans with Walls
New Algorithms for a Simple Measure of Network Partitioning
Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem
Graph Sharing Games: Complexity and Connectivity
An Approximation Algorithm for the B-prize-collecting Multicut Problem in Trees
Common Developments of Three Incongruent Boxes of Area 30
Computing Connected-k-Subgraph Cover with Connectivity Requirement
Switching to Hedgehog-Free Graphs Is NP-Complete
Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings
On the Boundedness Property of Semilinear Sets
Exploiting Restricted Linear Structure to Cope with the Hardness of Clique-Width
New Left-to-Right Radix- r Signed-Digit Recoding Algorithm for Pairing-Based Cryptosystems
On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas
A Bad Instance for k-Means++
Nondeterministic Separations
An Improved Parameterized Algorithm for a Generalized Matching Problem
Approximation Algorithms for Maximum Edge Coloring Problem
Minimax Regret 1-Sink Location Problems in Dynamic Path Networks
A Denotational Semantics for Total Correctness of Sequential Exact Real Programs
The Exact Subset MultiCover Problem
The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees
Synchronization of Some DFA
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data
Polynomial Time Construction of Ellipsoidal Approximations of Zonotopes Given by Generator Descriptions
Polynomial-Time Algorithms for Subgraph Isomorphism in Small Graph Classes of Perfect Graphs
Theory and Applications of Models of Computation, 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008. Proceedings
On the Amount of Nonconstructivity in Learning Recursive Functions
Space-Efficient Graph Kernelizations
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants
A Separation between Divergence and Holevo Information for Ensembles
Separation of Data Via Concurrently Determined Discriminant Functions
A Note on Obfuscation for Cryptographic Functionalities of Secret-Operation Then Public-Encryption
Group-Theoretic Lower Bounds for the Complexity of Matrix Multiplication
Dispersing and Grouping Points on Segments in the Plane
Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
On the Complexity of the Multiple Stack TSP, kSTSP
L (2, 1, 1)-Labeling Is NP-Complete for Trees
On the Complexity of Measurement in Classical Physics
Nontriviality for Exponential Time w.r.t. Weak Reducibilities
Offensive Alliances in Signed Graphs
An Improved Kernel for Planar Connected Dominating Set
Some Combinatorial Algorithms on the Edge Cover Number of k-Regular Connected Hypergraphs
There is an Sw-Cuppable Strongly c.e. Real
A Categorical Treatment of Malicious Behavioral Obfuscation
Proving Liveness Property under Strengthened Compassion Requirements
Online Optimization of Busy Time on Parallel Machines - (Extended Abstract)
Constrained Distributed Heterogeneous Two-Facility Location Problems with Max-Variant Cost
Further Properties of Cayley Digraphs and Their Applications to Interconnection Networks
Lower Bounds for Testing Computability by Small Width OBDDs
Approximability of the Subset Sum Reconfiguration Problem
Computable Isomorphisms of Distributive Lattices
Improved Approximation Bounds for the Student-Project Allocation Problem with Preferences over Projects
Hilbert's Tenth Problem for Subrings of ℚ and Number Fields (Extended Abstract)
Inductive Inference and Language Learning
Modular Form Approach to Solving Lattice Problems
A Quadratic Kernel for 3-Set Packing
A Tight Lower Bound Instance for k-means++ in Constant Dimension
On Non-binary Quantum BCH Codes
An Improved Kernel and Parameterized Algorithm for Almost Induced Matching
Automatic Classification of Protein Structures Based on Convex Hull Representation by Integrated Neural Network
On Representations of Abstract Systems with Partial Inputs and Outputs
Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts
A Detailed Study of the Dominating Cliques Phase Transition in Random Graphs
Total Degrees and Nonsplitting Properties of Enumeration Degrees
Immunity Properties and the n -C.E. Hierarchy
t -Private and Secure Auctions
Model Theoretic Complexity of Automatic Structures (Extended Abstract)
R-Calculus: A Logical Inference System for Scientific Discovery
Quantum Multiparty Communication Complexity and Circuit Lower Bounds
Path Embedding on Folded Hypercubes
Linear Vertex-kernels for Several Dense Ranking r -Constraint Satisfaction Problems
Revisiting the Minimum Breakpoint Linearization Problem
A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns
The Existence of Unsatisfiable Formulas in k -LCNF for k >=3
Time Efficient Implementation for Online K-Server Problem on Trees
Lower Bounds for the Smoothed Number of Pareto Optimal Solutions
Fine-Tuning Decomposition Theorem for Maximum Weight Bipartite Matching
Protein Structure Comparison Based on a Measure of Information Discrepancy
On PAC Learning Algorithms for Rich Boolean Function Classes
On Differences Among Elementary Theories of Finite Levels of Ershov Hierarchies
An Improved Sufficient Condition for Reconfiguration of List Edge-Colorings in a Tree
A Linear-Time Algorithm for Finding All Door Locations That Make a Room Searchable
On Martin-Löf Convergence of Solomonoff's Mixture
Approximation Algorithms for Robust Clustering Problems Using Local Search Techniques
On the Internal Steiner Tree Problem
Theory and Applications of Models of Computation - 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
Bounding the Dimension of Points on a Line
Realizing Monads in Interaction Nets via Generic Typed Rules
Kolmogorov Complexity and Combinatorial Methods in Communication Complexity
Mitosis in Computational Complexity
Exact and Experimental Algorithms for a Huffman-Based Error Detecting Code
Lowness for Weakly 1-generic and Kurtz-Random
Kernelizations for Parameterized Counting Problems
Convergence and Linear Convergence of Alternated Inertial Projection Algorithm for Split Feasibility Problems
Degrees of Word Problem for Algebras Without Finitely Presented Expansions
Balancing Traffic Load Using One-Turn Rectilinear Routing
Invertible Classes
Non-reducible Descriptions for Conditional Kolmogorov Complexity
Theory of Computation as an Enabling Tool for the Sciences
Characterization of the Imbalance Problem on Complete Bipartite Graphs
k-means++ under Approximation Stability
Optimal Acceptors and Optimal Proof Systems
Prediction-Augmented Mechanism Design for Weighted Facility Location
High Minimal Pairs in the Enumeration Degrees
Any Monotone Property of 3-Uniform Hypergraphs Is Weakly Evasive
Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures
Eternal Connected Vertex Cover Problem
Enumeration Degrees of the Bounded Total Sets
Maximal Models of Assertion Graph in GSTE
Two-Stage Submodular Maximization Problem Beyond Non-negative and Monotone
Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable
Computing the Exact Distribution Function of the Stochastic Longest Path Length in a DAG
Strategies for Non-myopic Users in EIP-1559
Generalized Satisfiability for the Description Logic ALC - (Extended Abstract)
On the Cost of Simulating a Parallel Boolean Automata Network by a Block-Sequential One
Exact and Approximation Algorithms for PMMS Under Identical Constraints
Approximately Optimal Trees for Group Key Management with Batch Updates
On the Polynomial Depth of Various Sets of Random Strings
Fault-Tolerant Total Domination via Submodular Function Approximation
Indistinguishability and First-Order Logic
Separation Between Walksat and DPLL
Closed Left-R.E. Sets
Deterministic Hot-Potato Permutation Routing on the Mesh and the Torus
On the Power of Counting the Total Number of Computation Paths of NPTMs
Coordination Mechanisms for Selfish Parallel Jobs Scheduling - (Extended Abstract)
Fast Searching on Cartesian Products of Graphs
Approximating Minimum Cost Source Location Problems with Local Vertex-Connectivity Demands
Variable Minimal Unsatisfiability
Synchronizing Words and Monoid Factorization: A Parameterized Perspective
An Improved Exact Algorithm for Maximum Induced Matching
Counting Minimal Dominating Sets
On Coresets for Support Vector Machines
qPCF: A Language for Quantum Circuit Computations
Online Deadline Scheduling with Bounded Energy Efficiency
Deterministic Distributed Data Aggregation under the SINR Model
Energy-Efficient Threshold Circuits Detecting Global Pattern in 1-Dimentional Arrays
Ratio Based Stable In-Place Merging
Priority Queues and Sorting for Read-Only Data
Binary De Bruijn Partial Words with One Hole
Grey Reinforcement Learning for Incomplete Information Processing
The Laplacian Paradigm: Emerging Algorithms for Massive Graphs
Local 7-Coloring for Planar Subgraphs of Unit Disk Graphs
Resolving Rooted Triplet Inconsistency by Dissolving Multigraphs
Energy and Output Patterns in Boolean Circuits
Star Shaped Orthogonal Drawing
On the Power of Oritatami Cotranscriptional Folding with Unary Bead Sequence
Bounded Treewidth and Space-Efficient Linear Algebra
On the Red/Blue Spanning Tree Problem
Derandomizing Graph Tests for Homomorphism
The Strength of the SCT Criterion
Genome Rearrangement Algorithms for Unsigned Permutations with O(logn) Singletons
Non-crossing Connectors in the Plane
Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Unary Automatic Graphs: An Algorithmic Perspective
The Complexity of Finding Effectors
Efficient Algorithms for the Label Cut Problems
Partial Sums on the Ultra-Wide Word RAM
Enhancing Simulation for Checking Language Containment
An O*(3.523k) Parameterized Algorithm for 3-Set Packing
Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions
Tight Double Exponential Lower Bounds
Generalized Domination in Degenerate Graphs: A Complete Dichotomy of Computational Complexity
A Distributed Algorithm for Robust Sequential Submodular Optimization in Multi-robot Systems
Grey-Box Public-Key Steganography
Block-Graph Width
On the Quotient Structure of Computably Enumerable Degrees Modulo the Noncuppable Ideal
Approximation to the Minimum Rooted Star Cover Problem
An Observation on Non-Malleable Witness-Indistinguishability and Non-Malleable Zero-Knowledge
A Case Study on Partial Evaluation in Embedded Software Design
Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
Parallelizing Software-Implemented Error Detection
Motivations and support for single nested scoping in Ravenscar-Java
Cost-Performance Tradeoff for Embedded Systems
An Input Widget Framework for Multi-Modal and Multi-Device Environments
Configurable Virtual Platform Environment Using SID Simulator and Eclipse
Time Synchronization in Wireless Sensor Network Applications
Concurrency and Communication: Lessons from the SHIM Project
A multi-agent based framework for collaborative testing on Web services
Using UML 2.1 to Model Multi-agent Systems
Ubiquitous device collaboration infrastructure: Celadon
Service selection for ubiquitous computing environment using situation awareness
Quality Attributes in Wireless Sensor Networks
Cyber Biosphere for Future Embedded Systems
Locks Considered Harmful: A Look at Non-traditional Synchronization
Implementation of an Obfuscation Tool for C/C++ Source Code Protection on the XScale Architecture
A Wireless System for Real-Time Environmental and Structural Monitoring
Connecting heterogeneous sensor networks with IP based wire/wireless networks
Towards Time-Predictable Data Caches for Chip-Multiprocessors
Dynamic skill-based software architecture for locomotion control in shape reconfigurable mobile robots
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation
Overview of Multicore Requirements towards Real-Time Communication
From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach
DNS-based load balancing in distributed Web-server systems
A Strategy for Application-Transparent Integration of Nomadic Computing Domains
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems
Model-Based Analysis of Contract-Based Real-Time Scheduling
Component-Based Design of Embedded Systems
HiperSense: An Integrated System for Dense Wireless Sensing and Massively Scalable Data Visualization
An Operating System for a Time-Predictable Computing Node
Vector Graphic Reference Implementation for Embedded System
Guiding Organic Management in a Service-Oriented Real-Time Middleware Architecture
BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network
A framework for supporting autonomous navigation in automobiles
Simultaneous Logging and Replay for Recording Evidences of System Failures
Context-Aware Middleware for Reliable Multi-hop Multi-path Connectivity
MapReduce System over Heterogeneous Mobile Devices
Lifestyle Ubiquitous Gaming: Computer Games Making Daily Lives Fun
A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
A QoS Routing Protocol for Mobile Ad Hoc Networks Based on a Reservation Pool
Effective Appliance Selection by Complementary Context Feeding in Smart Home System
Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems
An Approach for Energy-Aware Management in Ubiquitous Home Network Environment
M-Geocast: Robust and Energy-Efficient Geometric Routing for Mobile Sensor Networks
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller
Static Composition of Service-Based Real-Time Applications
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata
A semantic Web services driven application on humanoid robots
Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
Nimbus: a task aware/context aware mobile computing platform
Speech Recognition System Using DHMMs Based on Ubiquitous Environment
An Investigation on Flexible Communications in Publish/Subscribe Services
Model-Integrated Development of Cyber-Physical Systems
Toward Integrated Virtual Execution Platform for Large-Scale Distributed Embedded Systems
Weaving adaptation semantic specification into scudware middleware for ubiquitous computing
An architecture for providing Java applications with indoor and outdoor hybrid location sensing
An intelligent access control for Web services based on service oriented architecture platform
Mobile Agents for Digital Signage
Impact of practical models on power aware broadcast protocols for wireless ad hoc and sensor networks
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices Interoperability
Experimental Analysis on Time-Triggered Power Consumption Measurement with DVS-Enabled Multiple Power Domain Platform
On Self-aware Delay Time Based Service Request Optimization for Gateway Stability in Autonomic Self-healing Systems
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
Time-Predictable Computing
Healthcare Information Management System in Home Environment
Transparent and Selective Real-Time Interrupt Services for Performance Improvement
Physical/Cyber Objects Management Framework for Multiple-Area Detectable RFID
A changeable data structure model for dynamic e-business applications
Design and Experimental Validation of UAV Control System Software Based on the TMO Structuring Scheme
Algorithmic implementation and efficiency maintenance of real-time environment using low-bitrate wireless communication
Mesovirtualization: Lightweight Virtualization Technique for Embedded Systems
On Scalable Synchronization for Distributed Embedded Real-Time Systems
Model checking technologies for Web services
A differentiated service mechanism considering SLA for heterogeneous cluster Web systems
Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems
An implementation of sentential KSSL recognition and representation system for interpersonal communication based on the post wearable PC
SharedSpace Based Service Discovery Mechanism and Its Implementation for Ubiquitous Environments
On-Line Model Checking as Operating System Service
An Efficient Location Index for the Semantic Search of Moving Objects
Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks with Abstract State Machines
Semi-automatic SOAP-RPC object-type conversion for ebXML test framework
Ontology Based Context Alignment for Heterogeneous Context Aware Services
CARDAMOM: A Next Generation Mission and Safety Critical Enterprise Middleware
Hierarchical situation modeling and reasoning for pervasive computing
An Energy-Efficient k -Disjoint-Path Routing Algorithm for Reliable Wireless Sensor Networks
Supporting Mobile Ubiquitous Applications with Mobility Prediction and Soft Handoff
The Role of Field Data for Analyzing the Dependability of Short Range Wireless Technologies
An Algorithm to Ensure Spatial Consistency in Collaborative Photo Collections
Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing
Mission Modes for Safety Critical Java
Improving Real-Time Performance of a Virtual Machine Monitor Based System
EMWF: A Middleware for Flexible Automation and Assistive Devices
Dynamic Translator-Based Virtualization
UPnP based intelligent multimedia service architecture for digital home network
VeryIDX - A Digital Identity Management System for Pervasive Computing Environments
TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring
Towards a Statistical Model of a Microprocessor's Throughput by Analyzing Pipeline Stalls
Negotiation mechanisms on application level: a new approach to improve quality of service in Web servers
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
Applying context summarization techniques in pervasive computing systems
Intelligent Context-Awareness System Using Improved Self-adaptive Back Propagation Algorithm
An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems