|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2793 occurrences of 1961 keywords
|
|
|
Results
Found 3772 publication records. Showing 3772 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
48 | Bodo Manthey |
On Approximating Restricted Cycle Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAOA ![In: Approximation and Online Algorithms, Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Papers, pp. 282-295, 2005, Springer, 3-540-32207-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko |
On Partial Covers, Reducts and Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets VIII, pp. 251-288, 2008, Springer, 978-3-540-85063-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
partial decision rules, Rough sets, greedy algorithms, partial covers, partial reducts |
46 | Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko |
On Partial Covers, Reducts and Decision Rules with Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 211-246, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
partial decision rules, greedy algorithms, weights, partial covers, partial reducts |
46 | Sandeep Gupta 0004, Jinfeng Ni, Chinya V. Ravishankar |
Efficient data dissemination using locale covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 243-244, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
locale covers, latency, accuracy, dissemination, location-dependant data |
46 | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |
Systems modeling, simulation and analysis using COVERS active objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 220-227, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems |
41 | Baruch Awerbuch, David Peleg |
Sparse Partitions (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II, pp. 503-513, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
sparse partitions, polynomial routing, online tracking, locality-preserving representations, graph-theoretic structures, tree covers, diameter-based separators, protocols, clustering algorithms, covers, regional matchings, network applications, decomposition techniques, arbitrary networks, sparse spanners |
40 | Valeria Efimova, Viacheslav Shalamov, Andrey Filchenkov |
First Describe, Then Depict: Generating Covers for Music and Books via Extracting Keywords: This paper presents two methods to generate high resolution uncopyrighted book covers or music album covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: Proceedings of the 5th International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2022, Xiamen, China, September 23-25, 2022, pp. 734-739, 2022, ACM, 978-1-4503-9689-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
40 | Haim Kaplan, Moshe Lewenstein, Nira Shafrir, Maxim Sviridenko |
Approximation algorithms for asymmetric TSP by decomposing directed regular multigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 52(4), pp. 602-626, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Approximation algorithms |
40 | Alexandre H. L. Porto, Valmir Carneiro Barbosa |
Multiple Sequence Alignment Based on Set Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 127-137, 2006, Springer, 3-540-33237-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Set covers, Multiple sequence alignment |
40 | Markus Bläser, Bodo Manthey |
Approximating Maximum Weight Cycle Covers in Directed Graphs with Weights Zero and One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 42(2), pp. 121-139, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Approximation algorithms, Combinatorial optimization, Traveling salesman problem, Inapproximability, Cycle covers |
36 | Jirí Fiala 0001, Daniël Paulusma |
Comparing Universal Covers in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 158-167, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Bodo Manthey |
Approximation Algorithms for Restricted Cycle Covers Based on Cycle Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 32nd International Workshop, WG 2006, Bergen, Norway, June 22-24, 2006, Revised Papers, pp. 336-347, 2006, Springer, 3-540-48381-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Hartmut Klauck |
Rectangle Size Bounds and Threshold Covers in Communication Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark, pp. 118-134, 2003, IEEE Computer Society, 0-7695-1879-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Andrei Borshchev, Yuri G. Karpov, Victor Roudakov |
COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 9-10 January 1997, Eilat, Israel, pp. 39-, 1997, IEEE Computer Society, 0-8186-7773-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
36 | V. S. Lakshmanan 0001 |
Split-Freedom and MVD-Intersection: A New Characterization of Multivalued Dependencies Having Conflict-Free Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings, pp. 221-241, 1986, Springer, 3-540-17187-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
34 | Antonia Bertolino, Martina Marré |
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 885-899, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers |
34 | Baruch Awerbuch, Bonnie Berger, Lenore Cowen, David Peleg |
Near-Linear Cost Sequential and Distribured Constructions of Sparse Neighborhood Covers ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 638-647, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
near-linear cost sequential constructions, distributed constructions, sparse neighborhood covers, dynamic approximate shortest paths, distance-preserving graph spanners, network synchronizer constructions, adaptive routing, sequential algorithms, breadth-first-search, network decompositions |
34 | Charles E. Leiserson, Satish Rao, Sivan Toledo |
Efficient Out-of-Core Algorithms for Linear Relaxation Using Blocking Covers (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 704-713, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
elliptic solver, blocking covers, sparse linear relaxation problems, primary memory, multigrid algorithm, iteration, out-of-core algorithms, numerical computation, linear relaxation |
34 | Ying Cheng 0006, S. Sitharama Iyengar, Rangasami L. Kashyap |
A New Method of Image Compression using Irreducible Covers of Maximum Rectangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 651-658, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
irreducible covers, maximal rectangles, concurrent-read-exclusive write, parallel algorithm, parallel algorithms, data structures, data compression, computerised picture processing, image compression, pixels |
32 | Chih-Chung Lai, Chuan-Kang Ting, Ren-Song Ko |
An effective genetic algorithm for improving wireless sensor network lifetime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 2260, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
disjoint set covers, genetic algorithms, wireless sensor network |
32 | Mihaela Cardei, Ding-Zhu Du |
Improving Wireless Sensor Network Lifetime through Power Aware Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 11(3), pp. 333-340, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
node organization, disjoint set covers, wireless sensor networks, energy efficiency |
31 | Jan De Beule, Patrick Govaerts, Anja Hallez, Leo Storme |
Tight sets, weighted m -covers, weighted m -ovoids, and minihypers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 50(2), pp. 187-201, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 05B25, 51E20, 51E12, 51E22 |
31 | Changying Wang, Jie Zhang 0019, Yi Ma |
Coastal Land Covers Classification of High-Resolution Images Based on Dempster-Shafer Evidence Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (1) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China, pp. 1061-1064, 2008, IEEE Computer Society, 978-0-7695-3336-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jirí Fiala 0001, Jan Kratochvíl |
Complexity of Partial Covers of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings, pp. 537-549, 2001, Springer, 3-540-42985-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Fanica Gavril, Alon Itai |
Covering a Tree by a Forest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Theory, Computational Intelligence and Thought ![In: Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday, pp. 66-76, 2009, Springer, 978-3-642-02028-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vertex-cover of a tree by a forest, edge-cover of a tree by a forest, graph algorithms |
29 | J. Orestes Cerdeira, Leonor Santiago Pinto |
Requiring Connectivity in the Set Covering Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 9(1), pp. 35-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
integer polytopes, graphs, set covering, connected components |
29 | Sridhar Dasika, Sarma B. K. Vrudhula, Kaviraj Chopra, R. Srinivasan |
A Framework for Battery-Aware Sensor Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 962-967, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Mikkel Abrahamsen, William Bille Meyling, André Nusser |
Constructing Concise Convex Covers via Clique Covers (CG Challenge). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCG ![In: 39th International Symposium on Computational Geometry, SoCG 2023, June 12-15, 2023, Dallas, Texas, USA, pp. 66:1-66:9, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-273-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Joseph A. Thas, Koen Thas |
Covers of generalized quadrangles, 2. Kantor-Knuth covers and embedded ovoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 70, pp. 101780, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Christian Trefftz, Zack Kurmas, Jerry Scripps |
Covers, partitions and a heuristic to calculate two-covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: IEEE International Conference on Electro Information Technology, EIT 2017, Lincoln, NE, USA, May 14-17, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-4767-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Jonas Hägglund, Klas Markström |
Shortest cycle covers and cycle double covers with large 2-regular subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1306.3088, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Beth Malmskog, Michelle Manes |
Ramified Covers of Graphs and the Ihara Zeta Functions of Certain Ramified Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIN - Women in Numbers ![In: WIN - Women in Numbers - Research Directions in Number Theory., pp. 237, 2011, American Mathematical Society, 978-0-8218-5226-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Dezheng Xie, Cun-Quan Zhang |
Flows, flow-pair covers and cycle double covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(14), pp. 4682-4689, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Robbie Allen, Laura E. Hunter |
Active Directory Cookbook - solutions for administrators and developers: covers 500 recipes, covers SP1, R2, and ADAM (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
27 | Patrice Belleville |
On Restricted Boundary Covers and Convex Three-Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 5th Canadian Conference on Computational Geometry, Waterloo, Ontario, Canada, August 1993, pp. 467-472, 1993, University of Waterloo. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
27 | Krishnamurthy Vidyasankar |
Covers and strong covers in directed bipartite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 4(3), pp. 279-286, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
26 | Yuri Pogudin |
Simulation Of Fine-Grained Parallel Algorithms With The ALT (Animated Language Tools) System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIS-RT ![In: 1st International Workshop on Distributed Interactive Simulation and Real-Time Applications (DIS-RT '97), 9-10 January 1997, Eilat, Israel, pp. 22-, 1997, IEEE Computer Society, 0-8186-7773-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fine-grained parallel algorithms simulation, ALT system, Animated Language Tools, textual elements, algorithm behaviour visualization, source representation, functional details, binding covers mechanism, parallel substitution algorithm model, interactive graphic forms, data structure display, source-code functional elements, graphical data objects, equivalent transformations optimization, parallel algorithms, C language, language interface |
26 | Lior Shabtay, Adrian Segall |
Low Complexity Network Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings, pp. 223-237, 1994, Springer, 3-540-58449-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
sparse covers, communication and time complexities, networks, distributed algorithms, synchronization |
26 | John C. Hart, Thomas A. DeFanti |
Efficient antialiased rendering of 3-D linear fractals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 18th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1991, Providence, RI, USA, April 27-30, 1991, pp. 91-100, 1991, ACM, 0-89791-436-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
object instancing, ray tracing, fractal, procedural modeling, covers |
26 | Edward Omiecinski |
A Parallel Algorithm for Relational Database Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(4), pp. 415-423, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
relational database normalization, database normalization, relation schemes, third normal form algorithm, serial algorithms, minimal covers, parallel algorithm, parallel algorithms, relational databases, correctness, functional dependencies |
26 | Carlo Zaniolo, Michel A. Melkanoff |
On the Design of Relational Database Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 6(1), pp. 1-47, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
decompositon, minimal covers, schema design, relational databases, functional dependencies, multivalued dependencies |
25 | Jung-Heum Park, Hee-Chul Kim, Hyeong-Seok Lim |
Many-to-Many Disjoint Path Covers in the Presence of Faulty Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(4), pp. 528-540, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | M. Stuart Lynn |
The battle of the covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 51(1), pp. 30-32, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Rainer Böhme |
Weighted Stego-Image Steganalysis for JPEG Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Hiding ![In: Information Hiding, 10th International Workshop, IH 2008, Santa Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers, pp. 178-194, 2008, Springer, 978-3-540-88960-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Costas Busch, Ryan LaFortune, Srikanta Tirthapura |
Improved sparse covers for graphs excluding a fixed minor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 61-70, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
minor free graph, path separator, sparse cover, planar graph, compact routing |
25 | Markus Schedl, Peter Knees, Tim Pohle, Gerhard Widmer |
Towards Automatic Retrieval of Album Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 28th European Conference on IR Research, ECIR 2006, London, UK, April 10-12, 2006, Proceedings, pp. 531-534, 2006, Springer, 3-540-33347-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Dominique de Caen, Dmitry Fon-Der-Flaass |
Distance Regular Covers of Complete Graphs from Latin Squares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 34(2-3), pp. 149-153, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Karl Auinger, Gracinda M. S. Gomes, Victoria Gould, Benjamin Steinberg |
An application of a Theorem of Ash to finite covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 45-57, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
weakly left quasi-ample semigroup, proper cover |
25 | Michael Domaratzki, Jeffrey O. Shallit, Sheng Yu 0001 |
Minimal Covers of Formal Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers, pp. 319-329, 2001, Springer, 3-540-43453-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Robert T. Firla, Günter M. Ziegler |
Hilbert Bases, Unimodular Triangulations, and Binary Covers of Rational Polyhedral Cones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 21(2), pp. 205-216, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Karin Sobottka, Horst Bunke, Heino Kronenberg |
Identification of Text on Colored Book and Journal Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Fifth International Conference on Document Analysis and Recognition, ICDAR 1999, 20-22 September, 1999, Bangalore, India, pp. 57-62, 1999, IEEE Computer Society, 0-7695-0318-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Jan Kratochvíl, Andrzej Proskurowski, Jan Arne Telle |
Complexity of Colored Graph Covers I. Colored Directed Multigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings, pp. 242-257, 1997, Springer, 3-540-63757-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Hervé Brönnimann, Michael T. Goodrich |
Almost Optimal Set Covers in Finite VC-Dimension (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Tenth Annual Symposium on Computational Geometry, Stony Brook, New York, USA, June 6-8, 1994, pp. 293-302, 1994, ACM, 0-89791-648-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Georg Gottlob |
Computing Covers for Embedded Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 58-69, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Maria João Ferreira, Jorge Picado |
On Point-finiteness in Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(1-2), pp. 185-198, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D22, 06A23, 54C30 |
23 | Chih-Chung Lai, Chuan-Kang Ting, Ren-Song Ko |
An effective genetic algorithm to improve wireless sensor network lifetime for large-scale surveillance applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 3531-3538, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Sushil K. Prasad, Akshaye Dhawan |
Distributed Algorithms for Lifetime of Wireless Sensor Networks Based on Dependencies Among Cover Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2007, 14th International Conference, Goa, India, December 18-21, 2007, Proceedings, pp. 381-392, 2007, Springer, 978-3-540-77219-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Zoë Abrams, Ashish Goel, Serge A. Plotkin |
Set k-cover algorithms for energy efficient monitoring in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004, pp. 424-432, 2004, ACM, 1-58113-846-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
wireless sensor networks, energy conservation, analysis of algorithms |
23 | Hideo Fujiwara |
A New Definition and a New Class of Sequential Circuits with Combinational Test Generation Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 13th International Conference on VLSI Design (VLSI Design 2000), 4-7 January 2000, Calcutta, India, pp. 288-293, 2000, IEEE Computer Society, 0-7695-0487-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complexity, test generation, design for testability, sequential circuits, reducibility, partial scan, Balanced structure |
21 | Vince Bárány, Georg Gottlob, Martin Otto 0001 |
Querying the Guarded Fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 1-10, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hypergraph covers, conjunctive queries, descriptive complexity, finite model theory, guarded fragment |
21 | C. A. Johnson |
Computing Only Minimal Answers in Disjunctive Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(1), pp. 35-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation |
21 | Zhou Xu 0001, Liang Xu |
Approximation Algorithms for Min-Max Path Cover Problems with Service Handling Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 383-392, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
min-max vehicle routing, approximation algorithm, inapproximability, path covers |
21 | Rémi Lehn, Henri Briand, Fabrice Guillet |
User-System Interaction for Redundancy-Free Knowledge Discovery in Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 463-479, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Minimal Covers, Interpretation of Association Rules, Closure, Deductive Reasonning |
21 | Monique Guignard 0001, Ellis L. Johnson, Kurt Spielberg |
Logical Processing for Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 140(1), pp. 263-304, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
reduction to minimal preferred inequalities, covers of low degrees, persistence of signs, double contraction, reduction schemes, integer programming, probing, logical processing, disaggregation |
21 | Herbert Fleischner, Stefan Szeider |
On Edge-Colored Graphs Covered by Properly Colored Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 21(3), pp. 301-306, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Properly colored cycles, 1-Extendable graphs, Cycle covers, Edge-colored graphs |
21 | Hsiao Ping Lee, Yin-Te Tsai, Chuan Yi Tang |
A seriate coverage filtration approach for homology search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 180-184, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
incrementally decreasing covers, longest increasing subsequence problems, lossless filtration, seriate coverage, homology search |
21 | Chor Ping Low, Hon Wai Leong |
A New Class of Efficient Algorithms for Reconfiguration of Memory Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 45(5), pp. 614-618, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
RRAMs, NP-completeness, throughput, heuristic algorithms, vertex covers, sparsity |
21 | Allen S. Parrish, Stuart H. Zweben |
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(12), pp. 1006-1009, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
subsumes, covers, data flow testing, Adequacy criteria |
21 | Edith Cohen |
Fast algorithms for constructing t-spanners and paths with stretch t ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 648-658, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
pairwise-covers, t-spanners constructions, paths with stretch, minimum-weight path, weighted undirected graph, exact shortest paths algorithms, randomized algorithm, deterministic algorithm, vertices, weighted graph |
21 | Thaddeus Kobylarz, Atef Al-Najjar |
An Examination of the Cost Function for Programmable Logic Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 28(8), pp. 586-590, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
programmable logic arrays (PLA's), cyclic tables, minimal covers, multiple output combinational circuits, minimization, Cost functions |
19 | Koji Momihara |
Strong difference families, difference covers, and their applications for relative difference families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 51(3), pp. 253-273, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 05B10, 05B05, 94B25 |
19 | András Sebö |
Path Partitions, Cycle Covers and Integer Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Theory, Computational Intelligence and Thought ![In: Graph Theory, Computational Intelligence and Thought, Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday, pp. 183-199, 2009, Springer, 978-3-642-02028-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Ivona Bezáková, William A. Rummler |
Sampling Edge Covers in 3-Regular Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 137-148, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Peter Damaschke, Azam Sheikh Muhammad |
Competitive Group Testing and Learning Hidden Vertex Covers with Minimum Adaptivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings, pp. 84-95, 2009, Springer, 978-3-642-03408-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Milos Ivkovic, Shashi Kiran Chilappagari, Bane Vasic |
Eliminating Trapping Sets in Low-Density Parity-Check Codes by Using Tanner Graph Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(8), pp. 3763-3768, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Sounaka Mishra, Venkatesh Raman 0001, Saket Saurabh 0001, Somnath Sikdar |
König Deletion Sets and Vertex Covers above the Matching Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 836-847, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Ferruh Özbudak, Burcu Gülmez Temur |
Fibre products of Kummer covers and curves with many points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(5), pp. 433-443, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 11G20, 14G15, 14H25 |
19 | Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki |
Self* Minimum Connected Covers of Query Regions in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 204-218, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Bodo Manthey |
Minimum-Weight Cycle Covers and Their Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007. Revised Papers, pp. 178-189, 2007, Springer, 978-3-540-74838-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Benjamin Doerr, Daniel Johannsen |
Adjacency list matchings: an ideal genotype for cycle covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1203-1210, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
randomized local, evolutionary algorithm, search, runtime analysis, cycle cover, Euler tour |
19 | Andrew E. M. Lewis |
The Jump Classes of Minimal Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 307-318, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Éric Grégoire, Bertrand Mazure, Cédric Piette |
Tracking MUSes and Strict Inconsistent Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 39-46, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zeev Nutov |
Approximating Minimum Power Covers of Intersecting Families and Directed Connectivity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006, Proceedings, pp. 236-247, 2006, Springer, 3-540-38044-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Orlando Lee, Aaron Williams |
Packing Dicycle Covers in Planar Graphs with No K5-e Minor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2006: Theoretical Informatics, 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings, pp. 677-688, 2006, Springer, 3-540-32755-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Adam Bliss, Francis Edward Su |
Lower Bounds for Simplicial Covers and Triangulations of Cubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 33(4), pp. 669-686, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mikhail Ju. Moshkov |
On Construction of the Set of Irreducible Partial Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005, Proceedings, pp. 38-44, 2005, Springer, 3-540-29498-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Irreducible partial cover, totally polynomial algorithm |
19 | Jochen Könemann, Goran Konjevod, Ojas Parekh, Amitabh Sinha |
Improved Approximations for Tour and Tree Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 38(3), pp. 441-449, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Approximation algorithms, Graph algorithms, Network design |
19 | Jung-Heum Park |
One-to-Many Disjoint Path Covers in a Graph with Faulty Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings, pp. 392-401, 2004, Springer, 3-540-22856-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Markus Bläser, Bodo Manthey |
Two Approximation Algorithms for 3-Cycle Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX ![In: Approximation Algorithms for Combinatorial Optimization, 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 40-50, 2002, Springer, 3-540-44186-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Tom Bohman, Alan M. Frieze, Miklós Ruszinkó, Lubos Thoma |
Vertex Covers by Edge Disjoint Cliques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 21(2), pp. 171-197, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (2000) Classes: 05C80, 05C35 |
19 | Karin Sobottka, Heino Kronenberg, T. Perroud, Horst Bunke |
Text extraction from colored book and journal covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(4), pp. 163-176, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automatic text location, Information retrieval, Color image processing |
19 | Jochen Könemann, Goran Konjevod, Ojas Parekh, Amitabh Sinha |
Improved approximations for tour and tree covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX ![In: Approximation Algorithms for Combinatorial Optimization, Third International Workshop, APPROX 2000, Saarbrücken, Germany, September 5-8, 2000, Proceedings, pp. 184-193, 2000, Springer, 3-540-67996-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Jianhua Chen 0003 |
The Generalized Logic of only Knowing (GOL) that Covers the Notion of Epistemic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings, pp. 478-487, 1994, Springer, 3-540-58495-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
19 | Jim Diederich |
Minimal Covers Revisited: Correct and Efficient Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 20(1), pp. 12-13, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Robin W. Dawes |
Minimum Odd Neighbourhood Covers for Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Computer Science Conference ![In: Computing in the 90's, The First Great Lakes Computer Science Conference, Kalamazzo, Michigan, USA, October 18-20, 1989, Proceedings, pp. 161-169, 1989, Springer, 3-540-97628-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Marie-Paule Flé, Gérard Roucairol |
Fair serializability of iterated transactions using FIFO-nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory in Petri Nets ![In: Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers, pp. 154-168, 1984, Springer, 3-540-15204-0. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
maximal serializability, Petri-nets (FIFO-Nets), concurrency, fair |
19 | Oliver Vornberger |
Alternative Cycle Covers and Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, pp. 367-378, 1980, Springer, 3-540-10291-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
17 | Pankaj K. Agarwal, Esther Ezra, Shashidhara K. Ganjugunte |
Efficient Sensor Placement for Surveillance Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: Distributed Computing in Sensor Systems, 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings, pp. 301-314, 2009, Springer, 978-3-642-02084-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Christian Lomp, Virgínia Rodrigues |
Covering Coalgebras and Dual Non-singularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(1-2), pp. 195-211, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 16S90, 16W30 |
17 | Yuta Harada, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita |
The Balanced Edge Cover Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 246-257, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3772 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|