Bøger / faglitteratur

Graph-Theoretic Concepts in Computer Science : 32nd International Workshop, WG 2006, Bergen, Norway, June 22-23, 2006, Revised Papers

Del 4271 af Theoretical Computer Science and General Issues

Beskrivelse

Summary: The 32nd International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2006) was held on the island of Sotra close to the city of Bergen on the west coast of Norway. The workshop was organized by the Algorithms Research Group at the Department of Informatics, University of Bergen, and it took place from June 22 to June 24. The 78 participants of WG 2006 came from the universities and research institutes of 17 di?erent countries. The WG 2006 workshop continues the series of 31 previous WG workshops. Since 1975,WG has taken place 20 times in Germany, four times in The Neth- lands, twice in Austria as well as oncein France,in Italy, in Slovakia,in Switz- land and in the Czech Republic, and has now been held for the ?rst time in Norway. The workshop aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer s- ence, or by extracting new problems from applications. The goal is to present recent research results and to identify and explore directions of future research. The talks showed how recent researchresults from algorithmic graph theory can be used in computer science and which graph-theoreticquestions arisefrom new developments in computer science. There were two fascinating invited lectures by Hans Bodlaender (Utrecht, The Netherlands) and Tandy Warnow (Austin, USA).

Indhold

Seneste udgave,

Treewidth: Characterizations, Applications, and Computations -- Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy -- Generalised Dualities and Finite Maximal Antichains -- Chordal Deletion Is Fixed-Parameter Tractable -- A Fixed-Parameter Algorithm for the Minimum Weight Triangulation Problem Based on Small Graph Separators -- Divide-and-Color -- Listing Chordal Graphs and Interval Graphs -- A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set in Graphs -- Improved Edge-Coloring with Three Colors -- Vertex Coloring of Comparability+ke and –ke Graphs -- Convex Drawings of Graphs with Non-convex Boundary -- How to Sell a Graph: Guidelines for Graph Retailers -- Strip Graphs: Recognition and Scheduling -- Approximating the Traffic Grooming Problem in Tree and Star Networks -- Bounded Arboricity to Determine the Local Structure of Sparse Graphs -- An Implicit Representation of Chordal Comparabilty Graphs in Linear-Time -- Partitioned Probe Comparability Graphs -- Computing Graph Polynomials on Graphs of Bounded Clique-Width -- Generation of Graphs with Bounded Branchwidth -- Minimal Proper Interval Completions -- Monotony Properties of Connected Visible Graph Searching -- Finding Intersection Models of Weakly Chordal Graphs -- A Fully Dynamic Algorithm for the Recognition of P 4-Sparse Graphs -- Clique Graph Recognition Is NP-Complete -- Homogeneity vs. Adjacency: Generalising Some Graph Decomposition Algorithms -- Certifying Algorithms for Recognizing Proper Circular-Arc Graphs and Unit Circular-Arc Graphs -- Graph Labelings Derived from Models in Distributed Computing -- Flexible Matchings -- Simultaneous Graph Embeddings with Fixed Edges -- Approximation Algorithms for Restricted Cycle Covers Based on Cycle Decompositions -- Circular-Perfect Concave-Round Graphs

Tidsskrift

Artiklen er en del af

lorem ipsum dolor sit amet ...

Tidsskrift

Artiklerne i handler ofte om

Artikler med samme emner

Fra

Artikler

Alle registrerede artikler fordelt på udgivelser

...

Theoretical Computer Science and General Issues

Gå til serien

Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Del 2481 - Languages and Compilers for Parallel Computing : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

Del 3267 - Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

Del 3277 - Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

Del 3279 - Peer-to-Peer Systems III : Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers

Del 3300 - Inconsistency Tolerance

Combinatorial Geometry and Graph Theory : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers

Del 3330 - Combinatorial Geometry and Graph Theory : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers

Del 3342 - Swarm Robotics : SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004

Del 3349 - Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004

Switching and Learning in Feedback Systems : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

Del 3355 - Switching and Learning in Feedback Systems : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

Del 3365 - Membrane Computing : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings

Del 3381 - SOFSEM 2005: Theory and Practice of Computer Science : 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings

Del 3384 - DNA Computing : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Del 3385 - Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Numerical Analysis and Its Applications : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers

Del 3401 - Numerical Analysis and Its Applications : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

Del 3402 - High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

Del 3404 - STACS 2005 : 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Del 3407 - Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Del 3410 - Evolutionary Multi-Criterion Optimization : Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings

Del 3414 - Hybrid Systems: Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Del 3418 - Network Analysis : Methodological Foundations

From Computer Literacy to Informatics Fundamentals : International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings

Del 3422 - From Computer Literacy to Informatics Fundamentals : International Conference on Informatics in Secondary Schools -- Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings

Del 3432 - Systems Aspects in Organic and Pervasive Computing - ARCS 2005 : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Del 3440 - Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Del 3441 - Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Del 3442 - Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Del 3443 - Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Del 3444 - Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Del 3447 - Genetic Programming : 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings

Del 3449 - Applications of Evolutionary Computing : Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC

Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers

Del 3458 - Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers

Del 3461 - Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Del 3467 - Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Foundations of Genetic Algorithms : 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers

Del 3469 - Foundations of Genetic Algorithms : 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers

Del 3471 - Power-Aware Computer Systems : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

Del 3474 - Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Del 3478 - Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Del 3483 - Computational Science and Its Applications - ICCSA 2005 : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV

Efficient Approximation and Online Algorithms : Recent Progress on Classical Combinatorial Optimization Problems and New Applications

Del 3484 - Efficient Approximation and Online Algorithms : Recent Progress on Classical Combinatorial Optimization Problems and New Applications

Del 3486 - Sequences and Their Applications - SETA 2004 : Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Informationer og udgaver

2006

E-bogSpringer Berlin Heidelberg, Imprint: Springer, 1. ed. 2006