Search results for "co-NP-complete"

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