Mixed-Integer Cuts from Cyclic Groups -- Optimizing over the First Chvàtal Closure -- Sequential Pairing of Mixed Integer Inequalities -- Approximate Min-max Relations for Odd Cycles in Planar Graphs -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a Maximum Even Factor -- Improved Approximation Schemes for Linear Programming Relaxations of …
Research Papers -- An Output-Polynomial Time Algorithm for Mining Frequent Closed Attribute Trees -- Guiding Inference Through Relational Reinforcement Learning -- Converting Semantic Meta-knowledge into Inductive Bias -- Learning Teleoreactive Logic Programs from Problem Solving -- A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inver…
Data Mining and Knowledge Engineering -- EXiT-B: A New Approach for Extracting Maximal Frequent Subtrees from XML Data -- Synthetic Environment Representational Semantics Using the Web Ontology Language -- New Rules for Hybrid Spatial Reasoning -- Using Pre-aggregation for Efficient Spatial Query Processing in Sensor Environments -- Model Trees for Classification of Hybrid Data Types -- Finding…
Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization: An Engineering Design Perspective -- Tutorial -- 1984-2004 – 20 Years of Multiobjective Metaheuristics. But What About the Solution of Combinatorial Problems with Multiple Objectives? -- Algorithm Improvements -- Omni-optimizer: A Procedure for Single and Multi-objective Optimization -- An EMO Al…
Keynote Addresses -- Data Confidentiality in Collaborative Computing -- Productivity in High Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing Challenges of Collaborative Algorithmics -- Quantum Physics and the Nature of Computation -- Plenary Session - Best Papers -- Preemption Adaptivity in Time-Published Queue-Based Spin Locks -- Critical…
Keynote Speech -- Track 1: Network Protocols, Routing, Algorithms -- Track 2: Languages and Compilers for HPC -- Track 3: Parallel/Distributed System Architectures -- Track 4: Embedded Systems -- Track 5: Parallel/Distributed Algorithms -- Track 6: Wireless and Mobile Computing -- Track 7: Web Services and Internet Computing -- Track 8: Peer-to-Peer Computing -- Track 9: Grid and Cluster Comput…
Network/Computer Security -- Impacts of Security Protocols on Real-Time Multimedia Communications -- An Improvement on Privacy and Authentication in GSM -- Encrypted Watermarks and Linux Laptop Security -- Inconsistency Detection of Authorization Policies in Distributed Component Environment -- Public Key Schemes I -- Custodian-Hiding Verifiable Encryption -- Proving Key Usage -- Public Key Enc…
Evolutionary Multiobjective Optimization -- Recent Trends in Evolutionary Multiobjective Optimization -- Self-adaptation and Convergence of Multiobjective Evolutionary Algorithms in Continuous Search Spaces -- A Simple Approach to Evolutionary Multiobjective Optimization -- Quad-trees: A Data Structure for Storing Pareto Sets in Multiobjective Evolutionary Algorithms with Elitism -- Scalable Te…
On Convex Developments of a Doubly-Covered Square -- Flat 2-Foldings of Convex Polygons -- Uniform Coverings of 2-Paths with 6-Paths in the Complete Graph -- Foldings of Regular Polygons to Convex Polyhedra I: Equilateral Triangles -- Maximum Induced Matchings of Random Regular Graphs -- Antimagic Valuations for the Special Class of Plane Graphs -- A General Framework for Coloring Problems: Old…
Comparing Parallelization of an ACO: Message Passing vs. Shared Memory -- An LP-Based Hybrid Heuristic Procedure for the Generalized Assignment Problem with Special Ordered Sets -- Parametrized Greedy Heuristics in Theory and Practice -- A Taxonomy of Cooperative Search Algorithms -- A Hybrid Genetic and Variable Neighborhood Descent for Probabilistic SAT Problem -- A Hybrid Meta-heuristic Appr…