Search results for "re-ordering"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
65	Paliath Narendran, Michaël Rusinowitch	The Theory of Total Unary RPO Is Decidable.	Computational Logic	2000	DBLP DOI BibTeX RDF	recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
63	Peter L. Williams	Visibility-Ordering Meshed Polyhedra.	ACM Trans. Graph.	1992	DBLP DOI BibTeX RDF	depth ordering, volume rendering, scientific visualization, finite element methods, triangulation, Delaunay triangulation, volume visualization, mesh generation, scattered data, point location, visibility ordering
60	Bu-Sung Lee, Wentong Cai 0001, Junlan Zhou	A causality based time management mechanism for federated simulation.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF	causal order delivery, direct dependency, happen-before relationship, time stamp ordering, multicasting, distributed simulation, time management
58	Jeremy E. Dawson, Rajeev Goré	A General Theorem on Termination of Rewriting.	CSL	2004	DBLP DOI BibTeX RDF	well-founded ordering, recursive path ordering, termination, rewriting
56	Andreas Goerdt	On Random Ordering Constraints.	CSR	2009	DBLP DOI BibTeX RDF	random structures, Algorithms, logic, probabilistic analysis, ordering
56	Zhen Liu 0001, Srinivasan Parthasarathy 0002, Anand Ranganathan, Hao Yang 0004	A generic flow algorithm for shared filter ordering problems.	PODS	2008	DBLP DOI BibTeX RDF	flow maximization, shared filter ordering, parallel, query optimization
56	Charl P. Botha, Frits H. Post	Improved perspective visibility ordering for object-order volume rendering.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	Volume rendering, Splatting, Visibility ordering
56	Richard Cook, Nelson L. Max, Cláudio T. Silva, Peter L. Williams	Image-Space Visibility Ordering for Cell Projection Volume Rendering of Unstructured Data.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF	Volume rendering, unstructured mesh, visibility ordering
53	Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu	Algorithms for distributional and adversarial pipelined filter ordering problems.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	Pipelined filter ordering, flow algorithms, selection ordering, query optimization
53	Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel	Learning Directed Probabilistic Logical Models Using Ordering-Search.	ILP	2007	DBLP DOI BibTeX RDF
53	Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu	Conditional Memory Ordering.	ISCA	2006	DBLP DOI BibTeX RDF
53	Matt Vernooy, William S. Havens	An Examination of Probabilistic Value-Ordering Heuristics.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
51	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-domain retroactive ordering for Asynchronous Backtracking.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Ordering heuristics, Search, Distributed constraints satisfaction
51	Timothy A. Davis 0001, John R. Gilbert, Stefan I. Larimore, Esmond G. Ng	A column approximate minimum degree ordering algorithm.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	Sparse nonsymmetric matrices, linear equations, ordering methods
51	Rolf Drechsler	Evaluation of Static Variable Ordering Heuristics for MDD Construction.	ISMVL	2002	DBLP DOI BibTeX RDF	verification, heuristic, MDD, formal, variable ordering
51	André Schiper, Jorge Eggli, Alain Sandoz	A New Algorithm to Implement Causal Ordering.	WDAG	1989	DBLP DOI BibTeX RDF	distributed algorithms, ordering
51	Wilfred Ng	An extension of the relational data model to incorporate ordered domains.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
49	Hong-Nhung Nguyen Thi, Dien Dinh	A Syntactic-based Word Re-ordering for English-Vietnamese Statistical Machine Translation System.	PRICAI	2008	DBLP DOI BibTeX RDF	word re-ordering, syntactic-based word re-ordering rule, Statistical machine translation, parse tree
49	Anne Condon, Amol Deshpande, Lisa Hellerstein, Ning Wu	Flow algorithms for two pipelined filter ordering problems.	PODS	2006	DBLP DOI BibTeX RDF	flow algorithms, pipelined filter ordering, selection ordering, query optimization
48	François Baccelli, Zhen Liu 0001, Donald F. Towsley	Extremal Scheduling of Parallel Processing with and without Real-Time Constraints.	J. ACM	1993	DBLP DOI BibTeX RDF	LCFS, Schur convex ordering, convex ordering, convex symmetric ordering, extremal policy, local order preserving, longest due time first, shortest due time first, parallel processing, throughput, response time, precedence constraints, FIFO, real-time constraints, optimal scheduling, dateness, stochastic ordering, FCFS, LIFO
48	Adrian N. Evans	Nonlinear Operations for Colour Images Based on Pairwise Vector Ordering.	DICTA	2005	DBLP DOI BibTeX RDF
48	Deepak Kapur, G. Sivakumar	A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems.	RTA	1997	DBLP DOI BibTeX RDF
48	Feodor F. Dragan, Falk Nicolai, Andreas Brandstädt	LexBFS-Orderings and Power of Graphs.	WG	1996	DBLP DOI BibTeX RDF
48	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
46	Xiaoguang Dai, S. W. Cheung, T. I. Yuk	Simplified ordering for fixed-complexity sphere decoder.	IWCMC	2010	DBLP DOI BibTeX RDF	fixed-complexity sphere decoder, MIMO, ordering, geometrical analysis
46	Hamid Reza Kheirabadi, Morteza Saheb Zamani	An efficient net ordering algorithm for buffer insertion.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	buffer usage, net ordering, buffer insertion
46	Diansheng Guo, Mark Gahegan	Spatial ordering and encoding for geographic data mining and visualization.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Spatio-temporal visualization, Hierarchical clustering, Multidimensional scaling, Spatial data mining, Space-filling curve, Linear ordering
46	Naoaki Okazaki, Yutaka Matsuo, Mitsuru Ishizuka	Improving chronological ordering of sentences extracted from multiple newspaper articles.	ACM Trans. Asian Lang. Inf. Process.	2005	DBLP DOI BibTeX RDF	sentence ordering, coherence, arrange, order, Multi-document summarization
46	Pang-Ning Tan, Rong Jin 0001	Ordering patterns by combining opinions from multiple sources.	KDD	2004	DBLP DOI BibTeX RDF	pattern ordering, ensemble learning, rank aggregation
46	Laurent Massoulié	Large deviations ordering of point processes in some queueing networks.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	large deviations ordering, sample path large deviations, point processes
44	Ge-Ming Chiu, Chih-Ming Hsiao	A Note on Total Ordering Multicast Using Propagation Trees.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	multiple groups, propagation tree, group communication, total ordering, Causal ordering
44	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert	A new approach to incremental topological ordering.	SODA	2009	DBLP DOI BibTeX RDF
44	Dimitrios Mavroeidis, Ella Bingham	Enhancing the Stability of Spectral Ordering with Sparsification and Partial Supervision: Application to Paleontological Data.	ICDM	2008	DBLP DOI BibTeX RDF
44	J. Christopher Beck, Patrick Prosser, Richard J. Wallace	Variable Ordering Heuristics Show Promise.	CP	2004	DBLP DOI BibTeX RDF
44	Cristina Borralleras, Albert Rubio	A Monotonic Higher-Order Semantic Path Ordering.	LPAR	2001	DBLP DOI BibTeX RDF
44	Daesoo Cho, Bonghee Hong	Optimal Page Ordering for Region Queries in Static Spatial Databases.	DEXA	2000	DBLP DOI BibTeX RDF
43	P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh	Variable Order Verification Use of Logic Representation.	ICADL	2003	DBLP DOI BibTeX RDF
42	Lu Xiao 0002, Jayne S. Litzinger	Unraveling the ordering in persistent chat: a new message ordering feature.	GROUP	2005	DBLP DOI BibTeX RDF	sequential chat, CMC, message ordering
41	Sudarshan Bahukudumbi, Krishnendu Chakrabarty	Test-Pattern Ordering for Wafer-Level Test-During-Burn-In.	VTS	2008	DBLP DOI BibTeX RDF	wafer-level, pattern ordering, burn-in
41	Yanbo J. Wang, Qin Xin 0001, Frans Coenen	A Novel Rule Ordering Approach in Classification Association Rule Mining.	MLDM	2007	DBLP DOI BibTeX RDF	Classification Association Rules, Classification Association Rule Mining, Rule Ordering, Data Mining
41	Gang Chen 0011, Sudhakar M. Reddy, Irith Pomeranz, Janusz Rajski	A test pattern ordering algorithm for diagnosis with truncated fail data.	DAC	2006	DBLP DOI BibTeX RDF	test pattern ordering, truncated fail data, diagnosis
41	Huang-Cheng Kuo	A Divisive Ordering Algorithm for Mapping Categorical Data to Numeric Data.	KES (2)	2005	DBLP DOI BibTeX RDF	Divisive Ordering, Indexing, Mapping, Approximate Nearest Neighbor Search
41	Azzedine Boukerche, Fernando H. S. Silva, Regina Borges de Araujo, Richard Werner Nelem Pazzi	A low latency and energy aware event ordering algorithm for wireless actor and sensor networks.	MSWiM	2005	DBLP DOI BibTeX RDF	critical safety, ordering of events, wireless actor and sensor networks
41	Kevin M. Lepak, Min Xu, Jun Chen 0008, Lei He 0001	Simultaneous shield insertion and net ordering for capacitive and inductive coupling minimization.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	VLSI physical design automation and on-chip inductance, net ordering, noise minimization, signal integrity, shielding
41	Jing Yang 0001, Wei Peng, Matthew O. Ward, Elke A. Rundensteiner	Interactive Hierarchical Dimension Ordering, Spacing and Filtering for Exploration of High Dimensional Datasets.	INFOVIS	2003	DBLP DOI BibTeX RDF	dimension spacing, dimension filtering, high dimensional datasets, multidimensional visualization, Dimension ordering
41	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner	XFM: An incremental methodology for developing formal models.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
39	Jan Behrens, Stephan Waack	Equivalence Test and Ordering Transformation for Parity-OBDDs of Different Variable Ordering.	STACS	1998	DBLP DOI BibTeX RDF
39	Branimir Seselja, Andreja Tepavcevic	Fuzzy Ordering Relation and Fuzzy Poset.	PReMI	2007	DBLP DOI BibTeX RDF	Lattice valued fuzzy ordering relation, fuzzy weak ordering relation, fuzzy poset, cutworthy approach
39	Walter Guttmann, Markus Maucher	Variations on an Ordering Theme with Constraints.	IFIP TCS	2006	DBLP DOI BibTeX RDF	computational complexity, NP-completeness, total ordering, topological sorting, betweenness, cyclic ordering
39	Yi Feng 0001, Eduard Cerny	Term ordering problem on MDG.	ACM Great Lakes Symposium on VLSI	2002	DBLP DOI BibTeX RDF	first-order terms, function renaming, function symbols, standard term ordering, term rewriting, variable ordering, multiway decision graphs
39	Niket Agarwal, Li-Shiuan Peh, Niraj K. Jha	In-Network Snoop Ordering (INSO): Snoopy coherence on unordered interconnects.	HPCA	2009	DBLP DOI BibTeX RDF
39	Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch	InvisiFence: performance-transparent memory ordering in conventional multiprocessors.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, memory consistency
39	Shin-ichi Minato	A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.	Discovery Science	2007	DBLP DOI BibTeX RDF
39	Lucy Gongtao Chen, Srinagesh Gavirneni 0001	Simulation of scheduled ordering policies in distribution supply chains.	WSC	2007	DBLP DOI BibTeX RDF
39	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-Domain Ordering for Asynchronous Backtracking.	CP	2007	DBLP DOI BibTeX RDF
39	Graham Chen, Qinzheng Kong, Pierre-Yves Benain	SP-to-SP service ordering specification and its implementation.	NOMS	1998	DBLP DOI BibTeX RDF
39	Richard B. Worrell, Bernie L. Hulme	Efficient Ordering of Set Expressions for Symbolic Expansion.	J. ACM	1973	DBLP DOI BibTeX RDF
39	Roberto Baldoni, Michel Raynal, Ravi Prakash 0001, Mukesh Singhal	Broadcast with Time and Causality Constraints for Multimedia Applications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	causality constraints, /spl Delta/-causal ordering, multimedia real-time collaborative applications, groupware real-time applications, /spl Delta/-causal ordering protocol, transitive dependencies, application messages, groupware, multimedia applications, time constraints, communication abstraction
39	S. W. Thomas, Elke A. Rundensteiner, Amy J. Lee	Visualization and database tools for YAC and cosmid contig construction.	HICSS (5)	1995	DBLP DOI BibTeX RDF	gene map visualization tools, database tools, YAC, cosmid contig construction, YAC-Cosmid contig tool, fine-scale ordering inference, gene searches, editing tool, Physical Map Assembler, a rule-based interval-ordering approach, active object-oriented database, ambiguity identification, usability, query processing, object-oriented databases, conflict resolution, data visualisation, active databases, genetics, biology computing, large data sets, user query, experimental data
39	Joseph W. H. Liu	Modification of the Minimum-Degree Algorithm by Multiple Elimination.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	minimum degree, sparse ordering, ordering, elimination
37	David Stynes, Kenneth N. Brown	Value ordering for quantified CSPs.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Value ordering, Quantified CSPs, Backtracking search
37	Hao Yan, Shuai Ding 0006, Torsten Suel	Inverted index compression and query processing with optimized document ordering.	WWW	2009	DBLP DOI BibTeX RDF	IR query processing, document ordering, search engines, inverted index, index compression
37	Mihnea Andrei, Xun Cheng, Sudipto Chowdhuri, Curtis Johnson, Edwin Seputis	Ordering, distinctness, aggregation, partitioning and DQP optimization in sybase ASE 15.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	abstract plans, distinctness, eager aggregation, lazy aggregation, logical operators, logical properties, physical operators, property enforcement, optimization, search engine, aggregation, grouping, ordering, search space, operator model, physical properties
37	Yun Wang, Junling Wang	Non-blocking message total ordering protocol.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	fault tolerance, protocol, non-blocking, total ordering, token ring, active replication
37	Song Xiao 0001, Chengke Wu 0001, Yunsong Li, Jianchao Du, C.-C. Jay Kuo	Priority Ordering Algorithm for Scalable Video Coding Transmission over Heterogeneous Network.	AINA	2008	DBLP DOI BibTeX RDF	heterogeneous network, scalable video coding, priority ordering
37	Gang Wu, James G. Mainprize, Martin J. Yaffe	Characterization of Projection Ordering in Iterative Reconstruction Methods for Breast Tomosynthesis.	Digital Mammography / IWDM	2008	DBLP DOI BibTeX RDF	Iterative Reconstruction, Projection ordering, Image quality, Tomosynthesis
37	Doina Logofatu, Rolf Drechsler	Efficient Evolutionary Approaches for the Data Ordering Problem with Inversion.	EvoWorkshops	2006	DBLP DOI BibTeX RDF	Data Ordering Problem, Transition Minimization, Optimization, Complexity, Low Power, Evolutionary Algorithms, Graph Theory, Digital Circuit Design
37	Chris GauthierDickey, Virginia Mary Lo, Daniel Zappala	Using n-trees for scalable event ordering in peer-to-peer games.	NOSSDAV	2005	DBLP DOI BibTeX RDF	n-tree, peer-to-peer, games, multiplayer, event ordering
37	Naga K. Govindaraju, Michael Henson, Ming C. Lin, Dinesh Manocha	Interactive visibility ordering and transparency computations among geometric primitives in complex environments.	SI3D	2005	DBLP DOI BibTeX RDF	transparency computations, sorting, collision detection, graphics hardware, visibility ordering
37	Lisa Higham, Jalal Kawash	Impact of Instruction Re-Ordering on the Correctness of Shared-Memory Programs.	ISPAN	2005	DBLP DOI BibTeX RDF	Instruction re-ordering, High-performance multiprocessors, Mutual exclusion, Sequential consistency, Critical Sections, Memory consistency models
37	Timothy A. Davis 0001	A column pre-ordering strategy for the unsymmetric-pattern multifrontal method.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	sparse nonsymmetric matrices, linear equations, multifrontal method, ordering methods
37	Philippos Tsalides, Maria I. Vardavoulia, Ioannis Andreadis	Vector Ordering and Morphological Operations for Colour Image Processing: Fundamentals and Applications.	Pattern Anal. Appl.	2002	DBLP DOI BibTeX RDF	Colour image processing, Vector ordering, Mathematical morphology
37	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
37	Ajay D. Kshemkalyani, Mukesh Singhal	Necessary and Sufficient Conditions on Information for Causal Message Ordering and Their Optimal Implementation.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Causal message ordering, Distributed systems, Concurrency, Synchronization
34	Markus Behle	On threshold BDDs and the optimal variable ordering problem.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Threshold BDD, 0/1 integer programming, Optimal variable ordering, Variable ordering spectrum, Binary decision diagram, Knapsack
34	Cláudio T. Silva, Joseph S. B. Mitchell, Peter L. Williams	An Exact Interactive Time Visibility Ordering Algorithm for Polyhedral Cell Complexes.	VVS	1998	DBLP DOI BibTeX RDF	depth ordering, scientific visulazation, volume visualzation, volume rendering, finite element methods, visibility ordering
34	Raghu Ramakrishnan 0001, Divesh Srivastava, S. Sudarshan 0001	Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	bottom-up fixpoint evaluation, GSN, rule ordering, PSN, base relations, fair orderings, control expression, semantics, query processing, logic programming, logic programs, program compilers, deductive databases, deductive database, query evaluation, performance results, BSN, cyclic ordering
34	Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel	Learning directed probabilistic logical models: ordering-search versus structure-search.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T05, 68T27, 68T37
34	Doron Feldman, Daphna Weinshall	Motion Segmentation and Depth Ordering Using an Occlusion Detector.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF	Segmentation, Motion, Video analysis, Image Processing and Computer Vision, Depth cues
34	Kaiyu Chen, Sharad Malik, Priyadarsan Patra	Runtime validation of memory ordering using constraint graph checking.	HPCA	2008	DBLP DOI BibTeX RDF
34	Yongmei Dai, Zhiyuan Yan	Efficient ordering schemes for sphere decoder.	SiPS	2008	DBLP DOI BibTeX RDF
34	Xiaoqing Liu, Olga Veksler, Jagath Samarabandu	Graph cut with ordering constraints on labels and its applications.	CVPR	2008	DBLP DOI BibTeX RDF
34	Cássio M. M. Pereira, Daniel Corrêa Lobato, César A. C. Teixeira, Maria da Graça Campos Pimentel	Achieving causal and total ordering in publish/subscribe middleware with DSM.	MW4SOC	2008	DBLP DOI BibTeX RDF	causal/total order, middleware, publish/subscribe, DSM
34	Zoe Yan Zhuang, Rasika Amarasiri, Leonid Churilov, Damminda Alahakoon, Ken Sikaris	Exploring the Clinical Notes of Pathology Ordering by Australian General Practitioners: a text mining perspective.	HICSS	2007	DBLP DOI BibTeX RDF
34	Michael R. Marty, Mark D. Hill	Coherence Ordering for Ring-based Chip Multiprocessors.	MICRO	2006	DBLP DOI BibTeX RDF
34	Zoe Yan Zhuang, Leonid Churilov, Ken Sikaris	Uncovering the Patterns in Pathology Ordering by Australian General Practitioners: A Data Mining Perspective.	HICSS	2006	DBLP DOI BibTeX RDF
34	Nie Yu, Dong-Hong Ji, Lingpeng Yang	An Adjacency Model for Sentence Ordering in Multi-document Summarization.	AIRS	2006	DBLP DOI BibTeX RDF
34	Soohong P. Kim	Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors.	MTV	2005	DBLP DOI BibTeX RDF
34	Didier Dubois, Eyke Hüllermeier	A Notion of Comparative Probabilistic Entropy Based on the Possibilistic Specificity Ordering.	ECSQARU	2005	DBLP DOI BibTeX RDF
34	Ulrik Brandes	Eager st-Ordering.	ESA	2002	DBLP DOI BibTeX RDF
34	Sung-Ho Woo, Sung-Bong Yang	Hierarchical Vertex Ordering.	ICGT	2002	DBLP DOI BibTeX RDF
34	Y. Y. Yao, Ying Sai	On Mining Ordering Rules.	JSAI Workshops	2001	DBLP DOI BibTeX RDF
34	Gurdip Singh, Shakeel Badarpura	Application Ordering in Group Communication.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
34	Daesoo Cho, Bonghee Hong	Efficient Region Query Processing by Optimal Page Ordering.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF
34	Jou-Ming Chang, Chin-Wen Ho, Ming-Tat Ko	LexBFS-Ordering in Asteroidal Triple-Free Graphs.	ISAAC	1999	DBLP DOI BibTeX RDF
34	Maxim Lifantsev, Leo Bachmair	An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction.	TPHOLs	1998	DBLP DOI BibTeX RDF
34	Deepak Kapur, Paliath Narendran, G. Sivakumar	A Path Ordering for Proving Termination of Term Rewriting Systems.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
34	Daniela Bianucci, Gianpiero Cattaneo	Information Entropy and Granulation Co-Entropy of Partitions and Coverings: A Summary.	Trans. Rough Sets	2009	DBLP DOI BibTeX RDF	Measure distributions, partial partitions, co-entropy, isotonicity, anti-tonicity, partitions, entropy, partial ordering, probability distributions, coverings, quasi-ordering
34	Alberto Marcone	Fine Analysis of the Quasi-Orderings on the Power Set.	Order	2001	DBLP DOI BibTeX RDF	better quasi-ordering, wqo, well quasi-ordering
34	Weijia Jia 0001, Jiannong Cao 0001, Edgar Nett, Jörg Kaiser	A high performance reliable atomic group protocol.	ICPADS	1996	DBLP DOI BibTeX RDF	high performance reliable atomic group protocol, group communication multicast protocol, single logical-clock token ring approach, multicast messages, optimized fault-tolerant algorithms, process failures, message total ordering, atomic delivery, fault tolerant computing, message passing, local area networks, local area network, transport protocols, atomicity, network partitioning, total ordering, token networks