|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 37(3), pp. 205-229, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 147-158, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
56 | Rafael Grimson |
A lower bound for the complexity of linear optimization from a quantifier-elimination point of view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
50 | Javier Larrosa, Rina Dechter |
Boosting Search with Variable Elimination in Constraint Optimization and Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(3), pp. 303-326, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 8(2), pp. 85-101, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 158-173, 2009, Springer, 978-3-642-00721-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Eljas Soisalon-Soininen |
Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 183-193, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
46 | Stephan Mäs |
Checking the Integrity of Spatial Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
46 | Peter Z. Revesz |
Constraint Databases and Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
46 | Bart Kuijpers, Walied Othman |
An analytic solution to the alibi query in the bead model for moving object data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
44 | Shou-Der Wei, Shang-Hong Lai |
Efficient Normalized Cross Correlation Based on Adaptive Multilevel Successive Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (1) ![In: Computer Vision - ACCV 2007, 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part I, pp. 638-646, 2007, Springer, 978-3-540-76385-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 221-233, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 415-430, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(7), pp. 609-625, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 135-149, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Saugata Basu |
New Results on Quantifier Elimination over Real Closed Fields and Applications to Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 46(4), pp. 537-555, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Michel Cosnard, Laura Grigori |
Using Postordering and Static Symbolic Factorization for Parallel Sparse LU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 807-812, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Eleventh International Joint Conference on Measurement and Modeling of Computer Systems, SIGMETRICS/Performance 2009, Seattle, WA, USA, June 15-19, 2009, pp. 37-48, 2009, ACM, 978-1-60558-511-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(6), pp. 545-574, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 801-809, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 398-407, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, pp. 71-80, 2007, ACM, 978-1-59593-667-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 54-60, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, First International Conference, RSKT 2006, Chongqing, China, July 24-26, 2006, Proceedings, pp. 799-806, 2006, Springer, 3-540-36297-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA, pp. 253-262, 2005, ACM, 1-58113-986-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 30(3), pp. 266-299, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(3), pp. 399-421, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 956-968, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, pp. 86-97, 2003, Springer, 3-540-40801-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 37(8), pp. 53-65, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 473-479, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 8(2), pp. 255-265, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
sorting, projection operator, duplicate elimination |
38 | Aggelos Kiayias, Hong-Sheng Zhou |
Zero-Knowledge Proofs with Witness Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 124-138, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 18(2), pp. 263-267, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | David Avis, Hiroshi Imai, Tsuyoshi Ito |
Generating facets for the cut polytope of a graph by triangular elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 112(2), pp. 303-325, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1984-1987, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Naoki Yonezawa, Koichi Wada 0002, Takahiro Aida |
Barrier Elimination Based on Access Dependency Analysis for OpenMP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings, pp. 362-373, 2006, Springer, 3-540-68067-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2000, Data Mining, Financial Engineering, and Intelligent Agents, Second International Conference, Shatin, N.T. Hong Kong, China, December 13-15, 2000, Proceedings, pp. 431-442, 2000, Springer, 3-540-41450-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Saugata Basu |
An Improved Algorithm for Quantifier Elimination Over Real Closed Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 38th Annual Symposium on Foundations of Computer Science, FOCS '97, Miami Beach, Florida, USA, October 19-22, 1997, pp. 56-65, 1997, IEEE Computer Society, 0-8186-8197-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings, pp. 402-416, 2003, Springer, 3-540-20076-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Thibaut Feydy, Peter J. Stuckey |
Propagating systems of dense linear integer constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 14(2), pp. 235-253, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 30, Research Triangle Park, North Carolina, USA, December 1-3, 1997, pp. 358-368, 1997, ACM/IEEE Computer Society, 0-8186-7977-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 23(3), pp. 257-265, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 3(4), pp. 347-420, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 12(6), pp. 455-475, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(11), pp. 1539-1557, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 1(4), pp. 274-288, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP/SIPEW ![In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 141-146, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
redundancy elimination |
33 | Bowei Zhang, Guochang Gu, Lin Sun, Yanxia Wu |
32-bit floating-point FPGA gaussian elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, FPGA 2009, Monterey, California, USA, February 22-24, 2009, pp. 283-284, 2009, ACM, 978-1-60558-410-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fpga., floating-point, gaussian elimination |
33 | Hoon Hong, Mohab Safey El Din |
Variant real quantifier elimination: algorithm and application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 183-190, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, polynomial systems, real solutions |
33 | Uwe Naumann, Yuxiao Hu |
Optimal vertex elimination in single-expression-use graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 35(1), pp. 2:1-2:20, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 1(3), pp. 473-485, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 17th International Conference on Parallel Architectures and Compilation Techniques, PACT 2008, Toronto, Ontario, Canada, October 25-29, 2008, pp. 12-21, 2008, ACM, 978-1-60558-282-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 91-101, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, PPPJ 2007, Lisboa, Portugal, September 5-7, 2007, pp. 125-133, 2007, ACM, 978-1-59593-672-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 51-71, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 2(4), pp. 424-448, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 12th Annual International Conference, COCOON 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings, pp. 42-51, 2006, Springer, 3-540-36925-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 41(2), pp. 73-87, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 40(3-4), pp. 373-402, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Modoc, lemmas, satisfiability, resolution, refutation, Model Elimination |
33 | Pierluigi Minari |
Analytic combinatory calculi and the elimination of transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(2), pp. 159-192, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(4), pp. 239-296, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(6), pp. 463-520, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(7), pp. 679-686, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 1996 International Conference on Application-Specific Systems, Architectures, and Processors (ASAP '96), August 19-23, 1996, Chicago, IL , USA, pp. 183-192, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(11), pp. 913-926, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 432-446, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 173-182, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings, pp. 178-187, 2009, Springer, 978-3-642-02978-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Koji Nakazawa |
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 336-350, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Agata Ciabattoni, George Metcalfe |
Density Elimination and Rational Completeness for First-Order Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 132-146, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 195-199, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, pp. 481-495, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Harry G. Mairson, Kazushige Terui |
On the Computational Complexity of Cut-Elimination in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings, pp. 23-36, 2003, Springer, 3-540-20216-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Adnan Darwiche, Mark Hopkins |
Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 180-191, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Walid Taha, Henning Makholm, John Hughes 0001 |
Tag Elimination and Jones-Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADO ![In: Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, pp. 257-275, 2001, Springer, 3-540-42068-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | José Espírito Santo |
Revisiting the Correspondence between Cut Elimination and Normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings, pp. 600-611, 2000, Springer, 3-540-67715-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Jürgen Giesl, Aart Middeldorp |
Eliminating Dummy Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings, pp. 309-323, 2000, Springer, 3-540-67664-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Javier Larrosa |
Boosting Search with Variable Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 291-305, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Dolzmann, Volker Weispfenning |
Local quantifier elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000, pp. 86-94, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 410-418, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Louis Lassez |
Parametric queries, linear constraints and variable elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 164-173, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | Robert Kennedy, Fred C. Chow, Peter Dahl, Shin-Ming Liu, Raymond Lo, Mark Streich |
Strength Reduction via SSAPRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 7th International Conference, CC'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 144-158, 1998, Springer, 3-540-64304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 258-267, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
generalised elimination rules, multiarity, normalisation |
29 | Vincent Y. Lum |
Multi-Attribute Retrieval with Combined Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(11), pp. 660-665, 1970. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings, pp. 82-93, 2006, Springer, 3-540-37104-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Uwe Naumann, Peter Gottschling |
Simulated Annealing for Optimal Pivot Selection in Jacobian Accumulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings, pp. 83-97, 2003, Springer, 3-540-20103-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 568-582, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Torben Braüner, Valeria de Paiva |
A Formulation of Linear Logic Based on Dependency-Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 129-148, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
28 | Hugo Herbelin, Gyesik Lee |
Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 209-217, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2009 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, Barcelona, Spain, August 16-21, 2009, pp. 87-98, 2009, ACM, 978-1-60558-594-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings, pp. 485-496, 2009, Springer, 978-3-540-95890-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 71-78, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quantifier elimination, cylindrical algebraic decomposition |
28 | Olivier Laurent 0001, Roberto Maieli |
Cut Elimination for Monomial MALL Proof Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 486-497, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2008 Data Compression Conference (DCC 2008), 25-27 March 2008, Snowbird, UT, USA, pp. 523, 2008, IEEE Computer Society, 978-0-7695-3121-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 415-422, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMTIC ![In: Wireless Networks, Information Processing and Systems, International Multi Topic Conference, IMTIC 2008, Jamshoro, Pakistan, April 11-12, 2008, Revised Selected Papers, pp. 319-331, 2008, Springer, 978-3-540-89852-8. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|