yusuke1997/dblp-id-title huggingface dataset:
Automatic Summarization for Chinese Text Based on Sub Topic Partition and Sentence Features
A Network Construction Solution in Colleges or Universities
An Improved Computer Notary System Protocols
Research on Genetic Algorithm Based on Pyramid Model
Trust Based Secure Localization in Wireless Sensor Networks
A Survey of Computer Graphics and Graphics Image Processing Technology
The EEG Signal Process Based on EEMD
Formal Specification for Byzantine Fault Tolerant Algorithm Suiting Web Services
Model Update Particle Filter for Multiple Objects Detection and Tracking
The Shapes of Halftone-AM-Dots Based on Information Hiding
IPv4 to IPv6 Transition Research Based on the Campus Network
Study on Histogram Equalization
Optimization of Masking Expansion Algorithm in Psychoacoustic Models
A Deterministic Protocol for Rational Secret Sharing in Asynchronous Model
Integrated Visual Saliency Based Local Feature Selection for Image Retrieval
A New Trust Evaluation Model Based on Cloud Theory in E-Commerce Environment
A Comprehensive Trust Model with Multi-participant Viewpoints in Online Auctions
An Improved Multi-objective Population Migration Optimization Algorithm
A Hybrid Watermarking Technique to Resist Tampering and Copy Attacks
A Parallel Gaussian Filtering Algorithm Based on Color Difference
Research of Circular-Like Satellite Formation Flying at Critical Inclination
A New Population Migration Algorithm Based on the Chaos Theory
Intelligent High-Voltage Discharge Fault Detection and Its Diagnosis Methods Based on ANN
The Design and Implementation of C-like Language Interpreter
Numerical Simulation and Analysis of Cavitation Characteristics of Ship Propeller
Applied Study on Information Technology and College English Teaching Integration
2nd International Symposium on Intelligence Information Processing and Trusted Computing, IPTC 2011, Wuhan, China, October 22-23, 2011
Research of Electronic Equipment Fault Diagnosis Algorithm Based on RBF Neural Network
An Active Data Leakage Prevention Model for Insider Threat
VISHNU: A Software Behavior Trustworthiness Control Method Based on DRTM
Some Remarks on Charactertics Function and Density Function of Uncertain Variable
Robust Control of One Arm Space Manipulator with Parameters Uncertainties Compensated
The Research on Anisotropic Parameter Estimation for Vertical Transerse Isotropy: Based on 3D VSP, Walkaway VSP and Full Azimuth Seismic Data
An Improved Bayesian Algorithm for Filtering Spam E-Mail
Teaching and Research of Cryptography in Information and Computer Science
Network Security Mechanisms Research
Machine Learning Methods and Their Application Research
An Optimization for CAVLC Code Table Lookup Algorithm in H.264 Decoder
A High Speed Parallel Timing Recovery Algorithm and Its FPGA Implementation
The Application of MapReduce in the Cloud Computing
Study on Approach to Improve the Quality of Veterinary Medicine Graduates by Strengthen Practical Skills
Exploration and Example for Mathematical Application Issues in U.S. Mathematics Textbooks
Design and Analysis on Direct Anonymous Attestation for Security Chip
An Improved Binary Image Watermarking Algorithm Based on Singular Value Decomposition
A Self Adaptive Jamming Strategy to Restrict Covert Timing Channel
Efficient Power Saving Adaptive Routing Protocol (EPSAR) for MANETs Using AODV and DSDV: Simulation and Feasibility Analysis
An Analytic Network Process Model of Trust in B2C E-Commerce
A New Method for Impossible Differential Cryptanalysis of 7-Round AES-192
Research on Thin AP Architecture to Deploy Campus WLAN
Research and Application of the Stronger Security Dual Signature
Trusted Bytecode Virtual Machine Module: Towards Dynamic Remote Attestation in Cloud Computing
A Cooperative Relay Method and Performance for Wireless Networks
A Deconvolution Approach of 2D Data Statistical
The Color Components' Exchanging on Different Color Spaces and the Using for Image Segmentation
Contextual Data Extraction and Instance-Based Integration
Cross-Fertilizing Deep Web Analysis and Ontology Enrichment
Search Computing Meets Data Extraction
Minimizing the Costs of the Training Data for Learning Web Wrappers
Enhanced Visualization for Web-Based Summaries
Semantic Search: from Names and Phrases to Entities and Relations
The Future of Information Discovery and Search: Content Optimization, Interactivity, Semantics, and Social Networks
DeepDive: Web-scale Knowledge-base Construction using Statistical Learning and Inference
Thematic Exploration of Linked Data
Dealing with the Deep Web and all its Quirks
The Power of Integrated Abstraction for Data-Centric Human/Machine Computations
On Principles of Egocentric Person Search in Social Networks
Proceedings of the First International Workshop on Searching and Integrating New Web Data Sources - Very Large Data Search, Seattle, WA, USA, September 2, 2011
Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents
Searching Social Updates for Topic-centric Entities
Generating Linked Data by Inferring the Semantics of Tables
Think before you Act! Minimising Action Execution in Wrappers
Hierarchical Clustering on HDP Topics to build a Semantic Tree from Text
Dynamic Visualizations for Multi-Domain Search Results
Use of Query Similarity for Improving Presentation of News Verticals
Designing a Revenue Mechanism for Federated Search Engines
Query-Time Reasoning in Uncertain RDF Knowledge Bases with Soft and Hard Rules
Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, Istanbul, Turkey, August 31, 2012
Finding Totally Independent Spanning Trees with Linear Integer Programming
Reducing the Clique and Chromatic Number via Edge Contractions and Vertex Deletions
Characterization and Approximation of Strong General Dual Feasible Functions
Efficient Algorithms for Measuring the Funnel-Likeness of DAGs
Layered Formulation for the Robust Vehicle Routing Problem with Time Windows
Reducing Treewidth for SAT-Related Problems Using Simple Liftings
High Multiplicity Strip Packing with Three Rectangle Types
Sequencing Stochastic Jobs with a Single Sample
Second-Price Ad Auctions with Binary Bids and Markets with Good Competition
Sum-of-Squares Rank Upper Bounds for Matching Problems
Crystal Trees
The Non-Disjoint m-Ring-Star Problem: Polyhedral Results and SDH/SONET Network Design
Characterising Chordal Contact B_0 -VPG Graphs
Towards Minimizing k-Submodular Functions
Nash Balanced Assignment Problem
Maximum Concurrent Flow with Incomplete Data
Unrelated Parallel Machine Scheduling Problem with Precedence Constraints: Polyhedral Analysis and Branch-and-Cut
The Next Release Problem: Complexity, Exact Algorithms and Computations
On a Geometric Graph-Covering Problem Related to Optimal Safety-Landing-Site Location
A Full Description of Polytopes Related to the Index of the Lowest Nonzero Row of an Assignment Matrix
A Generalization of the Minimum Branch Vertices Spanning Tree Problem
Selective Graph Coloring in Some Special Classes of Graphs
Optimal Vaccination Strategies for Multiple Dose Vaccinations
Combinatorial Optimization - 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Approximating the k -Set Packing Problem by Local Improvements
Combinatorial Optimization - 7th International Symposium, ISCO 2022, Virtual Event, May 18-20, 2022, Revised Selected Papers
On a General Framework for Network Representability in Discrete Optimization - (Extended Abstract)
Aircraft Sequencing Problems via a Rolling Horizon Algorithm
A Multi-period Bi-level Stochastic Programming with Decision Dependent Uncertainty in Supply Chains
A Polyhedral Study for the Buy-at-Bulk Facility Location Problem
Parameterized Algorithms for Module Map Problems
b-Coloring is NP-Hard on Co-Bipartite Graphs and Polytime Solvable on Tree-Cographs
The Computational Complexity of Stochastic Optimization
Structure Theorems for Optimum Hyperpaths in Directed Hypergraphs
Towards a Polynomial Equivalence Between k -Packing Functions and k-Limited Packings in Graphs
On the Complexity of the Minimum Chromatic Violation Problem
An Exact Algorithm for the Split-Demand One-Commodity Pickup-and-delivery Travelling Salesman Problem
Dynamic and Stochastic Rematching for Ridesharing Systems: Formulations and Reductions
Polyhedral Analysis and Branch-and-Cut for the Structural Analysis Problem
The Packing Coloring Problem for (q, q-4) Graphs
The Envy-Free Pricing Problem and Unit-Demand Markets
Descent with Mutations Applied to the Linear Ordering Problem
Constrained Matching Problems in Bipartite Graphs
The Dominating Set Polytope via Facility Location
Shared Multicast Trees in Ad Hoc Wireless Networks
MIP Formulations for a Rich Real-World Lot-Sizing Problem with Setup Carryover
Polyhedra Associated with Open Locating-Dominating and Locating Total-Dominating Sets in Graphs
On the Asymmetric Connected Facility Location Polytope
Rectilinear Shortest Path and Rectilinear Minimum Spanning Tree with Neighborhoods
Anchored Rescheduling Problems Under Generalized Precedence Constraints
Improving Proximity Bounds Using Sparsity
Differential Approximation of the Multiple Stacks TSP
On Vertices and Facets of Combinatorial 2-Level Polytopes
Improved Bounds for Stochastic Extensible Bin Packing Under Distributional Assumptions
On Robust Lot Sizing Problems with Storage Deterioration, with Applications to Heat and Power Cogeneration
Maximum Throughput Network Routing Subject to Fair Flow Allocation
On Disjunction Convex Hulls by Lifting
Uniqueness of Equilibria in Atomic Splittable Polymatroid Congestion Games
Proactive Reactive Scheduling in Resource Constrained Projects with Flexibility and Quality Robustness Requirements
Bounded Variation in Binary Sequences
Models and Algorithms for Robust Network Design with Several Traffic Scenarios
The Distance Polytope for the Vertex Coloring Problem
Compact MILP Formulations for the p-Center Problem
Decomposition Algorithm for the Single Machine Scheduling Polytope
On the Multiple Steiner Traveling Salesman Problem with Order Constraints
Fair Energy Allocation for Collective Self-consumption
An Algebraic Approach to Symmetric Extended Formulations
An Efficient Matheuristic for the Inventory Routing Problem
A Heuristic for Maximising Energy Efficiency in an OFDMA System Subject to QoS Constraints
Diagonally Dominant Programming in Distance Geometry
Online Firefighting on Trees
Graph Orientations Optimizing the Number of Light or Heavy Vertices
Polynomial Scheduling Algorithm for Parallel Applications on Hybrid Platforms
Few Induced Disjoint Paths for H-Free Graphs
Scheduling with Non-renewable Resources: Minimizing the Sum of Completion Times
Alternating Current Optimal Power Flow with Generator Selection
Approximability and Exact Resolution of the Multidimensional Binary Vector Assignment Problem
Even Flying Cops Should Think Ahead
Fixed-Parameter Algorithms for Cardinality-Constrained Graph Partitioning Problems on Sparse Graphs
A Decomposition Approach for Single Allocation Hub Location Problems with Multiple Capacity Levels
A Fast Large Neighborhood Search for Disjunctively Constrained Knapsack Problems
Subexponential Fixed-Parameter Algorithms for Partial Vector Domination
Polynomial-Time Approximation Schemes for a Class of Integrated Network Design and Scheduling Problems with Parallel Identical Machines
An Integer Programming Formulation for the Maximum k-Subset Intersection Problem
The Distance Matching Problem
Lovász-Schrijver PSD-Operator on Some Graph Classes Defined by Clique Cutsets
Modelling and Solving the Joint Order Batching and Picker Routing Problem in Inventories
The Maximum Matrix Contraction Problem
The Multi-terminal Vertex Separator Problem: Polytope Characterization and TDI-ness
Extended Formulations, Nonnegative Factorizations, and Randomized Communication Protocols
Cardinality Constrained Multilinear Sets
The Stop Number Minimization Problem: Complexity and Polyhedral Analysis
Open-Separating Dominating Codes in Graphs
Towards an Accurate Solution of Wireless Network Design Problems
An Integer Programming Approach to the Student-Project Allocation Problem with Preferences over Projects
Neuron Pairs in Binarized Neural Networks Robustness Verification via Integer Linear Programming
Heuristic Approaches for the Robust Vehicle Routing Problem
A Polyhedral View to Generalized Multiple Domination and Limited Packing
Mitigating Anomalies in Parallel Branch-and-Bound Based Algorithms for Mixed-Integer Nonlinear Optimization
Cluster Editing with Vertex Splitting
Semidefinite Relaxations for Mixed 0-1 Second-Order Cone Program
Graph Orientation with Splits
A Novel SDP Relaxation for the Quadratic Assignment Problem Using Cut Pseudo Bases
Improved Algorithms for k-Domination and Total k-Domination in Proper Interval Graphs
State Space Reduced Dynamic Programming for the Aircraft Sequencing Problem with Constrained Position Shifting
Lovász-Schrijver PSD-Operator on Claw-Free Graphs
On Permuting Some Coordinates of Polytopes
Lovász and Schrijver N_+ -Relaxation on Web Graphs
On Bounded Pitch Inequalities for the Min-Knapsack Polytope
Benders Decomposition for Capacitated Network Design
The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation
Jointly Optimizing Replica Placement, Requests Distribution and Server Storage Capacity on Content Distribution Networks
Exploiting a Hypergraph Model for Finding Golomb Rulers
Mathematical Programming Models for Traffic Engineering in Ethernet Networks Implementing the Multiple Spanning Tree Protocol
Combinatorial Optimization - 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised Selected Papers
Polytope Membership in High Dimension
On the Linear Relaxation of the s-t-cut Problem with Budget Constraints
Maximum Generalized Assignment with Convex Costs
Combinatorial Optimization - 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers
Active Set Methods with Reoptimization for Convex Quadratic Integer Programming
k -Packing Functions of Graphs
Combinatorial Optimization - 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers
The Knapsack Problem with Forfeits
Vulnerability Assessment of Spatial Networks: Models and Solutions
An Algorithm for Finding a Representation of a Subtree Distance
New Classes of Facets for Complementarity Knapsack Problems
A PTAS for the Time-Invariant Incremental Knapsack Problem
Lagrangean Decomposition for Mean-Variance Combinatorial Optimization
Neighborhood Persistency of the Linear Optimization Relaxation of Integer Linear Optimization
The Constrained-Routing and Spectrum Assignment Problem: Valid Inequalities and Branch-and-Cut Algorithm
Preemptively Guessing the Center
Minimum Ratio Cover of Matrix Columns by Extreme Rays of Its Induced Cone
On Solving the Rooted Delay- and Delay-Variation-Constrained Steiner Tree Problem
Approximating the Caro-Wei Bound for Independent Sets in Graph Streams
Cut and Flow Formulations for the Balanced Connected k-Partition Problem
On the Finite Optimal Convergence of Logic-Based Benders' Decomposition in Solving 0-1 Min-Max Regret Optimization Problems with Interval Costs
Exact Solution Methods for the k-Item Quadratic Knapsack Problem
Solving a Real-World Multi-attribute VRP Using a Primal-Based Approach
Gap Inequalities for the Max-Cut Problem: A Cutting-Plane Algorithm
An Exact Column Generation-Based Algorithm for Bi-objective Vehicle Routing Problems
Hardness Results for the Probabilistic Traveling Salesman Problem with Deadlines
Exact Price of Anarchy for Weighted Congestion Games with Two Players
Combinatorial Optimization - Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
A Branch-and-Bound Procedure for the Robust Cyclic Job Shop Problem
Arc-Flow Approach for Parallel Batch Processing Machine Scheduling with Non-identical Job Sizes
Fast Separation Algorithms for Three-Index Assignment Problems
Efficient Approximation Schemes for the Maximum Lateness Minimization on a Single Machine with a Fixed Operator or Machine Non-Availability Interval
Study of Identifying Code Polyhedra for Some Families of Split Graphs
Counting Homomorphisms via Hypergraph-Based Structural Restrictions
The Uncapacitated Asymmetric Traveling Salesman Problem with Multiple Stacks
On the Hop Constrained Steiner Tree Problem with Multiple Root Nodes
Scheduling Personnel Retraining: Column Generation Heuristics
On the p-Median Polytope and the Directed Odd Cycle Inequalities
On Finding Shortest Paths in Arc-Dependent Networks
On the Thinness of Trees
A Tabu Search Heuristic for the Equitable Coloring Problem
Quasi-Separable Dantzig-Wolfe Reformulations for Network Design
Theoretical Investigation of Aggregation in Pseudo-polynomial Network-Flow Models
Multi-Objective Cuckoo Search with Leader Selection Strategies
Two-Level Polytopes with a Prescribed Facet
The New Faces of Combinatorial Optimization
1-Persistency of the Clique Relaxation of the Stable Set Polytope
A Constraint Generation Approach for the Two-Machine Flow Shop Problem with Jobs Selection
Tool Switching Problems in the Context of Overlay Printing with Multiple Colours
An Outer-Approximation Algorithm for Maximum-Entropy Sampling
A Hybrid Heuristic Approach Based on a Quadratic Knapsack Formulation for the Max-Mean Dispersion Problem
An Experimental Study of ILP Formulations for the Longest Induced Path Problem
Sum-Max Graph Partitioning Problem
Quadratically Constrained Reformulation, Strong Semidefinite Programming Bounds, and Algorithms for the Chordless Cycle Problem
One Transfer per Patient Suffices: Structural Insights About Patient-to-Room Assignment
A Coordinate Ascent Method for Solving Semidefinite Relaxations of Non-convex Quadratic Integer Programs
Approximating Interval Selection on Unrelated Machines with Unit-Length Intervals and Cores
A Set Covering Approach for the Double Traveling Salesman Problem with Multiple Stacks
The Thief Orienteering Problem on Series-Parallel Graphs
Optimization Problems with Color-Induced Budget Constraints
The Parity Hamiltonian Cycle Problem in Directed Graphs
A Family of Spanning-Tree Formulations for the Maximum Cut Problem
Optimum Solution of the Closest String Problem via Rank Distance
The Minimum Rooted-Cycle Cover Problem
Solving Graph Partitioning Problems Arising in Tagless Cache Management
Total Matching and Subdeterminants
Handling Separable Non-convexities Using Disjunctive Cuts
An Efficient Timing Algorithm for Drivers with Rest Periods
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
Minimizing External Vertices in Hypergraph Orientations
Generating Spanning-Tree Sequences of a Fan Graph in Lexicographic Order and Ranking/Unranking Algorithms
A Multigraph Formulation for the Generalized Minimum Spanning Tree Problem
On the Solution of a Graph Partitioning Problem under Capacity Constraints
A Parallel Lagrangian Relaxation Algorithm for the Min-Degree Constrained Minimum Spanning Tree Problem
Models and Algorithms for the Train Unit Assignment Problem
Piecewise Linearization of Bivariate Nonlinear Functions: Minimizing the Number of Pieces Under a Bounded Approximation Error
Unified Greedy Approximability Beyond Submodular Maximization
Optimal Charging Station Location in a Linear Cycle Path with Deviations
Branch-and-Cut for a 2-Commodity Flow Relocation Model with Time Constraints
Notes on Equitable Partitions into Matching Forests in Mixed Graphs and b-branchings in Digraphs
Top-k List Aggregation: Mathematical Formulations and Polyhedral Comparisons
Parametric Multiroute Flow and Its Application to Robust Network with k Edge Failures
Using Symmetry to Optimize Over the Sherali-Adams Relaxation
Orbital Shrinking
Approximation Algorithm for Job Scheduling with Reconfigurable Resources
Optimal Counterfactual Explanations for k-Nearest Neighbors Using Mathematical Optimization and Constraint Programming
Recognition Algorithms for Binary Signed-Graphic Matroids
Network Design on Undirected Series-Parallel Graphs
Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems
Dual Consistent Systems of Linear Inequalities and Cardinality Constrained Polytopes
Linear Arrangement Problems and Interval Graphs
Optimal Cycle Selections: An Experimental Assessment of Integer Programming Formulations
Dynamic Programming Approach to the Generalized Minimum Manhattan Network Problem
Computing the Edge Expansion of a Graph Using Semidefinite Programming
Day-Ahead Lot-Sizing Under Uncertainty: An Application to Green Hydrogen Production
Completion Time Scheduling and the WSRPT Algorithm
The Gram Dimension of a Graph
A Compact Representation for Minimizers of k-Submodular Functions (Extended Abstract)
On k-edge-connected Polyhedra: Box-TDIness in Series-Parallel Graphs
A Robust Two-Stage Model for the Urban Air Mobility Flight Scheduling Problem
A Second-Order Cone Programming Approximation to Joint Chance-Constrained Linear Programs
Graph Compact Orthogonal Layout Algorithm
Strengthening Chvátal-Gomory Cuts for the Stable Set Problem
Robust Shift Scheduling in Call Centers
On Minimally Non-firm Binary Matrices
Branch-and-Price Guided Search - (Extended Abstract)
Two-Agent Scheduling on an Unbounded Serial Batching Machine
Online Graph Coloring with Predictions
Fixed-Parameter Algorithms for Scaffold Filling
Balanced Partition of a Graph for Football Team Realignment in Ecuador
Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach
A New Structural Parameter on Single Machine Scheduling with Release Dates and Deadlines
2 CSPs All Are Approximable Within a Constant Differential Factor
Surrogate Constraints for Synchronized Energy Production/Consumption
Optimization Models for Multi-period Railway Rolling Stock Assignment
Coupled-Tasks in Presence of Bipartite Compatibilities Graphs
Integrated Production Scheduling and Delivery Routing: Complexity Results and Column Generation
Pervasive Domination
Combinatorial Optimization - Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012, Revised Selected Papers
Multi-start Local Search Procedure for the Maximum Fire Risk Insured Capital Problem
Alternating Direction Method and Deep Learning for Discrete Control with Storage
University/Industry Collaboration in Developing a Simulation Based Software Project Management Training Course
Proposal Based Studio Projects: How to Avoid Producing "Cookie Cutter" Software Engineers
Software Engineering is Not Computer Science
Replacing a Hospital Information System: An Example of a Real-World Case Study
Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995, Proceedings
Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News
Experience of teaching Executive Master's program in Software Engineering: Challenges, lessons learned, and path forward
Picking the right project: Assigning student teams in a GSD course
Learning from Reflection: Practitioners as Adult Learners
Teaching Well-Structured Code: A Literature Review of Instructional Approaches
Panel: Software Engineering for Everyone
An Examination of Learning Technologies That Support Software Engineering and Education
SEI Report on Graduate Software Engineering Education
Proceedings 23rd IEEE Conference on Software Engineering Education and Training, CSEE&T 2010, Pittsburgh, Pennsylvania, USA, 9-12 March 2010
Software Engineering Education From Indian Perspective
Using Pantomime in Teaching OOA&OOD with UML
An exploration of knowledge and skills transfer from a formal software engineering curriculum to a capstone practicum project
Undergraduates and research: Motivations, challenges, and the path forward
Teaching Reuse Early
A Scarce Resource in Undergraduate Software Engineering Courses: User Interface Design Materials
Panel 4: The Software Studio in Software Engineering Education
Workshop on Developing Graduate and Postgraduate Software Engineering Courses
SEI Demonstration: Advanced Learning Technologies Project
Enriching the Culture of Software Engineering Education through Theories of Knowledge and Learning