|
|
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 |
22 | Helen Xie, Philip Henderson, Joseph Neelamkavil, Jingxin Li |
A Systematic Search Strategy for Product Configuration. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
numeric variables, n-ary constraints, dependent variables, backjumping, Constraint satisfaction, variable ordering, product configuration |
22 | Prasad A. Kulkarni, Wankang Zhao, Hwashin Moon, Kyunghwan Cho, David B. Whalley, Jack W. Davidson, Mark W. Bailey, Yunheung Paek, Kyle A. Gallivan |
Finding effective optimization phase sequences. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
interactive compilation, genetic algorithms, phase ordering |
22 | Guoqiang Mao, Daryoush Habibi |
Loss performance analysis for heterogeneous ON-OFF sources with application to connection admission control. |
IEEE/ACM Trans. Netw. |
2002 |
DBLP DOI BibTeX RDF |
bufferless fluid flow model, measurement-based CAC, stochastic ordering theory, QoS, ATM |
22 | Diansheng Guo, Donna J. Peuquet, Mark Gahegan |
Opening the black box: interactive hierarchical clustering for multivariate spatial patterns. |
ACM-GIS |
2002 |
DBLP DOI BibTeX RDF |
geographic knowledge discovery, hierarchical subspace clustering, spatial ordering, visualization and interaction |
22 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing |
22 | Christian Urban |
Strong Normalisation for a Gentzen-like Cut-Elimination Procedure. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic |
22 | Xiaowei Li 0001, Huawei Li 0001, Yinghua Min |
Reducing Power Dissipation during At-Speed Test Application. |
DFT |
2001 |
DBLP DOI BibTeX RDF |
Test-pair Ordering, Power Dissipation, At-speed Test |
22 | Roberto Baldoni, Roberto Beraldi, Ravi Prakash 0001 |
Flexible General Purpose Communication Primitives for Distributed Systems. |
HPDC |
1997 |
DBLP DOI BibTeX RDF |
flexible general purpose communication primitives, slotted-FIFO communication mode, ordering requirement, message buffering requirements, low overhead protocol, slotted-FIFO communication, resequencing cost, distributed systems, reliability, distributed processing, simulation study, message latencies |
22 | Joshua Etkin, José Fridman |
An Algorithm for Scheduling Prioritized Tasks in a Hard Real-Time Environment. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
prioritized tasks, hard real-time environment, processor scheduling, dynamically scheduling, search tree, event-driven simulation, priority ordering |
22 | Jang-Ping Sheu, Tsu-Huei Thai |
Partitioning and Mapping Nested Loops on Multiprocessor Systems. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
constant loop-carried dependencies, message-passing multiprocessor systems, interblock communication, execution ordering, time function, hyperplanemethod, fixed-size multiprocessor system, heuristic mapping algorithm, hypercubemachines, parallel algorithms, parallel programming, parallel, partitioning, mapping, iterations, data exchange, blocks, multiprogramming, communication overhead, nested loops |
20 | Li-Wen-Yuan Zhou, Sheng-Hong Dong, Xing-Gao Li |
A Novel Method Considering Guesses and Slips for Item Ordering: Noise-Filter Ordering Theory and Item Relational Structure Theory. |
J. Softw. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Oded Goldreich 0001 |
Robust Self-Ordering versus Local Self-Ordering. |
Electron. Colloquium Comput. Complex. |
2021 |
DBLP BibTeX RDF |
|
20 | Bharat Kale, Maoyuan Sun, Michael E. Papka |
Direct Ordering: A Direct Manipulation Based Ordering Technique. |
IUI Workshops |
2021 |
DBLP BibTeX RDF |
|
20 | Takeshi Iwashita, Senxi Li, Takeshi Fukaya |
Hierarchical block multi-color ordering: a new parallel ordering method for vectorization and parallelization of the sparse triangular solver in the ICCG method. |
CCF Trans. High Perform. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yongjing Yin, Fandong Meng, Jinsong Su, Yubin Ge, Linfeng Song, Jie Zhou 0016, Jiebo Luo |
Enhancing Pointer Network for Sentence Ordering with Pairwise Ordering Predictions. |
AAAI |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Aileen P. Wright, Dara Mize |
The Medication Ordering Safety System: A Pipeline to Predict Adverse Drug Events at the Time of Ordering. |
AMIA |
2020 |
DBLP BibTeX RDF |
|
20 | Takeshi Iwashita, Senxi Li, Takeshi Fukaya |
Hierarchical Block Multi-Color Ordering: A New Parallel Ordering Method for Vectorization and Parallelization of the Sparse Triangular Solver in the ICCG Method. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Tamali Banerjee, V. Rudra Murthy, Pushpak Bhattacharyya |
Ordering Matters: Word Ordering Aware Unsupervised NMT. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Marie Schmidt, Anita Schöbel, Lisa Thom |
Min-ordering and max-ordering scalarization methods for multi-objective robust optimization. |
Eur. J. Oper. Res. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Christian Servin, Olga Kosheleva, Vladik Kreinovich |
How to Detect Crisp Sets Based on Subsethood Ordering of Normalized Fuzzy Sets? How to Detect Type-1 Sets Based on Subsethood Ordering of Normalized Interval-Valued Fuzzy Sets? |
FUZZ-IEEE |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Ling Li 0002, Andrew Georgiou, Elia Vecellio, Alex Eigenstetter, George Toouli, Roger Wilson, Johanna I. Westbrook |
What is the effect of electronic pathology ordering on test re-ordering patterns for paediatric patients? |
HIC |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Apurva Jain, Kamran Moinzadeh, Yong-Pin Zhou |
A Single-Supplier, Multiple-Retailer Model with Single-Season, Multiple-Ordering Opportunities, and Fixed Ordering Cost. |
Oper. Res. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Venkatesan Guruswami, Johan Håstad, Rajsekar Manokaran, Prasad Raghavendra, Moses Charikar |
Beating the Random Ordering is Hard: Every ordering CSP is approximation resistant. |
Electron. Colloquium Comput. Complex. |
2011 |
DBLP BibTeX RDF |
|
20 | Saeed Asaeedi, Farzad Didehvar |
Co-ordering and Type 2 co-ordering |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Venkatesan Guruswami, Johan Håstad, Rajsekar Manokaran, Prasad Raghavendra, Moses Charikar |
Beating the Random Ordering Is Hard: Every Ordering CSP Is Approximation Resistant. |
SIAM J. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Kun-Jen Chung, Jui-Jung Liao |
The optimal ordering policy of the EOQ model under trade credit depending on the ordering quantity from the DCF approach. |
Eur. J. Oper. Res. |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Joe Sawada, Jeremy P. Spinrad |
From a simple elimination ordering to a strong elimination ordering in linear time. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Takeshi Iwashita, Masaaki Shimasaki |
Block Red-Black Ordering: A New Ordering Strategy for Parallelization of ICCG Method. |
Int. J. Parallel Program. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Subbarao Kambhampati, Jengchin Chen |
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
20 | Ingo Althöfer |
Move Ordering by Time Ordering. |
J. Int. Comput. Games Assoc. |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Michaël Rusinowitch |
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. |
J. Symb. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Michaël Rusinowitch |
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. |
RTA |
1985 |
DBLP DOI BibTeX RDF |
|
20 | Pierre Lescanne |
Some Properties of Decomposition Ordering, a Simplification Ordering to Prove Termination of Rewriting Systems. |
RAIRO Theor. Informatics Appl. |
1982 |
DBLP DOI BibTeX RDF |
|
20 | Zhenyu Lu, Xindong Wu 0001, Xingquan Zhu 0001, Josh C. Bongard |
Ensemble pruning via individual contribution ordering. |
KDD |
2010 |
DBLP DOI BibTeX RDF |
ensemble pruning, ensemble learning |
20 | David Michael Knipe |
The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order. |
Order |
2009 |
DBLP DOI BibTeX RDF |
Partially ordered group, Reduction scheme, Group, Partial order |
20 | Maria Dobrska, Hui Wang 0001, William Blackburn |
Data Driven Rank Ordering and Its Application to Financial Portfolio Construction. |
KSEM |
2009 |
DBLP DOI BibTeX RDF |
learning to order, pairwise preference, portfolio construction, ranking |
20 | Lakshman Kaveti, Sandeep Pulluri, Gurdip Singh |
Event Ordering in Pervasive Sensor Networks. |
PerCom Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Ju-Yueh Lee, Yu Hu 0002, Rupak Majumdar, Lei He 0001 |
Simultaneous test pattern compaction, ordering and X-filling for testing power reduction. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Cynthia Kop, Femke van Raamsdonk |
A Higher-Order Iterative Path Ordering. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Venkatesan Guruswami, Rajsekar Manokaran, Prasad Raghavendra |
Beating the Random Ordering is Hard: Inapproximability of Maximum Acyclic Subgraph. |
FOCS |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Amanda Stent, Srinivas Bangalore, Giuseppe Di Fabbrizio |
Where do thewords come from? Learning models for word choice and ordering from spoken dialog corpora. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Tri Basuki Kurniawan, Noor Khafifah Khalid, Zuwairie Ibrahim, Marzuki Khalid, Martin Middendorf |
Evaluation of Ordering Methods for DNA Sequence Design Based on Ant Colony System. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Hariharan Sankaran, Srinivas Katkoori |
Bus Binding, Re-ordering, and Encoding for Crosstalk-Producing Switching Activity Minimization during High Level Synthesis. |
DELTA |
2008 |
DBLP DOI BibTeX RDF |
Simulated Annealing, HLS, Encoding, Crosstalk, Binding, Reordering |
20 | Vojtech Kovár, Ales Horák, Vladimír Kadlec |
New Methods for Pruning and Ordering of Syntax Parsing Trees. |
TSD |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Giovanni Maria Farinella, Sebastiano Battiato, Giovanni Gallo, Roberto Cipolla |
Natural Versus Artificial Scene Classification by Ordering Discrete Fourier Power Spectra. |
SSPR/SPR |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Jan Bergenthum, Ludger Rüschendorf |
Convex ordering criteria for Lévy processes. |
Adv. Data Anal. Classif. |
2007 |
DBLP DOI BibTeX RDF |
JEL Classification G 12 |
20 | Andrew W. Eckford, Frank R. Kschischang, Subbarayan Pasupathy |
A Partial Ordering of General Finite-State Markov Channels Under LDPC Decoding. |
IEEE Trans. Inf. Theory |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Deepak Ajwani, Tobias Friedrich 0001 |
Average-Case Analysis of Online Topological Ordering. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Feng Liu, Fengzhan Tian, QiLiang Zhu |
A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data. |
ICDM Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Wang-Dauh Tseng, Lung-Jen Lee |
Reduction of Power Dissipation during Scan Testing by Test Vector Ordering. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Laura S. Mastella, Mara Abel, Luiz Fernando De Ros, Michel Perrin, Jean-François Rainaud |
Event Ordering Reasoning Ontology Applied to Petrology and Geological Modelling. |
IFSA (2) |
2007 |
DBLP DOI BibTeX RDF |
Sedimentary Petrology, Geological Modelling, Ontology, Knowledge Engineering |
20 | Alessio Botta, Beatrice Lazzerini, Francesco Marcelloni, Dan C. Stefanescu |
Exploiting Fuzzy Ordering Relations to Preserve Interpretability in Context Adaptation of Fuzzy Systems. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Asger Eir |
Relating Domain Concepts Intensionally by Ordering Connections. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension |
20 | Shihong Yue, Miaomiao Wei, Yi Li, Xiuxiu Wang |
Ordering Grids to Identify the Clustering Structure. |
ISNN (2) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ki-sung Hong, Hyoung Joong Kim, Chulung Lee |
Automated Grocery Ordering Systems for Smart Home. |
FGCN (2) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ziliang Wang, Sifeng Liu, Hongmei Ren |
Sensitivity analysis of grey relational ordering. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Levasseur, Patrice Boizumault, Samir Loudni |
A Value Ordering Heuristic for Weighted CSP. |
ICTAI (1) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel |
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
probabilistic logical models, probability trees, Bayesian networks, inductive logic programming, structure learning, statistical relational learning |
20 | Song Xiao 0001, Hui Wang 0005, C.-C. Jay Kuo |
Priority Ordering and Packetization for Scalable Video Multicast with Network Coding. |
PCM |
2007 |
DBLP DOI BibTeX RDF |
network coding (NC), robust, scalable video coding (SVC) |
20 | Feng Liu, Fengzhan Tian, QiLiang Zhu |
A Novel Ordering-Based Greedy Bayesian Network Learning Algorithm on Limited Data. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Sergey Loyka, François Gagnon |
V-BLAST without optimal ordering: analytical performance evaluation for Rayleigh fading channels. |
IEEE Trans. Commun. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Toshihiro Kamishima, Shotaro Akaho |
Dimension Reduction for Supervised Ordering. |
ICDM |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Éric Gaul, Mathieu Blanchette |
Ordering Partially Assembled Genomes Using Gene Arrangements. |
Comparative Genomics |
2006 |
DBLP DOI BibTeX RDF |
gene order, breakpoint graph, genome assembly, Genome rearrangement |
20 | René Habendorf, Gerhard P. Fettweis |
On Ordering Optimization for MIMO Systems with Decentralized Receivers. |
VTC Spring |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Han-Saem Park, Sung-Bae Cho |
An Efficient Attribute Ordering Optimization in Bayesian Networks for Prognostic Modeling of the Metabolic Syndrome. |
ICIC (3) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Adam Koprowski, Hans Zantema |
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Edimilson Batista dos Santos, Estevam R. Hruschka Jr. |
VOGA: Variable Ordering Genetic Algorithm for Learning Bayesian Classifiers. |
HIS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Jan Ramon, Tom Croonenborghs, Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe |
Generalized Ordering-Search for Learning Directed Probabilistic Logical Models. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels |
Retroactive Ordering for Dynamic Backtracking. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Adam Koprowski |
Certified Higher-Order Recursive Path Ordering. |
RTA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Guanghui Yan, Zhanhuai Li, Liu Yuan |
The Practical Method of Fractal Dimensionality Reduction Based on Z-Ordering Technique. |
ADMA |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Shijie Wang, Limin Luo, Weiping Zhou |
Robust Ordering of Independent Spatial Components of fMRI Data Using Canonical Correlation Analysis. |
ICIAR (2) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Chafika Benzaid, Nadjib Badache |
Mobi_Causal: a protocol for causal message ordering in mobile computing systems. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Puneet Gupta 0001, Andrew B. Kahng, Stefanus Mantik |
Routing-aware scan chain ordering. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
testing, Layout, scan chain |
20 | Huaming Zhang, Xin He |
Canonical Ordering Trees and Their Applications in Graph Drawing. |
Discret. Comput. Geom. |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Danushka Bollegala, Naoaki Okazaki, Mitsuru Ishizuka |
A Machine Learning Approach to Sentence Ordering for Multidocument Summarization and Its Evaluation. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Irith Pomeranz, Sudhakar M. Reddy |
The Accidental Detection Index as a Fault Ordering Heuristic for Full-Scan Circuits. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Ricardo A. Baeza-Yates, Carlos Castillo 0001, Mauricio Marín, M. Andrea Rodríguez |
Crawling a country: better strategies than breadth-first for web page ordering. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
web page importance, scheduling policy, web crawler |
20 | Tao Du 0003, Shensheng Zhang, Zongjiang Wang |
Parallel Learning of Bayesian Networks Based on Ordering of Sets. |
ASIAN |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tomoya Enokido, Makoto Takizawa 0001 |
Role Ordering (RO) Scheduler for Concurrency Control. |
DEXA Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Vijay Durairaj, Priyank Kalla |
Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Blaszak, Marek Domanski |
A simple technique for SNR-scalable video coding using macroblock spiral re-ordering. |
ICME |
2005 |
DBLP DOI BibTeX RDF |
SNR-scalable video coding, scalable representation, spatial-temporal resolution, enhancement layer, stream partitioning, encoded macroblock, video quality perception, standard bitstream syntax |
20 | Tokunbo Ogunfunmi, W. C. Huang |
A flexible macroblock ordering with 3D MBAMAP for H.264/AVC. |
ISCAS (4) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Beumjun Ahn, Kwang-Kyu Seo |
A Multi-items Ordering Model with Mixed Parts Transportation Problem in a Supply Chain. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tomoya Enokido, Makoto Takizawa 0001 |
Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tomoya Enokido, Makoto Takizawa 0001 |
Concurrency Control Using Role Ordering (RO) Scheduler for Distributed Objects. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Tomoya Enokido, Makoto Takizawa 0001 |
Concurrency Control Using Role Ordering (RO) Scheduler. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Germano Caronni, Raphael Rom, Glenn Scott |
Maintaining Object Ordering in a Shared P2P Storage Environment. |
IEEE Security in Storage Workshop |
2005 |
DBLP DOI BibTeX RDF |
peer-to-peer storage, continuous update, DHT, persistency, versioning |
20 | Chih-Hsuan Tzeng, Zhi-Fang Yang, Wen-Hsiang Tsai |
Adaptive data hiding in palette images by color ordering and mapping with security protection. |
IEEE Trans. Commun. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Maciej Bellos, Dimitris Bakalis, Dimitris Nikolos |
Scan Cell Ordering for Low Power BIST. |
ISVLSI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Estela Saquete, Rafael Muñoz 0001, Patricio Martínez-Barco |
Event Ordering Using TERSEO System. |
NLDB |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Wei Liu, William S. Havens |
Histogram Arc Consistency as a Value Ordering Heuristic. |
Canadian AI |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Alexandre Riazanov, Andrei Voronkov |
Efficient Checking of Term Ordering Constraints. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Chris GauthierDickey, Daniel Zappala, Virginia Mary Lo, James Marr |
Low latency and cheat-proof event ordering for peer-to-peer games. |
NOSSDAV |
2004 |
DBLP DOI BibTeX RDF |
cheat-proof, peer-to-peer, interactive, games, distributed, low-latency |
20 | Aekyung Moon, Haengrae Cho |
Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Yoshihito Toyama |
Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Taneli Mielikäinen, Heikki Mannila |
The Pattern Ordering Problem. |
PKDD |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Mustaque Ahamad, Michel Raynal |
Ordering vs Timeliness: Two Facets of Consistency? |
Future Directions in Distributed Computing |
2003 |
DBLP DOI BibTeX RDF |
|
20 | P. W. Chandana Prasad, M. Maria Dominic, Ashutosh Kumar Singh |
Improved Variable Ordering for ROBDDs. |
ICADL |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 7809 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|