|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3107 occurrences of 1904 keywords
|
|
|
Results
Found 6680 publication records. Showing 6680 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Keiichirou Kusakari, Masaki Nakamura 0001, Yoshihito Toyama |
Elimination Transformations for Associative-Commutative Rewriting Systems. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
(AC-)termination, (AC-)dependency pair, argument filtering, elimination transformation |
62 | Jens Knoop, Oliver Rüthing, Bernhard Steffen |
Partial Dead Code Elimination. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination |
56 | Bernd Bank, Max J. Egenhofer, Bart Kuijpers |
07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
56 | Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz |
07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
56 | Rafael Grimson |
A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
50 | Javier Larrosa, Rina Dechter |
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. |
Constraints An Int. J. |
2003 |
DBLP DOI BibTeX RDF |
bucket elimination, constraint satisfaction, branch and bound, soft constraints, constraint optimization |
50 | Volker Weispfenning |
Quantifier Elimination for Real Algebra - the Quadratic Case and Beyond. |
Appl. Algebra Eng. Commun. Comput. |
1997 |
DBLP DOI BibTeX RDF |
Fast quantifier elimination and decision methods, First-order theory of reals, Constraint solving, Automatic theorem proving |
49 | Fernando Magno Quintão Pereira, Jens Palsberg |
SSA Elimination after Register Allocation. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Eljas Soisalon-Soininen |
Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. |
POPL |
1977 |
DBLP DOI BibTeX RDF |
|
46 | Bernd Bank, Max J. Egenhofer, Bart Kuijpers (eds.) |
Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007 |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
46 | Stephan Mäs |
Checking the Integrity of Spatial Integrity Constraints. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
46 | Peter Z. Revesz |
Constraint Databases and Geographic Information Systems. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
46 | Bart Kuijpers, Walied Othman |
An analytic solution to the alibi query in the bead model for moving object data. |
Constraint Databases, Geometric Elimination and Geographic Information Systems |
2007 |
DBLP BibTeX RDF |
|
44 | Shou-Der Wei, Shang-Hong Lai |
Efficient Normalized Cross Correlation Based on Adaptive Multilevel Successive Elimination. |
ACCV (1) |
2007 |
DBLP DOI BibTeX RDF |
successive eliminat-ion, multi-level successive elimination, Pattern matching, fast algorithms, normalized cross correlation |
44 | Olivier Hermant |
Semantic Cut Elimination in the Intuitionistic Sequent Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo |
44 | 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 |
44 | Gagan Agrawal |
Interprocedural Partial Redundancy Elimination With Application to Distributed Memory Compilation. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
Distributed memory compilation, communication optimizations, interprocedural analysis, Partial Redundancy Elimination, irregular applications |
44 | Agata Ciabattoni, Kazushige Terui |
Modular Cut-Elimination: Finding Proofs or Counterexamples. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Saugata Basu |
New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases. |
J. ACM |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Michel Cosnard, Laura Grigori |
Using Postordering and Static Symbolic Factorization for Parallel Sparse LU. |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
sparse unsymmetric matrices, partial pivoting, static symbolic factorization, postordering, Gaussian elimination, elimination tree |
39 | Ashok Anand, Chitra Muthukrishnan, Aditya Akella, Ramachandran Ramjee |
Redundancy in network traffic: findings and implications. |
SIGMETRICS/Performance |
2009 |
DBLP DOI BibTeX RDF |
traffic redundancy, traffic engineering |
39 | Aless Lasaruk, Thomas Sturm 0001 |
Weak quantifier elimination for the full linear theory of the integers. |
Appl. Algebra Eng. Commun. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Integer constraint solving, Implementation, Quantifier elimination |
39 | Tae-Kyung Ryu, Tae-Il Jeong, Kwon-Yeol Ryu, Kwang-Seok Moon, Jong-Nam Kim |
A Fast Partial Distortion Elimination Algorithm Using Adaptive Matching Scan and Refining Threshold. |
ICIC (3) |
2007 |
DBLP DOI BibTeX RDF |
Partial Distortion Elimination, Motion Estimation, Block Matching |
39 | Kentaro Kikuchi |
Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
?-calculus, Sequent calculus, Cut-elimination, Confluence, Explicit substitution |
39 | Rezaul Alam Chowdhury, Vijaya Ramachandran |
The cache-oblivious gaussian elimination paradigm: theoretical framework, parallelization and experimental evaluation. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
matrix multiplication, tiling, Gaussian elimination, cache-oblivious algorithm, all-pairs shortest path |
39 | Christopher W. Brown 0001, James H. Davenport |
The complexity of quantifier elimination and cylindrical algebraic decomposition. |
ISSAC |
2007 |
DBLP DOI BibTeX RDF |
quantifier elimination, cylindrical algebraic decomposition |
39 | Yong Mao, Xiaobo Zhou 0001, Zheng Yin, Daoying Pi, Youxian Sun, Stephen T. C. Wong |
Gene Selection Using Gaussian Kernel Support Vector Machine Based Recursive Feature Elimination with Adaptive Kernel Width Strategy. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
recursive feature elimination, machine learning, support vector machine, Feature selection |
39 | Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit |
Using elimination to implement scalable and lock-free FIFO queues. |
SPAA |
2005 |
DBLP DOI BibTeX RDF |
scalability, multiprocessors, lock-free, linearizability, nonblocking synchronization, FIFO queues, elimination |
39 | Shaun A. Forth, Mohamed Tadjouddine, John D. Pryce, John K. Reid |
Jacobian code generated by source transformation and vertex elimination can be as efficient as hand-coding. |
ACM Trans. Math. Softw. |
2004 |
DBLP DOI BibTeX RDF |
vertex elimination, Jacobian, source transformation |
39 | Uwe Naumann |
Optimal accumulation of Jacobian matrices by elimination methods on the dual computational graph. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
Computational graphs, Elimination techniques, Automatic differentiation, Jacobian matrices |
39 | Francisco Gutiérrez, Blas C. Ruiz |
Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi |
39 | Kai Brünnler |
Atomic Cut Elimination for classical Logic. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
atomic cut, sequent calculus, cut elimination, natural deduction, classical logic |
39 | Dhananjay M. Dhamdhere |
E-path_PRE: partial redundancy elimination made easy. |
ACM SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
eliminatability of expressions, redundant code movement, data flow analysis, code optimization, partial redundancy elimination |
39 | Michael Werman, Amnon Shashua |
The Study of 3D-from-2D Using Elimination. |
ICCV |
1995 |
DBLP DOI BibTeX RDF |
3D geometric invariants, multiple 2D views, invariant functions, trilinearity, Grobner base computation, elimination process, quadlinear tensor, minimal sets, distinct coefficients, N view geometry, 3D from 2D geometry, computational geometry, linear algebra, set theory, epipolar geometry, tensors, point correspondences, algebraic geometry |
39 | Dina Bitton, David J. DeWitt |
Duplicate Record Elimination in Large Data Files. |
ACM Trans. Database Syst. |
1983 |
DBLP DOI BibTeX RDF |
sorting, projection operator, duplicate elimination |
38 | Aggelos Kiayias, Hong-Sheng Zhou |
Zero-Knowledge Proofs with Witness Elimination. |
Public Key Cryptography |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Shao-Wei Liu, Shou-Der Wei, Shang-Hong Lai |
Fast Optimal Motion Estimation Based on Gradient-Based Adaptive Multilevel Successive Elimination. |
IEEE Trans. Circuits Syst. Video Technol. |
2008 |
DBLP DOI BibTeX RDF |
|
38 | David Avis, Hiroshi Imai, Tsuyoshi Ito |
Generating facets for the cut polytope of a graph by triangular elimination. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 52B12, 90C57, 05C99 |
38 | Hwal-Suk Lee, Jik-Han Jung, Dong-Jo Park |
An effective successive elimination algorithm for fast optimal block-matching motion estimation. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Naoki Yonezawa, Koichi Wada 0002, Takahiro Aida |
Barrier Elimination Based on Access Dependency Analysis for OpenMP. |
ISPA |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Soo-Mok Jung, Sung-Chul Shin, Hyunki Baik, Myong-Soon Park |
Advanced Multilevel Successive Elimination Algorithms for Motion Estimation in Video Coding. |
IDEAL |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Saugata Basu |
An Improved Algorithm for Quantifier Elimination Over Real Closed Fields. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Jan A. Spriet |
Side-Chain Structure Prediction Based on Dead-End Elimination: Single Split DEE-criterion Implementation and Elimination Power. |
WABI |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Thibaut Feydy, Peter J. Stuckey |
Propagating systems of dense linear integer constraints. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints |
35 | Rajiv Gupta 0001, David A. Berson, Jesse Zhixi Fang |
Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
aggressive code motion, data flow algorithms, functional unit resources, instruction reordering, partial dead code elimination, resource-sensitive profile-directed data flow analysis, optimization, data flow analysis, instruction schedulers, code optimization, partial redundancy elimination, resource availability |
35 | Wen-Yang Lin |
Improving Parallel Ordering of Sparse Matrices Using Genetic Algorithms. |
Appl. Intell. |
2005 |
DBLP DOI BibTeX RDF |
sparse matrix ordering, parallel factorization, genetic algorithms, elimination tree |
35 | David Castro 0007, Marc Giusti, Joos Heintz, Guillermo Matera, Luis Miguel Pardo |
The Hardness of Polynomial Equation Solving. |
Found. Comput. Math. |
2003 |
DBLP DOI BibTeX RDF |
Polynomial equation solving, Continuous data structure, Holomorphic and continuous encoding, Complexity, Elimination theory |
35 | Volker Weispfenning |
Semilinear Motion Planning in REDLOG. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
REDLOG, Motion planning, Quantifier elimination |
34 | Gita Alaghband, Harry F. Jordan |
Sparse Gaussian Elimination with Controlled Fill-in on a Shared Memory Multiprocessor. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
controlled fill-in, ordered compatible set, Markowitz number, limited binary tree search, elimination set, parallel pivoting, stepwise algorithm, application matrices, HEP multiprocessor, parallel algorithms, computational complexity, parallel processing, shared memory multiprocessor, trees (mathematics), heuristic algorithm, matrix algebra, sparse matrix, linear time, sparse Gaussian elimination |
34 | D. P. Anderson |
Hidden Line Elimination in Projected Grid Surfaces. |
ACM Trans. Graph. |
1982 |
DBLP DOI BibTeX RDF |
function graphing, grid surface, hidden line elimination, hidden surface elimination |
33 | Maxim Martynov |
Experimental study of protocol-independent redundancy elimination algorithms. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
redundancy elimination |
33 | Bowei Zhang, Guochang Gu, Lin Sun, Yanxia Wu |
32-bit floating-point FPGA gaussian elimination. |
FPGA |
2009 |
DBLP DOI BibTeX RDF |
fpga., floating-point, gaussian elimination |
33 | Hoon Hong, Mohab Safey El Din |
Variant real quantifier elimination: algorithm and application. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, polynomial systems, real solutions |
33 | Uwe Naumann, Yuxiao Hu |
Optimal vertex elimination in single-expression-use graphs. |
ACM Trans. Math. Softw. |
2008 |
DBLP DOI BibTeX RDF |
Vertex elimination, single-expression-use graph |
33 | Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai |
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Lindenmayer system with interactions, cell-type diversity, quantifier elimination, algebraic approach |
33 | Keith D. Cooper, Jason Eckhardt, Ken Kennedy |
Redundancy elimination revisited. |
PACT |
2008 |
DBLP DOI BibTeX RDF |
expression optimization, reassociation, scalar replacement, loop optimization, redundancy elimination |
33 | Ando Saabas, Tarmo Uustalu |
Proof optimization for partial redundancy elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
program proof transformation, soundness and improvement of dataflow analyses and optimizations, type systems, proof-carrying code, partial redundancy elimination |
33 | Thomas Würthinger, Christian Wimmer, Hanspeter Mössenböck |
Array bounds check elimination for the Java HotSpot™ client compiler. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
array bounds check elimination, Java, optimization, performance, just-in-time compilation |
33 | Kai Brünnler |
Cut Elimination inside a Deep Inference System for Classical Predicate Logic. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
cut elimination, first-order predicate logic, deep inference |
33 | Deepak R. Bobbarjung, Suresh Jagannathan, Cezary Dubnicki |
Improving duplicate elimination in storage systems. |
ACM Trans. Storage |
2006 |
DBLP DOI BibTeX RDF |
Rabin's fingerprints, content-based addressing, Storage management, duplicate elimination |
33 | Chandan K. Dubey, Shashank K. Mehta |
On Indecomposability Preserving Elimination Sequences. |
COCOON |
2006 |
DBLP DOI BibTeX RDF |
indecomposable graph, critically indecomposable graph, elimination sequence, Module |
33 | Fedor V. Fomin, Pinar Heggernes, Jan Arne Telle |
Graph Searching, Elimination Trees, and a Generalization of Bandwidth. |
Algorithmica |
2005 |
DBLP DOI BibTeX RDF |
Bandwidth, Chordal graph, Graph searching, Tree decomposition, Elimination tree |
33 | Fumiaki Okushi, Allen Van Gelder |
Persistent and Quasi-Persistent Lemmas in Propositional Model Elimination. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
Modoc, lemmas, satisfiability, resolution, refutation, Model Elimination |
33 | Pierluigi Minari |
Analytic combinatory calculi and the elimination of transitivity. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
Extensionality, Elimination of transitivity, Equational logic, Combinatory logic |
33 | Joos Heintz, Guillermo Matera, Ariel Waissbein |
On the Time-Space Complexity of Geometric Elimination Procedures. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Algorithmic elimination theory, Polynomial equation solving, Algebraic complexity theory, Time-space complexity, Computation tree, Symbolic computation, Straight-line program |
33 | Guillermo Matera |
Probabilistic Algorithms for Geometric Elimination. |
Appl. Algebra Eng. Commun. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Probabilistic algorithms, Arithmetic circuits, Boolean circuits, Elimination theory |
33 | Abdel Krim Amoura, Evripidis Bampis, Jean-Claude König |
Scheduling Algorithms for Parallel Gaussian Elimination With Communication Costs. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
Gaussian elimination method, scheduling, partitioning, mapping, Distributed architectures, communication delays |
33 | Shietung Peng, Stanislav Sedukhin, Igor S. Sedukhin |
Parallel Algorithm And Architecture For Two-Step Division-Free Gaussian Elimination. |
ASAP |
1996 |
DBLP DOI BibTeX RDF |
two-step division-free Gaussian elimination, two-dimensional array processor, localized dependency graph, time-space complexity, parallel algorithms, parallel algorithm, computational complexity, parallel architectures, parallel architecture, iterative methods, linear systems, VLSI implementation, iterative algorithm, numerical stability, numerical stability, linear scheduling |
33 | Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski |
Region Analysis: A Parallel Elimination Method for Data Flow Analysis. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis |
33 | Wan J. Fokkink |
An Elimination Theorem for Regular Behaviours with Integration. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
& Phrases ACP, relative time, regular process, Elimination Theorem, integration |
33 | Timothy J. Shimeall, Nancy G. Leveson |
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading |
32 | Jae-Hee Ahn, Yo-Sub Han |
Implementation of State Elimination Using Heuristics. |
CIAA |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Koji Nakazawa |
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Agata Ciabattoni, George Metcalfe |
Density Elimination and Rational Completeness for First-Order Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Ket Fah Chong, Hon Wai Leong |
An extension of dead end elimination for protein side-chain conformation using merge-decoupling. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
protein side chain conformation, algorithm |
32 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Cut-Elimination: Experiments with CERES. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Harry G. Mairson, Kazushige Terui |
On the Computational Complexity of Cut-Elimination in Linear Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Adnan Darwiche, Mark Hopkins |
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. |
ECSQARU |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Walid Taha, Henning Makholm, John Hughes 0001 |
Tag Elimination and Jones-Optimality. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
32 | José Espírito Santo |
Revisiting the Correspondence between Cut Elimination and Normalisation. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Jürgen Giesl, Aart Middeldorp |
Eliminating Dummy Elimination. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Javier Larrosa |
Boosting Search with Variable Elimination. |
CP |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Dolzmann, Volker Weispfenning |
Local quantifier elimination. |
ISSAC |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Thorsten Bernholt, Alexander Gülich, Thomas Hofmeister, Niels Schmitt |
Football Elimination Is Hard to Decide Under the 3-Point-Rule. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Louis Lassez |
Parametric queries, linear constraints and variable elimination. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich |
Strength Reduction via SSAPRE. |
CC |
1998 |
DBLP DOI BibTeX RDF |
linear function test replacement, program transformation, program analysis, data flow analysis, program optimization, Code motion, partial redundancy elimination, static single assignment, strength reduction, dead code elimination, induction variables |
29 | José Espírito Santo |
Refocusing Generalised Normalisation. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
generalised elimination rules, multiarity, normalisation |
29 | Vincent Y. Lum |
Multi-Attribute Retrieval with Combined Indexes. |
Commun. ACM |
1970 |
DBLP DOI BibTeX RDF |
balanced filing scheme, combining indexes, elimination of false drops, multi-attribute retrieval, rapid retrieval, secondary index files, secondary keys, storage with buckets, information retrieval, query, data management, access method, inverted files, file organization |
28 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Proof Transformation by CERES. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Uwe Naumann, Peter Gottschling |
Simulated Annealing for Optimal Pivot Selection in Jacobian Accumulation. |
SAGA |
2003 |
DBLP DOI BibTeX RDF |
dyadic pivoting, row and column pivoting, (logarithmic) simulated annealing, Jacobian matrices |
28 | Dexter Kozen, Maria-Christina Patron |
Certification of Compiler Optimizations Using Kleene Algebra with Tests. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Torben Braüner, Valeria de Paiva |
A Formulation of Linear Logic Based on Dependency-Relations. |
CSL |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics |
28 | Ashok Anand, Vyas Sekar, Aditya Akella |
SmartRE: an architecture for coordinated network-wide redundancy elimination. |
SIGCOMM |
2009 |
DBLP DOI BibTeX RDF |
caching, redundancy elimination |
28 | Jens Bachmann, Martin Riedl 0001, Johann Schuster, Markus Siegle |
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
MTBDD, elimination of immediate transitions, stochastic process algebra |
28 | Scott McCallum, Christopher W. Brown 0001 |
On delineability of varieties in CAD-based quantifier elimination with two equational constraints. |
ISSAC |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, cylindrical algebraic decomposition |
28 | Olivier Laurent 0001, Roberto Maieli |
Cut Elimination for Monomial MALL Proof Nets. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Linear Logic, Cut Elimination, Proof Net |
28 | Soonjong Jin, Hyuk Lee, Jechang Jeong |
Fast Partial Distortion Elimination Algorithm for Lossless and Lossy Motion Estimation Using Hadamard Transform and Probability Model. |
DCC |
2008 |
DBLP DOI BibTeX RDF |
Fast Partial Distortion Elimination, Hadamard Probability Model, Hadamard Transform |
28 | Yuqing He, Hongying Yang, Yushi Hou, Huan He |
An Elimination Method of Light Spot Based on Iris Image Fusion. |
ICIC (3) |
2008 |
DBLP DOI BibTeX RDF |
Light spot elimination, Image matching, Image fusion, Iris recognition |
28 | M. Zafar Ullah Khan, M. Mubashir Hussain, Dil Muhammad Akbar Hussain |
Design and Implementation of a Selective Harmonic Elimination SPWM Strategy-Based Inverter. |
IMTIC |
2008 |
DBLP DOI BibTeX RDF |
Sinusoidal Pulse Width Modulation (SPWM), Selective Harmonic Elimination SPWM (SHE SPWM), Total Harmonic Distortion (THD), Natural Sampling SPWM, Regular Sampled Asymmetric SPWM, Modified Asymmetric Regular Sampled SPWM, Regular Sampled Symmetric SPWM, PIC Microcontroller, Gate Drive Amplifier (GDA), MATLAB |
Displaying result #1 - #100 of 6680 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|