|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22091 occurrences of 8614 keywords
|
|
|
Results
Found 30405 publication records. Showing 30405 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Songxin Liang, David J. Jeffrey |
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 116-130, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complete discrimination system, complete root classification, root classification, parametric polynomial |
38 | Ming-Hway Huang, Chin-Mei Fu, Hung-Lin Fu |
Packing 5-cycles into balanced complete m -partite graphs for odd m. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 14(2-3), pp. 323-329, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Complete m-partite graph, Balanced complete m-partite graph, 5-cycle, Decomposition, Packing, Leave |
37 | Yi Cao, Joseph C. Culberson, Lorna Stewart |
DP-Complete Problems Derived from Extremal NP-Complete Properties. ![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. 199-210, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DP-complete, extremal problem, unfrozen, complexity, colorability, implicant |
37 | Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou |
Inclusion Dependencies and Their Interaction with Functional Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 171-176, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
relational database, functional dependency, PSPACE-complete, inclusion dependency, complete axiomatization |
35 | Mark von Rosing, August-Wilhelm Scheer, John A. Zachman, Daniel T. Jones, James P. Womack, Henrik von Scheel |
Phase 3: Process Concept Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 37-77, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Jonnro Erasmus |
Variation in Business Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 455-473, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Engineer Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 685-688, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Zakaria Maamar, Mona von Rosing |
Social Media and Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 377-394, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Wim Laurier, Simon M. Polovina |
The BPM Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 101-121, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Joshua von Scheel, Mark von Rosing, Marianne Fonseca, Ulrik Foldager |
The Need for a Standardized and Common Way of Process Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 673-676, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Implementation and Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 551, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel, Adam D. M. Svendsen, Alex Kokkonen, Andrew M. Ross, Anette Falk Bøgebjerg, Anni Olsen, Antony Dicks, Asif Qumer Gill, Bas Bach, Bob J. Storms, Callie Smit, Cay Clemmensen, Christopher K. Swierczynski, Clemens Utschig-Utschig, Dan Moorcroft, Daniel T. Jones, David Coloma, Deb Boykin, Dickson Hunja Muhita, Duarte Gonçalves, Fabrizio Maria Maggi, Fan Zhao, Fatima Senghore, Fatma Dandashi, Fred Cummins, Freek Stoffel, Gabriel von Scheel, Gabriella von Rosing, Gary Doucet, Gert Meiling, Gert O. Jansson, Hans Scheruhn, Hendrik Bohn, Henk de Man, Henk Kuil, Henrik Naundrup Vester, Jacob Gammelgaard, James P. Womack, Jeanne W. Ross, Jeff Greer, Jens Theodor Nielsen, John A. Zachman, John Bertram, John Golden, John M. Rogers, Jonnro Erasmus, Joshua von Scheel, Joshua Waters |
Business Process Trends. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 187-216, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Gabriella von Rosing, Krzysztof Skurzak, Maria Hove |
BPM and Maturity Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 395-426, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mathias Kirchmer, Peter Franz, Mark von Rosing |
The Chief Process Officer: An Emerging Top Leadership Role. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 343-348, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Ulrik Foldager, Maria Hove, Joshua von Scheel, Anette Falk Bøgebjerg |
Working with the Business Process Management (BPM) Life Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 265-341, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Mathias Kirchmer |
Focusing Business Processes on Superior Value Creation: Value-oriented Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 475-492, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Joshua von Scheel, Asif Qumer Gill |
Applying Agile Principles to BPM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 553-577, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, Maria Hove, Marianne Fonseca, Ulrik Foldager |
Phase 2: Process Concept Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 11-35, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Neil Kemp, Maxim Arzumanyan |
Understanding Business Process Management Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 241-263, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Hans-Jürgen Scheruhn, Mark von Rosing, Richard L. Fallon |
Information Modeling and Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 511-550, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Marlon Dumas, Fabrizio Maria Maggi |
Evidence-Based Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 363-375, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Maria Hove, Henrik von Scheel, Ulrik Foldager |
Why Work with Process Templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 173-184, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Maria Hove, Gabriella von Rosing, Bob J. Storms |
Business Process Management Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 599-611, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Architect Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 681-683, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Nathaniel Palmer |
iBPM - Intelligent Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 349-361, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Owner Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 689-692, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Gary Doucet, Gert O. Jansson, Gabriel von Scheel, Freek Stoffel, Bas Bach, Henk Kuil, Joshua Waters |
Business Process Outsourcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 657-670, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Conclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 693-694, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Gabriella von Rosing, David Coloma, Henrik von Scheel |
Sustainability Oriented Process Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 493-510, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Wim Laurier, Simon M. Polovina |
The Value of Ontology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 91-99, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Hendrik Bohn, Gabriel von Scheel, Richard Conzo, Maria Hove |
Business Process Portfolio Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 613-634, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Expert Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 677-679, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 427, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Keith D. Swenson, Mark von Rosing |
Phase 4: What Is Business Process Management? ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 79-88, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Maria Hove, Marianne Fonseca, Mona von Rosing, Joshua von Scheel, Dickson Hunja Muhita |
BPM Change Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 579-598, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Neil Kemp, Maria Hove, Jeanne W. Ross |
Process Tagging - A Process Classification and Categorization Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 123-171, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Stephen White, Fred Cummins, Henk de Man |
Business Process Model and Notation - BPMN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 429-453, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, Marianne Fonseca, Maria Hove, Ulrik Foldager |
Phase 1: Process Concept Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 1-9, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mona von Rosing, Henrik von Scheel, Justin Tomlinson, Victor Abele, Kenneth D. Teske, Michael D. Tisdel |
Business Process Management Alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 645-656, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Maria Hove, Henrik von Scheel |
BPM Center of Excellence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 217-239, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The Business Process Management Way of Training and Coaching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 671, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Thinking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 89, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, August-Wilhelm Scheer |
The BPM Way of Working. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Complete Business Process Handbook, Vol. I ![In: The Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, Volume I, pp. 185, 2015, Morgan Kaufmann/Elsevier, 9780127999593. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Chiun-Chieh Hsu |
All-fault-tolerant embedding of a complete binary tree in a group of Cayley graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 34-40, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
all-fault-tolerant embedding, n-dimensional complete transposition graph, bubblesort graph, fault-tolerant scheme, fault tolerant computing, multiprocessor interconnection networks, Cayley graphs, tree data structures, star graph, complete binary tree |
33 | Yu-Chee Tseng, Ting-Hsien Lin, Sandeep K. S. Gupta, Dhabaleswar K. Panda 0001 |
Bandwidth-Optimal Complete Exchange on Wormhole-Routed 2D/3D Torus Networks: A Diagonal-Propagation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 380-396, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
parallel computing, wormhole routing, distributed memory systems, Collective communication, torus, interprocessor communication, complete exchange |
32 | William Lloyd Bircher, Lizy K. John |
Complete System Power Estimation: A Trickle-Down Approach Based on Performance Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPASS ![In: 2007 IEEE International Symposium on Performance Analysis of Systems and Software, April 25-27, 2007, San Jose, California, USA, Proceedings, pp. 158-168, 2007, IEEE Computer Society, 1-4244-1081-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
power sensing hardware, complete system power estimation, microprocessor performance event, microprocessor performance counter, online measurement, complete system power consumption, microprocessor power, on-chip performance event counter, system power consumption estimation, power model |
32 | Alexander A. Davydov, Giorgio Faina, Fernanda Pambianco |
Constructions of Small Complete Caps in Binary Projective Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 37(1), pp. 61-80, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
binary caps, complete caps, small complete caps, projective space |
32 | Robert B. Fisher, Andrew W. Fitzgibbon, David W. Eggert |
Extracting Surface Patches from Complete Range Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 148-155, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
surface patch extraction, complete range descriptions, feature descriptions, single view, partial patch fragments, complete part models, range data segmentation program, merged range datasets, CAD, CAD model, geometric primitives |
32 | Mee Yee Chan, Shiang-Jen Lee |
Fault-Tolerant Embedding of Complete Binary Trees in Hypercubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 4(3), pp. 277-288, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
graph-theoretic question, simulation, computational complexity, NP-complete, hypercubes, hypercube networks, trees (mathematics), upper bound, complete binary trees, k-tree, fault tolerant embedding, fault tolerantcomputing |
31 | Zemin Jin, Mikio Kano, Xueliang Li 0001, Bing Wei 0001 |
Partitioning 2-edge-colored complete multipartite graphs into monochromatic cycles, paths and trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 11(4), pp. 445-454, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Complete multipartite graphs, Monochromatic subgraphs, Complexity, Graph partitioning |
31 | Hilary A. Priestley |
Ordered Sets and Complete Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 21-78, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Yuri Gurevich |
Matrix Decomposition Problem Is Complete for the Average Case ![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. 802-811, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
complete problem, algebraic average-case complete problem, matrix decomposition |
30 | I. Farkas |
Certification of algorithm 165 [S21]: complete elliptic integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(1), pp. 38, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
complete elliptic integral of the second kind, complete elliptic intergral of the first kind, special functions |
29 | Hanmin Jung, Mikyoung Lee, Won-Kyung Sung, Beom-Jong You |
Auto-complete for Improving Reliability on Semantic Web Service Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (9) ![In: Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 36-44, 2009, Springer, 978-3-642-02558-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Semantic Web Framework, OntoFrame, Semantic Web, Reliability, Document Indexing, Auto-complete |
29 | Yuan Yuan, Yan Tong, Huanguo Zhang |
Complete Mapping Polynomials over Finite Field F16. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIFI ![In: Arithmetic of Finite Fields, First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings, pp. 147-158, 2007, Springer, 978-3-540-73073-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
complete mapping polynomials, unique factorization domain, permutation polynomials |
29 | Matthias Fitzi, Juan A. Garay, Ueli M. Maurer, Rafail Ostrovsky |
Minimal Complete Primitives for Secure Multi-Party Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 18(1), pp. 37-61, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Complete functions, Oblivious cast, Unconditional security, Multi-party computation, Secure function evaluation |
29 | Carsten Schürmann, Jatin Shah |
Representing reductions of NP-complete problems in logical frameworks: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MERLIN ![In: Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003, 2003, ACM, 978-1-58113-800-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
linear logic, NP-complete problems, logical frameworks |
29 | Yu-Chee Tseng, Sandeep K. S. Gupta, Dhabaleswar K. Panda 0001 |
An efficient scheme for complete exchange in 2D tori. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '95, The 9th International Parallel Processing Symposium, April 25-28, 1995, Santa Barbara, California, USA, pp. 532-536, 1995, IEEE Computer Society, 0-8186-7074-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
2D tori, wormhole-routed tori, bisection bandwidth, parallel algorithms, parallel computing, multiprocessor interconnection networks, mesh networks, complete exchange, all-to-all personalized communication |
29 | Christian Glaßer, Aduri Pavan, Alan L. Selman, Samik Sengupta |
Properties of NP-Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 21-24 June 2004, Amherst, MA, USA, pp. 184-197, 2004, IEEE Computer Society, 0-7695-2120-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Harry Buhrman, Albrecht Hoene, Leen Torenvliet |
Splittings, Robustness and Structure of Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 175-184, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
28 | O. Nouisser, Driss Sbibih, Paul Sablonnière |
Pairs of B-Splines with Small Support on the Four-Directional Mesh Generating a Partition of Unity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 21(3-4), pp. 317-355, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
complete 1-splines, complete 1-splines, minimal degree, B-splines |
28 | Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien |
Circuits and Expressions with NOn-Associative Gates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 193-203, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION |
28 | Mohamed Tounsi 0002 |
A Genetic-Based Approach for Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 208-216, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Genetic Algorithm, SAT, NP-complete Problem, Hamiltonian Circuit |
27 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon |
McMillan's Complete Prefix for Contextual Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 199-220, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
read arcs, complete finite prefix, verification, Petri nets, unfolding |
27 | Chen Li 0001 |
Computing complete answers to queries in the presence of limited access patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 12(3), pp. 211-227, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Limited access patterns to relations, Complete answers to queries, Query stability |
27 | Hideyuki Torii, Makoto Nakamura, Naoki Suehiro |
General Construction of Periodic Complete Complementary Codes Composed of Expanded Modulatable Orthogonal Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 738-743, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
complete complementary code, orthogonal sequence |
27 | Si-Gwan Kim, Seung Ryoul Maeng, Jung Wan Cho |
Complete Exchange Algorithms in Wormhole-Routed Torus Networks: A Divide-and-Conquer Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 296-301, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
collective communication, torus, wormhole, complete exchange |
27 | John M. Hitchcock, Aduri Pavan |
Comparing Reductions to NP-Complete Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I, pp. 465-476, 2006, Springer, 3-540-35904-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Juris Hartmanis, Neil Immerman |
On Complete Problems for NP$\cap$CoNP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 250-259, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco |
Complete ( q 2 + q + 8)/2-caps in the spaces PG (3, q ), q = 2 (mod 3) an odd prime, and a complete 20-cap in PG (3, 5). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 50(3), pp. 359-372, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 51E21, 94B05, 51E22 |
25 | John Harding |
kappa -Complete Uniquely Complemented Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(2), pp. 121-129, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Uniquely complemented lattice, Complete |
25 | Shung-Liang Wu, Hung-Lin Fu |
Maximum cyclic 4-cycle packings of the complete multipartite graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 14(2-3), pp. 365-382, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Complete multipartite graph, Cycle system, Cycle packing, 4-cycle, Cyclic |
25 | Lauri Hella, Jose Maria Turull Torres |
Complete Problems for Higher Order Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 380-394, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Lindström Quantifiers, Complete Problems, Higher Order Logics |
25 | Thomas Moor, Jörg Raisch, Siu O'Young |
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 12(1), pp. 83-107, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
behavioral approach, l-complete approximations, hybrid systems, supervisory control |
25 | Anatolij Dvurecenskij, Maria Gabriella Graziano |
Dedekind Complete Commutative BCK-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 23-41, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group |
25 | Young-Joo Suh, Sudhakar Yalamanchili |
Configurable Algorithms for Complete Exchange in 2D Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(4), pp. 337-356, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
parallel algorithms, collective communication, Interprocessor communication, all-to-all communication, complete exchange, all-to-all personalized exchange |
25 | Lars Albertsson, Peter S. Magnusson |
Using Complete System Simulation for Temporal Debugging of General Purpose Operating Systems and Workload. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August - 1 September 2000, San Francisco, California, USA, pp. 191-198, 2000, IEEE Computer Society, 0-7695-0728-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Temporal Debugging, Simics, Complete System Simulation, Operating Systems, Linux, Soft Real Time Systems |
25 | Young-Joo Suh, Kang G. Shin, Syungog An |
Configurable Complete Exchanges in 2D Torus-Connected Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: Proceedings of the International Conference on Parallel Processing 1999, ICPP 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 444-453, 1999, IEEE Computer Society, 0-7695-0350-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parallel algorithms, collective communication, all-to-all communication, complete exchange, all-to-all personalized exchange, inter-processor communication |
25 | Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
Compact and complete test set generation for multiple stuck-faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 212-219, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Multiple stuck faults, complete test set generation, irrepressible faults |
25 | Juris Hartmanis, Lane A. Hemachandra |
Complexity Classes Without Machines: On Complete Languages for UP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings, pp. 123-135, 1986, Springer, 3-540-16761-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Mirko Hornák, Stefan Pcola, Mariusz Wozniak |
On the Achromatic Index of for a Prime q. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 20(2), pp. 191-203, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Proper complete edge colouring, Achromatic index, Complete graph |
24 | Costas Courcoubetis, Mihalis Yannakakis |
The Complexity of Probabilistic Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(4), pp. 857-907, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
EXPTIME-complete, model checking, temporal logic, Markov chain, automata, probabilistic algorithm, PSPACE-complete |
24 | Keijo Heljanko |
Model Checking with Finite Complete Prefixes Is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 108-122, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Vincenzo Auletta, Sajal K. Das 0001, Amelia De Vivo, Maria Cristina Pinotti, Vittorio Scarano |
Optimal Tree Access by Elementary and Composite Templates in Parallel Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(4), pp. 399-412, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
complete trees, composite templates, elementary templates, mapping scheme, conflict-free access, parallel memory system |
24 | Manindra Agrawal, Eric Allender |
An Isomorphism Theorem for Circuit Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 2-11, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Complete Sets, Berman-Hartmanis Conjecture, NC1, AC0, NC0, projections, Circuit Complexity, uniformity, Isomorphisms |
23 | Xin He, Heping Zhang |
Complete forcing numbers of complete and almost-complete multipartite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 46(2), pp. 11, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Takashi Horiyama, Takehiro Ito, Keita Nakatsuka, Akira Suzuki, Ryuhei Uehara |
Packing Trominoes is NP-Complete, #P-Complete and ASP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 24th Canadian Conference on Computational Geometry, CCCG 2012, Charlottetown, Prince Edward Island, Canada, August 8-10, 2012, pp. 211-216, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Theo Härder, Andreas Bühmann |
Value complete, column complete, predicate complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(4), pp. 805-826, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Cache constraints, Predicate completeness, Query processing, Database caching |
23 | Zoltán Szabó 0001 |
Complete Blind Subspace Deconvolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA ![In: Independent Component Analysis and Signal Separation, 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings, pp. 138-145, 2009, Springer, 978-3-642-00598-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Complete blind subspace deconvolution, separation principle, independent subspace analysis, linear prediction |
23 | Jeff Edmonds |
Embedding into linfinity2 Is Easy, Embedding into l infinity3 Is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(4), pp. 747-765, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
l-infinity norm, Möbius, c q (k), Algorithm, NP-complete, Embedding, Metric space |
23 | A. Prasad Sistla, V. N. Venkatakrishnan, Michelle Zhou 0002, Hilary Branske |
CMV: automatic verification of complete mediation for java virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008, pp. 100-111, 2008, ACM, 978-1-59593-979-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complete mediation, runtime monitoring |
23 | Lior Malka |
How to Achieve Perfect Simulation and A Complete Problem for Non-interactive Perfect Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008., pp. 89-106, 2008, Springer, 978-3-540-78523-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
non-interactive, perfect zero-knowledge, error shifting, complete problems, cryptography, perfect simulation |
23 | J. H. M. ten Thije Boonkkamp, M. J. H. Anthonissen |
The Complete Flux Scheme for Spherically Symmetric Conservation Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 651-660, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
advection diffusion equation, complete flux scheme, finite volumes |
23 | Takako Nemoto |
Complete Determinacy and Subsystems of Second Order Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 457-466, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy |
23 | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
The complete root classification of a parametric polynomial on an interval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 189-196, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complete root classification, parametric polynomial, real quantifier elimination, interval, real root |
23 | Peiyi Tang |
Complete inlining of recursive calls: beyond tail-recursion elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 579-584, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph |
23 | Mao Ye 0001, Zhang Yi 0001 |
Complete Convergence of Competitive Neural Networks with Different Time Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 21(1), pp. 53-60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
complete convergence, different time scales, unsaturated piecewise linear function, recurrent neural network |
23 | Keijo Heljanko, Tommi A. Junttila, Timo Latvala |
Incremental and Complete Bounded Model Checking for Full PLTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 98-111, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
PLTL, Complete, Bounded Model Checking, Incremental, NuSMV |
23 | Jesús E. Villadangos, Alberto Córdoba, Federico Fariña, Manuel Prieto 0002 |
Efficient Leader Election in Complete Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 13th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2005), 6-11 February 2005, Lugano, Switzerland, pp. 136-143, 2005, IEEE Computer Society, 0-7695-2280-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
distributed algorithms, leader election, I/O automata, complete networks |
23 | Hiroyuki Iwata, Tomokazu Yoneda, Satoshi Ohtake, Hideo Fujiwara |
A DFT Method for RTL Data Paths Based on Partially Strong Testability to Guarantee Complete Fault Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 306-311, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
strong testability, partially strong testability, complete fault efficiency, design-for-testability, data paths |
Displaying result #1 - #100 of 30405 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|