Search results for "Pre-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Michael Hrusák, Manuel Sanchis, Á. Tamariz-Mascarúa	Ultrafilters, monotone functions and pseudocompactness.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Rudin-Keisler pre-order, Rudin-Blass pre-order, M-pseudocompactness, Semi-P-points, Rapid filters, P-points, Q-points, Selective ultrafilters
35	Christie I. Ezeife, Yi Lu	Mining Web Log Sequential Patterns with Position Coded Pre-Order Linked WAP-Tree.	Data Min. Knowl. Discov.	2005	DBLP DOI BibTeX RDF	WAP-tree mining, pre-order linkage, position codes, apriori techniques, Web usage mining, sequential patterns
35	Yi Lu, Christie I. Ezeife	Position Coded Pre-order Linked WAP-Tree for Web Log Sequential Pattern Mining.	PAKDD	2003	DBLP DOI BibTeX RDF	WAP-tree Mining, Pre-Order Linkage, Position Codes, Web Usage Mining, Sequential Mining
27	Salil S. Kanhere, Harish Sethu	On the Latency Bound of Pre-Order Deficit Round Robin.	LCN	2002	DBLP DOI BibTeX RDF
24	Sang T. T. Nguyen	Efficient web usage mining process for sequential patterns.	iiWAS	2009	DBLP DOI BibTeX RDF	pre-order linked WAP-Tree (PLWAP-tree), web access patterns (WAP), web usage mining (WUM), Markov model, sequential patterns
20	Ladislav J. Kohout	Boolean and Fuzzy Relations.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Local relational properties, Interiors, Pre-order, BK-products, Relational compositions, Nonassociative products, Generalized morphism, Universal properties of relations, n-ary relation, Value analysis, Artificial intelligence, Decision theory, Psychology, Equivalences, Tolerances, Medicine, Scientific applications, Closures, Fuzzy relations, Engineering applications
15	Adrian Marius Deaconu	Iterative Algorithm for Construction of a Tree from its Pre-order and Post-order Traversals in Linear Time and Space.	Sci. Ann. Cuza Univ.	2004	DBLP BibTeX RDF
12	Mario Bravetti, Gianluigi Zavattaro	A Theory for Strong Service Compliance.	COORDINATION	2007	DBLP DOI BibTeX RDF
12	Chris Fox, Shalom Lappin	A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations.	LACL	2001	DBLP DOI BibTeX RDF
11	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
11	Ed Brinksma, Arend Rensink, Walter Vogler	Fair Testing.	CONCUR	1995	DBLP DOI BibTeX RDF
11	Gabriel Avelino R. Sampedro	Predicting Pre-Order Sales Using Time Series Algorithm, Forecasting, and ARIMA Model in Python for Small Businesses.	ICEIC	2024	DBLP DOI BibTeX RDF
11	Xianfeng Huang, Jianming Zhan 0001, Bingzhen Sun	A three-way decision method with pre-order relations.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
11	Wen Zhang, Weizhe Yang	Optimal pre-order strategy with delay in payments.	Ann. Oper. Res.	2021	DBLP DOI BibTeX RDF
11	Dana Hlinená, Martin Kalina	Characterization of Uninorms on Bounded Lattices and Pre-order They Induce.	Int. J. Comput. Intell. Syst.	2021	DBLP DOI BibTeX RDF
11	Martin Kalina	2-uninorms and pre-order induced by them.	SISY	2021	DBLP DOI BibTeX RDF
11	Matthew Hennessy	An Equational Characterisation of the Must Testing Pre-order for Regular Processes.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
11	Dana Hlinená, Martin Kalina	A Characterization of Uninorms by Means of a Pre-order they Induce.	EUSFLAT Conf.	2019	DBLP DOI BibTeX RDF
11	Carmen Coll, Marina Lattanzi, Néstor Thome	Weighted G-Drazin inverses and a new pre-order on rectangular matrices.	Appl. Math. Comput.	2018	DBLP DOI BibTeX RDF
11	Er Su	矩阵前主子式的三角分解改进 (Matrix Triangular Decomposition Improvement of Pre Order Principal Sub Determinant).	计算机科学	2017	DBLP DOI BibTeX RDF
11	Youcheng Sun, Giuseppe Lipari	A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
11	Tyler Corbin, Tomasz Müldner, Jan Krzysztof Miziolek	Pre-order Compression Schemes for XML in the Real Time Environment.	WEBIST	2013	DBLP BibTeX RDF
11	Tyler Corbin, Tomasz Müldner, Jan Krzysztof Miziolek	Networked XML Compression by Encoding Pre-order Traversals.	WEBIST (Selected Papers)	2013	DBLP DOI BibTeX RDF
11	Jui-Tsung Wong, Chwen-Tzeng Su, Kuei-Hsien Chen	Replenishment policy based on modified ant colony optimisation and statistical analysis under the pre-order penetration point.	Int. J. Comput. Math.	2009	DBLP DOI BibTeX RDF
11	Salil S. Kanhere, Harish Sethu	On the latency and fairness characteristics of pre-order deficit round Robin.	Comput. Commun.	2004	DBLP DOI BibTeX RDF
11	Alexander M. Rubinov, Rafail N. Gasimov	Scalarization and Nonlinear Scalar Duality for Vector Optimization with Preferences that are not necessarily a Pre-order Relation.	J. Glob. Optim.	2004	DBLP DOI BibTeX RDF
11	Shih-Chiang Tsao, Ying-Dar Jason Lin	Pre-order Deficit Round Robin: a new scheduling algorithm for packet-switched networks.	Comput. Networks	2001	DBLP DOI BibTeX RDF
11	Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic	A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.	ISORC	2000	DBLP DOI BibTeX RDF
11	Maria Angela C. M. Gurgel, Yoshiko Wakabayashi	Adjacency of vertices of the complete pre-order polytope.	Discret. Math.	1997	DBLP DOI BibTeX RDF
10	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan 0001	Visibly pushdown automata for streaming XML.	WWW	2007	DBLP DOI BibTeX RDF	XML, query, typing, schema, streaming algorithms, pushdown automata
7	Christie I. Ezeife, Kashif Saeed, Dan Zhang	Mining very long sequences in large databases with PLWAPLong.	IDEAS	2009	DBLP DOI BibTeX RDF	PLWAP mining, long sequences, data mining, association rule mining
7	Didier Dubois, Souhila Kaci, Henri Prade	Expressing Preferences from Generic Rules and Examples - A Possibilistic Approach Without Aggregation Function.	ECSQARU	2005	DBLP DOI BibTeX RDF	Possibility theory, Preference aggregation
7	Barry Norton, Matt Fairtlough	Reactive Types for Dataflow-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
7	Graham Chen, Qinzheng Kong, Pierre-Yves Benain	SP-to-SP service ordering specification and its implementation.	NOMS	1998	DBLP DOI BibTeX RDF
6	Satoshi Watanabe, Takao Miura	Reordering B-tree files.	SAC	2002	DBLP DOI BibTeX RDF	B-tree, reordering, reorganization
5	Dong Lin, Yue Zhang 0006, Chengchen Hu, Bin Liu 0001, Xin Zhang 0003, Derek Chi-Wai Pao	Route Table Partitioning and Load Balancing for Parallel Searching with TCAMs.	IPDPS	2007	DBLP DOI BibTeX RDF
5	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
5	Sujeet Pradhan	A Framework for the Relational Implementation of Tree Algebra to Retrieve Structured Document Fragments.	WISE	2004	DBLP DOI BibTeX RDF
5	Sofia Guerra	Distance Functions for Defaults in Reactive Systems.	AMAST	2000	DBLP DOI BibTeX RDF
4	Katsuhiko Sano	Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
4	Jens Chr. Godskesen, Sebastian Nanz	Mobility Models and Behavioural Equivalence for Wireless Networks.	COORDINATION	2009	DBLP DOI BibTeX RDF
4	Lihua Duan, Jessica Chen	An Approach to Testing with Embedded Context Using Model Checker.	ICFEM	2008	DBLP DOI BibTeX RDF	context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences
4	Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine	Monotonic Abstraction in Action.	ICTAC	2008	DBLP DOI BibTeX RDF
4	Nalaka Gooneratne, Zahir Tari, James Harland	Verification of web service descriptions using graph-based traversal algorithms.	SAC	2007	DBLP DOI BibTeX RDF	consistent descriptions, verification, service descriptions
4	Khalid Saleem, Zohra Bellahsene, Ela Hunt	Performance Oriented Schema Matching.	DEXA	2007	DBLP DOI BibTeX RDF
4	Anupam Singh, Srikanth Sampath, Vadiraja Bhatt, Francis Pang, Bharat Rane, Phil Shaw, Gajanan S. Chinchwadkar, Ghazi-Nourdine Benadjaoud	NXS: Native XML processing in Sybase RDBMS.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
4	Mustafa H. Qureshi, Mansur H. Samadzadeh	Determining the Complexity of XML Documents.	ITCC (2)	2005	DBLP DOI BibTeX RDF
4	Luciano Lenzini, Enzo Mingozzi, Giovanni Stea	Tradeoffs between low complexity, low latency, and fairness with deficit round-robin schedulers.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	deficit round-robin (DRR), quality of service (QoS), scheduling algorithms
4	Cristinel Ababei, Kia Bazargan	Non-Contiguous Linear Placement for Reconfigurable Fabrics.	IPDPS	2004	DBLP DOI BibTeX RDF
4	Yossi Matias, Ely Porat	Efficient Pebbling for List Traversal Synopses.	ICALP	2003	DBLP DOI BibTeX RDF
4	E. Allen Emerson, Vineet Kahlon	Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols.	TACAS	2003	DBLP DOI BibTeX RDF
4	Jirí Kubalík, Jan Koutník, Léon J. M. Rothkrantz	Grammatical Evolution with Bidirectional Representation.	EuroGP	2003	DBLP DOI BibTeX RDF
4	Linda F. Garbanati, Pramila Mullan	Enabling electronic communications for local competition-why CORBA?	NOMS	1998	DBLP DOI BibTeX RDF
4	Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho	Using On-The-Fly Verification Techniques for the Generation of test Suites.	CAV	1996	DBLP DOI BibTeX RDF