|
|
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. |
AISC |
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. |
J. Comb. Optim. |
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. |
MFCS |
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. |
PODS |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Jonnro Erasmus |
Variation in Business Processes. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Engineer Training. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Zakaria Maamar, Mona von Rosing |
Social Media and Business Process Management. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Wim Laurier, Simon M. Polovina |
The BPM Ontology. |
The Complete Business Process Handbook, Vol. I |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Implementation and Governance. |
The Complete Business Process Handbook, Vol. I |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Gabriella von Rosing, Krzysztof Skurzak, Maria Hove |
BPM and Maturity Models. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mathias Kirchmer, Peter Franz, Mark von Rosing |
The Chief Process Officer: An Emerging Top Leadership Role. |
The Complete Business Process Handbook, Vol. I |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Mathias Kirchmer |
Focusing Business Processes on Superior Value Creation: Value-oriented Process Modeling. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Joshua von Scheel, Asif Qumer Gill |
Applying Agile Principles to BPM. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, Maria Hove, Marianne Fonseca, Ulrik Foldager |
Phase 2: Process Concept Evolution. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Neil Kemp, Maxim Arzumanyan |
Understanding Business Process Management Roles. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Hans-Jürgen Scheruhn, Mark von Rosing, Richard L. Fallon |
Information Modeling and Process Modeling. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Marlon Dumas, Fabrizio Maria Maggi |
Evidence-Based Business Process Management. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Maria Hove, Henrik von Scheel, Ulrik Foldager |
Why Work with Process Templates. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Maria Hove, Gabriella von Rosing, Bob J. Storms |
Business Process Management Governance. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Architect Training. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Nathaniel Palmer |
iBPM - Intelligent Business Process Management. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Owner Training. |
The Complete Business Process Handbook, Vol. I |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Conclusion. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Gabriella von Rosing, David Coloma, Henrik von Scheel |
Sustainability Oriented Process Modeling. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Wim Laurier, Simon M. Polovina |
The Value of Ontology. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Hendrik Bohn, Gabriel von Scheel, Richard Conzo, Maria Hove |
Business Process Portfolio Management. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, August-Wilhelm Scheer, Henrik von Scheel |
Process Expert Training. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Modeling. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Keith D. Swenson, Mark von Rosing |
Phase 4: What Is Business Process Management? |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Maria Hove, Marianne Fonseca, Mona von Rosing, Joshua von Scheel, Dickson Hunja Muhita |
BPM Change Management. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Neil Kemp, Maria Hove, Jeanne W. Ross |
Process Tagging - A Process Classification and Categorization Concept. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Stephen White, Fred Cummins, Henk de Man |
Business Process Model and Notation - BPMN. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, Marianne Fonseca, Maria Hove, Ulrik Foldager |
Phase 1: Process Concept Evolution. |
The Complete Business Process Handbook, Vol. I |
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. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Maria Hove, Henrik von Scheel |
BPM Center of Excellence. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The Business Process Management Way of Training and Coaching. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Mark von Rosing, Henrik von Scheel, August-Wilhelm Scheer |
The BPM Way of Thinking. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
35 | Henrik von Scheel, Mark von Rosing, August-Wilhelm Scheer |
The BPM Way of Working. |
The Complete Business Process Handbook, Vol. I |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Chiun-Chieh Hsu |
All-fault-tolerant embedding of a complete binary tree in a group of Cayley graphs. |
ICPADS |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ISPASS |
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. |
Des. Codes Cryptogr. |
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. |
3DIM |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
J. Comb. Optim. |
2006 |
DBLP DOI BibTeX RDF |
Complete multipartite graphs, Monochromatic subgraphs, Complexity, Graph partitioning |
31 | Hilary A. Priestley |
Ordered Sets and Complete Lattices. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Yuri Gurevich |
Matrix Decomposition Problem Is Complete for the Average Case |
FOCS |
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. |
Commun. ACM |
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. |
HCI (9) |
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. |
WAIFI |
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. |
J. Cryptol. |
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. |
MERLIN |
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. |
IPPS |
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. |
CCC |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Harry Buhrman, Albrecht Hoene, Leen Torenvliet |
Splittings, Robustness and Structure of Complete Sets. |
STACS |
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. |
Adv. Comput. Math. |
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. |
CCC |
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. |
AISC |
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. |
Trans. Petri Nets Other Model. Concurr. |
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. |
VLDB J. |
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. |
ISCC |
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. |
ISPAN |
1999 |
DBLP DOI BibTeX RDF |
collective communication, torus, wormhole, complete exchange |
27 | John M. Hitchcock, Aduri Pavan |
Comparing Reductions to NP-Complete Sets. |
ICALP (1) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Juris Hartmanis, Neil Immerman |
On Complete Problems for NP$\cap$CoNP. |
ICALP |
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). |
Des. Codes Cryptogr. |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 51E21, 94B05, 51E22 |
25 | John Harding |
kappa -Complete Uniquely Complemented Lattices. |
Order |
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. |
J. Comb. Optim. |
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. |
CSL |
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. |
Discret. Event Dyn. Syst. |
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. |
Order |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
MASCOTS |
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. |
ICPP |
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. |
ICCAD |
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. |
ICALP |
1986 |
DBLP DOI BibTeX RDF |
|
24 | Mirko Hornák, Stefan Pcola, Mariusz Wozniak |
On the Achromatic Index of for a Prime q. |
Graphs Comb. |
2004 |
DBLP DOI BibTeX RDF |
Proper complete edge colouring, Achromatic index, Complete graph |
24 | Costas Courcoubetis, Mihalis Yannakakis |
The Complexity of Probabilistic Verification. |
J. ACM |
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. |
CONCUR |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
CCC |
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. |
J. Comb. Optim. |
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. |
CCCG |
2012 |
DBLP BibTeX RDF |
|
23 | Theo Härder, Andreas Bühmann |
Value complete, column complete, predicate complete. |
VLDB J. |
2008 |
DBLP DOI BibTeX RDF |
Cache constraints, Predicate completeness, Query processing, Database caching |
23 | Zoltán Szabó 0001 |
Complete Blind Subspace Deconvolution. |
ICA |
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. |
Discret. Comput. Geom. |
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. |
AsiaCCS |
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. |
TCC |
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. |
ICCS (1) |
2008 |
DBLP DOI BibTeX RDF |
advection diffusion equation, complete flux scheme, finite volumes |
23 | Takako Nemoto |
Complete Determinacy and Subsystems of Second Order Arithmetic. |
CiE |
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. |
ISSAC |
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. |
ACM Southeast Regional Conference |
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. |
Neural Process. Lett. |
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. |
CAV |
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. |
PDP |
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. |
Asian Test Symposium |
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][ >>] |
|