|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4328 occurrences of 2584 keywords
|
|
|
Results
Found 7809 publication records. Showing 7809 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
65 | Paliath Narendran, Michaël Rusinowitch |
The Theory of Total Unary RPO Is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 660-672, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 11(2), pp. 103-126, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the 15th Workshop on Parallel and Distributed Simulation, PADS 2001, Lake Arrowhead, California, USA, May 15-18, 2001, pp. 83-90, 2001, IEEE Computer Society, 0-7695-1104-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 100-114, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
well-founded ordering, recursive path ordering, termination, rewriting |
56 | Andreas Goerdt |
On Random Ordering Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings, pp. 105-116, 2009, Springer, 978-3-642-03350-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 79-88, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(11), pp. 887-896, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 10(6), pp. 695-707, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 5(2), pp. 24:1-24:34, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers, pp. 24, 2007, Springer, 978-3-540-78468-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu |
Conditional Memory Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 33rd International Symposium on Computer Architecture (ISCA 2006), June 17-21, 2006, Boston, MA, USA, pp. 41-52, 2006, IEEE Computer Society, 0-7695-2608-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Matt Vernooy, William S. Havens |
An Examination of Probabilistic Value-Ordering Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 340-352, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
51 | Roie Zivan, Moshe Zazone, Amnon Meisels |
Min-domain retroactive ordering for Asynchronous Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(2), pp. 177-198, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 30(3), pp. 353-376, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Sparse nonsymmetric matrices, linear equations, ordering methods |
51 | Rolf Drechsler |
Evaluation of Static Variable Ordering Heuristics for MDD Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), May 15-18, 2002, Boston, Massachusetts, USA, pp. 254-260, 2002, IEEE Computer Society, 0-7695-1462-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 3rd International Workshop, Nice, France, September 26-28, 1989, Proceedings, pp. 219-232, 1989, Springer, 3-540-51687-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
distributed algorithms, ordering |
51 | Wilfred Ng |
An extension of the relational data model to incorporate ordered domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 26(3), pp. 344-383, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings, pp. 809-818, 2008, Springer, 978-3-540-89196-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 193-202, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 40(5), pp. 1209-1237, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: Proceedings of the International Conference on Digital Image Computing: Techniques and Applications, DICTA 2005, 6-8 December 2005, Cairns, Australia, pp. 61, 2005, IEEE Computer Society, 0-7695-2467-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Deepak Kapur, G. Sivakumar |
A Total, Ground path Ordering for Proving Termination of AC-Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings, pp. 142-156, 1997, Springer, 3-540-62950-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
48 | Feodor F. Dragan, Falk Nicolai, Andreas Brandstädt |
LexBFS-Orderings and Power of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings, pp. 166-180, 1996, Springer, 3-540-62559-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
48 | Marcello M. Bonsangue, Joost N. Kok |
Semantics, Orderings and Recursion in the Weakest Precondition Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 91-109, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCMC ![In: Proceedings of the 6th International Wireless Communications and Mobile Computing Conference, IWCMC 2010, Caen, France, June 28 - July 2, 2010, pp. 804-808, 2010, ACM, 978-1-4503-0062-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007, pp. 521-524, 2007, ACM, 978-1-59593-605-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 27(3), pp. 243-266, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 4(3), pp. 321-339, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 695-700, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pattern ordering, ensemble learning, rank aggregation |
46 | Laurent Massoulié |
Large deviations ordering of point processes in some queueing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 28(4), pp. 317-335, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(2), pp. 217-223, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 1108-1115, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 8th IEEE International Conference on Data Mining (ICDM 2008), December 15-19, 2008, Pisa, Italy, pp. 462-471, 2008, IEEE Computer Society, 978-0-7695-3502-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | J. Christopher Beck, Patrick Prosser, Richard J. Wallace |
Variable Ordering Heuristics Show Promise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 711-715, 2004, Springer, 3-540-23241-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Cristina Borralleras, Albert Rubio |
A Monotonic Higher-Order Semantic Path Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 531-547, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Daesoo Cho, Bonghee Hong |
Optimal Page Ordering for Region Queries in Static Spatial Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 366-375, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh |
Variable Order Verification Use of Logic Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICADL ![In: Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6th International Conference on Asian Digital Libraries, ICADL 2003, Kuala Lumpur, Malaysia, December 8-12, 2003, Proceedings, pp. 689, 2003, Springer, 3-540-20608-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Lu Xiao 0002, Jayne S. Litzinger |
Unraveling the ordering in persistent chat: a new message ordering feature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GROUP ![In: Proceedings of the 2005 International ACM SIGGROUP Conference on Supporting Group Work, GROUP 2005, Sanibel Island, Florida, USA, November 6-9, 2005, pp. 350-351, 2005, ACM, 1-59593-223-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 26th IEEE VLSI Test Symposium (VTS 2008), April 27 - May 1, 2008, San Diego, California, USA, pp. 193-198, 2008, IEEE Computer Society, 978-0-7695-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007, Proceedings, pp. 339-348, 2007, Springer, 978-3-540-73498-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 399-404, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II, pp. 979-985, 2005, Springer, 3-540-28895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montréal, Quebec, Canada, October 10-13, 2005, pp. 111-117, 2005, ACM, 1-59593-188-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 9(3), pp. 290-309, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: 9th IEEE Symposium on Information Visualization (InfoVis 2003), 20-21 October 2003, Seattle, WA, USA, pp. 105-112, 2003, IEEE Computer Society, 0-7695-2055-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(4), pp. 589-609, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 227-237, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Branimir Seselja, Andreja Tepavcevic |
Fuzzy Ordering Relation and Fuzzy Poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings, pp. 209-216, 2007, Springer, 978-3-540-77045-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile, pp. 77-90, 2006, Springer, 0-387-34633-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, New York, NY, USA, April 18-19, 2002, pp. 160-165, 2002, ACM, 1-58113-462-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 14-18 February 2009, Raleigh, North Carolina, USA, pp. 67-78, 2009, IEEE Computer Society, 978-1-4244-2932-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch |
InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 233-244, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 10th International Conference, DS 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 139-150, 2007, Springer, 978-3-540-75487-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Lucy Gongtao Chen, Srinagesh Gavirneni 0001 |
Simulation of scheduled ordering policies in distribution supply chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1961-1967, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Roie Zivan, Moshe Zazone, Amnon Meisels |
Min-Domain Ordering for Asynchronous Backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 758-772, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Graham Chen, Qinzheng Kong, Pierre-Yves Benain |
SP-to-SP service ordering specification and its implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 80-89, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Richard B. Worrell, Bernie L. Hulme |
Efficient Ordering of Set Expressions for Symbolic Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(3), pp. 482-488, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
39 | Roberto Baldoni, Michel Raynal, Ravi Prakash 0001, Mukesh Singhal |
Broadcast with Time and Causality Constraints for Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 617-624, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (5) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 4-13, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 11(2), pp. 141-153, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
minimum degree, sparse ordering, ordering, elimination |
37 | David Stynes, Kenneth N. Brown |
Value ordering for quantified CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(1), pp. 16-37, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 401-410, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 917-924, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(12), pp. 1919-1934, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, GinoWan, Okinawa, Japan, March 25-28, 2008, pp. 896-903, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Mammography / IWDM ![In: Digital Mammography, 9th International Workshop, IWDM 2008, Tucson, AZ, USA, July 20-23, 2008, Proceedings, pp. 601-605, 2008, Springer, 978-3-540-70537-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutionary Computing, EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 320-331, 2006, Springer, 3-540-33237-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 15th International Workshop, NOSSDAV 2005, Stevenson, Washington, USA, June 13-14, 2005, Proceedings, pp. 87-92, 2005, ACM, 1-58113-987-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SI3D ![In: Proceedings of the 2005 Symposium on Interactive 3D Graphics, SI3D 2005, April 3-6, 2005, Washington, DC, USA, pp. 49-56, 2005, ACM, 1-59593-013-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 8th International Symposium on Parallel Architectures, Algorithms, and Networks, ISPAN 2005, December 7-9. 2005, Las Vegas, Nevada, USA, pp. 25-32, 2005, IEEE Computer Society, 0-7695-2509-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 30(2), pp. 165-195, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 5(3), pp. 271-287, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Colour image processing, Vector ordering, Mathematical morphology |
37 | Nimal Nissanke, Hamdan Dammag |
Risk Ordering of States in Safecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 395-405, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(2), pp. 91-111, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Causal message ordering, Distributed systems, Concurrency, Synchronization |
34 | Markus Behle |
On threshold BDDs and the optimal variable ordering problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 16(2), pp. 107-118, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VVS ![In: Proceeding of the 1998 IEEE Symposium on Volume Visualization, VVS 1998, Research Triangle Park, NC, USA, October 19-20, 1998, pp. 87-94, 1998, ACM / IEEE Computer Society, 1-58113-105-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(4), pp. 501-517, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 54(1-3), pp. 99-133, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 30(7), pp. 1171-1185, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 14th International Conference on High-Performance Computer Architecture (HPCA-14 2008), 16-20 February 2008, Salt Lake City, UT, USA, pp. 415-426, 2008, IEEE Computer Society, 978-1-4244-2070-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Yongmei Dai, Zhiyuan Yan |
Efficient ordering schemes for sphere decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SiPS ![In: Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 2008, October 8-10, 2008, Washington, D.C. Metro Area, USA, pp. 146-151, 2008, IEEE, 978-1-4244-2924-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Xiaoqing Liu, Olga Veksler, Jagath Samarabandu |
Graph cut with ordering constraints on labels and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MW4SOC ![In: Proceedings of the 3rd Workshop on Middleware for Service Oriented Computing, MW4SOC 2008, Leuven, Belgium, December 1-5, 2008, pp. 61-66, 2008, ACM, 978-1-60558-368-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA, pp. 136, 2007, IEEE Computer Society, 0-7695-2755-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Michael R. Marty, Mark D. Hill |
Coherence Ordering for Ring-based Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 309-320, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Nie Yu, Dong-Hong Ji, Lingpeng Yang |
An Adjacency Model for Sentence Ordering in Multi-document Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIRS ![In: Information Retrieval Technology, Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006, Proceedings, pp. 313-322, 2006, Springer, 3-540-45780-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Soohong P. Kim |
Pre-Silicon Validation of IPF Memory Ordering for Multi-Core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA, pp. 105-110, 2005, IEEE Computer Society, 0-7695-2627-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Didier Dubois, Eyke Hüllermeier |
A Notion of Comparative Probabilistic Entropy Based on the Possibilistic Specificity Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 848-859, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Ulrik Brandes |
Eager st-Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 247-256, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Sung-Ho Woo, Sung-Bong Yang |
Hierarchical Vertex Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 393-401, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Y. Y. Yao, Ying Sai |
On Mining Ordering Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI Workshops ![In: New Frontiers in Artificial Intelligence, Joint JSAI 2001 Workshop Post-Proceedings, pp. 316-321, 2001, Springer, 3-540-43070-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Gurdip Singh, Shakeel Badarpura |
Application Ordering in Group Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings, pp. 11-16, 2001, IEEE Computer Society, 0-7695-1080-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
34 | Daesoo Cho, Bonghee Hong |
Efficient Region Query Processing by Optimal Page Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS-DASFAA ![In: Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings, pp. 315-322, 2000, Springer, 3-540-67977-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
34 | Jou-Ming Chang, Chin-Wen Ho, Ming-Tat Ko |
LexBFS-Ordering in Asteroidal Triple-Free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999, Proceedings, pp. 163-172, 1999, Springer, 3-540-66916-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Maxim Lifantsev, Leo Bachmair |
An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, pp. 277-293, 1998, Springer, 3-540-64987-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Deepak Kapur, Paliath Narendran, G. Sivakumar |
A Path Ordering for Proving Termination of Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 173-187, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
34 | Daniela Bianucci, Gianpiero Cattaneo |
Information Entropy and Granulation Co-Entropy of Partitions and Coverings: A Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets X, pp. 15-66, 2009, Springer, 978-3-642-03280-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 18(4), pp. 339-347, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![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. 378-385, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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 |
Displaying result #1 - #100 of 7809 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|