|
|
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 |
12 | Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout |
Parameterized tiled loops for free. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 405-414, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
parameterized tiling, code generation, bounding box, Fourier-Motzkin elimination |
12 | Andrey Bogdanov, Thomas Eisenbarth 0001, Andy Rupp |
A Hardware-Assisted Realtime Attack on A5/2 Without Precomputations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2007, 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings, pp. 394-412, 2007, Springer, 978-3-540-74734-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
A5/2, SMITH, cryptanalysis, GSM, Gaussian elimination, special-purpose hardware, linear systems of equations |
12 | Shou-Der Wei, Shang-Hong Lai |
Fast Normalized Cross Correlation Based on Adaptive Multilevel Winner Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 413-416, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
winner update strategy, multi-level successive elimination, pattern matching, fast algorithms, normalized cross correlation |
12 | Anjin Park, Kwangjin Hong, Keechul Jung |
Better Foreground Segmentation for 3D Face Reconstruction Using Graph Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, Second Pacific Rim Symposium, PSIVT 2007, Santiago, Chile, December 17-19, 2007, Proceedings, pp. 715-726, 2007, Springer, 978-3-540-77128-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Shadow Elimination, 3D Face Reconstruction, Graph Cuts, Foreground Segmentation |
12 | László Szilágyi, Sándor M. Szilágyi, Zoltán Benyó |
A Modified Fuzzy C-Means Algorithm for MR Brain Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007, Proceedings, pp. 866-877, 2007, Springer, 978-3-540-74258-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
context dependent filter, image segmentation, feature extraction, magnetic resonance imaging, noise elimination, fuzzy c-means algorithm |
12 | Agostino Dovier, Andrea Formisano 0001, Eugenio G. Omodeo |
Decidability results for sets with atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 269-301, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Prenex sentences, set-hyperset theories, syllogistics, unification, quantifier elimination, satisfiability problem |
12 | Van-Ly Le |
Polly Two : A New Algebraic Polynomial-based Public-Key Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 17(3-4), pp. 267-283, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Combinatorially algebraic public-key cryptoschemes, Polly Cracker, EnRoot, Linear-Algebra attacks, System of algebraic equations, Elimination ideals, Sparse polynomials |
12 | Jingling Xue, Qiong Cai |
A lifetime optimal algorithm for speculative PRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 3(2), pp. 115-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality |
12 | Alexander Egyed, David S. Wile |
Support for Managing Design-Time Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(5), pp. 299-314, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
design choices, choice elimination, UML, consistency checking, design alternatives |
12 | Yu-Wen Huang, Ching-Yeh Chen, Chen-Han Tsai, Chun-Fu Shen, Liang-Gee Chen |
Survey on Block Matching Motion Estimation Algorithms and Architectures with New Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(3), pp. 297-320, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
global elimination algorithm, motion estimation, VLSI architecture, block matching |
12 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
Deciding Boolean Algebra with Presburger Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(3), pp. 213-239, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic |
12 | Ben L. Titzer |
Virgil: objects on the head of a pin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 191-208, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data-sensitive optimization, heap compression, multi-stage computation, standalone programs, whole-program compilation, sensor networks, embedded systems, static analysis, microcontrollers, systems software, dead code elimination |
12 | Vijay Menon 0002, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
A verifiable SSA program representation for aggressive compiler optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 397-408, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SSA formalization, check elimination, proof variables, safety dependences, typeability preservation, type systems, intermediate representations, typed intermediate languages |
12 | Eduardo A. C. da Costa, Paulo F. Flores, José Monteiro 0001 |
Exploiting general coefficient representation for the optimal sharing of partial products in MCMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2006, Ouro Preto, MG, Brazil, August 28 - September 1, 2006, pp. 161-166, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
common subexpression elimination (CSE), digital filter design, minimal signed digit (MSD), multiple constant multiplication (MCM) |
12 | Guillaume Moroz |
Complexity of the resolution of parametric systems of polynomial equations and inequations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 246-253, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
discriminant variety, parametric polynomial system, complexity, elimination |
12 | Nicole Schweikardt |
Arithmetic, first-order logic, and counting quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(3), pp. 634-671, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Counting quantifiers, first-order logic, quantifier elimination, Presburger arithmetic |
12 | Dominic J. D. Hughes, Rob J. van Glabbeek |
Proof nets for unit-free multiplicative-additive linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(4), pp. 784-842, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Linear logic, cut elimination, additives, proof nets |
12 | Katalin Bimbó |
Admissibility of Cut in LC with Fixed Point Combinator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(3), pp. 399-423, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic |
12 | Stefan Szeider |
Backdoor Sets for DLL Subsolvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 73-88, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
unit propagation, pure literal elimination, backdoor sets, W[P]-completeness, satisfiability, parameterized complexity |
12 | Agata Ciabattoni |
A proof-theoretical investigation of global intuitionistic (fuzzy) logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(4), pp. 435-457, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination |
12 | Daniel Mueller 0001, Guido Stehr, Helmut E. Graeb, Ulf Schlichtmann |
Deterministic approaches to analog performance space exploration (PSE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005, pp. 869-874, 2005, ACM, 1-59593-058-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
performance space exploration, pareto optimization, analog integrated circuits, fourier motzkin elimination |
12 | Nicholas I. M. Gould, Jennifer A. Scott |
A numerical evaluation of HSL packages for the direct solution of large sparse, symmetric linear systems of equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 30(3), pp. 300-325, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
symmetric linear systems, software, sparse matrices, Gaussian elimination, Direct solvers |
12 | Anne Berry, Jean R. S. Blair, Pinar Heggernes, Barry W. Peyton |
Maximum Cardinality Search for Computing Minimal Triangulations of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 39(4), pp. 287-298, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Minimal triangulations, Minimal elimination ordering, Minimal fill, Chordal graphs |
12 | Robert D. Carr, Giuseppe Lancia |
Compact optimization can outperform separation: A case study in structural proteomics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 2(3), pp. 221-233, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
compact optimization, subtour-elimination, Linear programming, contact map |
12 | Silvio Ghilardi |
Model-Theoretic Methods in Combined Constraint Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(3-4), pp. 221-249, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Nelson-Oppen procedure, superposition calculus, model completions, fusion, combination, quantifier elimination |
12 | Itay Ben-Yaacov, Alexander Berenstein |
Imaginaries in Hilbert spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 43(4), pp. 459-466, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Elimination of imaginaries, Hilbert spaces |
12 | Evelyne Hubert |
Improvements to a triangulation-decomposition algorithm for ordinary differential systems in higher degree cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 191-198, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
differential elimination, differential ideal theory, subresultant polynomial remainder sequence, systems of differential equations, triangular sets |
12 | Georgios I. Goumas, Maria Athanasaki, Nectarios Koziris |
An Efficient Code Generation Technique for Tiled Iteration Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(10), pp. 1021-1034, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
nonunimodular transformations, code generation, Loop tiling, Fourier-Motzkin elimination, supernodes |
12 | Gilles Dowek, Thérèse Hardin, Claude Kirchner |
Theorem Proving Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 33-72, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo |
12 | Yannis Sismanis, Antonios Deligiannakis, Yannis Kotidis, Nick Roussopoulos |
Hierarchical dwarfs for the rollup cube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2003, ACM Sixth International Workshop on Data Warehousing and OLAP, New Orleans, Louisiana, USA, November 7, 2003, Proceedings, pp. 17-24, 2003, ACM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dwarf cube, prefix elimination, structural redundancy, suffix coalescing, indexing, aggregation, OLAP, granularity, data cubes, materialization, warehouses |
12 | Bernard N. Sheehan |
Branch Merge Reduction of RLCM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 658-664, 2003, IEEE Computer Society / ACM, 1-58113-762-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
transmission-line modeling, Gaussian elimination, model order reduction, Parasitic extraction |
12 | Akihito Takahashi, Mostafa I. Soliman, Stanislav Sedukhin |
Parallel LU-decomposition on Pentium Streaming SIMD Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings, pp. 423-430, 2003, Springer, 3-540-20359-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
streaming SIMD, performance evaluation, parallel processing, data reusing, Gaussian elimination |
12 | Gregory J. Reid, Jianliang Tang, Lihong Zhi |
A complete symbolic-numeric linear method for camera pose determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 215-223, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
involutive bases, jet spaces, numeric elimination, numeric jet geometry, polynomial solving, calibration, partial differential equations, numerical linear algebra, camera pose estimation |
12 | Zengping Tian, Hongjun Lu, Wenyun Ji, Aoying Zhou, Zhong Tian |
yn n-gram-based approach for detecting approximately duplicate database records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 3(4), pp. 325-331, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Data quality, Edit distance, N-gram, Duplicate elimination |
12 | Jens Knoop, Eduard Mehofer |
Distribution Assignment Placement: Effective Optimization of Redistribution Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 13(6), pp. 628-647, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
dynamic data redistribution, partially dead and partially redundant assignment elimination, optimization, data flow analysis, High-Performance Fortran (HPF), Data-parallel languages |
12 | Sam Yuan Sung, Zhao Li, Sun Peng |
A fast filtering scheme for large database cleansing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 76-83, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
filtering scheme, similarity, data cleansing, duplicate elimination |
12 | Georgios I. Goumas, Maria Athanasaki, Nectarios Koziris |
Automatic code generation for executing tiled nested loops onto parallel architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 876-881, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
non-unimodular transformations, code generation, loop tiling, Fourier-Motzkin elimination, hermite normal forms |
12 | Patricio Perez, Jorge Reyes |
Prediction of Particlulate Air Pollution using Neural Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 10(2), pp. 165-171, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Particulate matter, Dynamical systems, Time series prediction, Feed-forward neural network, Air pollution, Noise elimination |
12 | Neelima Gupta, Sandeep Sen |
An Efficient Output-Size Sensitive Parallel Algorithm for Hidden-Surface Removal for Terrains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 31(2), pp. 179-207, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Parallel algorithms, Data structure, Terrain, Output-sensitive, Hidden surface elimination |
12 | Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass |
A Foundation for Conventional and Temporal Query Optimization Addressing Duplicates and Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(1), pp. 21-49, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
temporal algebra, query optimization, Temporal databases, transformation rules, duplicate elimination, coalescing |
12 | Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss |
Using types to analyze and optimize object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 23(1), pp. 30-72, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
classes and objects, method invocation, object orientation, polymorphism, alias analysis, redundancy elimination |
12 | Jungho Yoon |
Computational Aspects of Approximation to Scattered Data by Using 'Shifted' Thin-Plate Splines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 14(4), pp. 329-359, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
shifted thin-plate spline, Gauss elimination by degree, radial basis function, scattered data approximation, approximation order |
12 | Michel Cosnard, Laura Grigori |
A parallel algorithm for sparse symbolic LU factorization without pivoting on out-of-core matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 15th international conference on Supercomputing, ICS 2001, Sorrento, Napoli, Italy, June 16-21, 2001, pp. 146-153, 2001, ACM, 1-58113-410-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
out of core matrices, symbolic factorization, parallel algorithms, MPI, sparse Gaussian elimination |
12 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of 0p 1q-> 1r 0s. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(1), pp. 1-25, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Simple termination, Transformation ordering, Dummy elimination, Derivation length, Termination, Term rewriting, String rewriting |
12 | Thom Mulders |
On Short Multiplications and Divisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(1), pp. 69-88, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Polynomial arithmetic, Power series arithmetic, Fraction-free Gaussian elimination, Toeplitz matrices |
12 | Jesus Garcia-Lopez, Pedro A. Ramos |
A Unified Approach to Conic Visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 28(3), pp. 307-322, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Parallel algorithms, Data structure, Terrain, Output-sensitive, Hidden surface elimination |
12 | John F. Canny, Ioannis Z. Emiris |
A subdivision-based algorithm for the sparse resultant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(3), pp. 417-451, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Newton polytope, effective Nullstellensatz, mixed volume, multivariate resultant, polyhedral subdivision, sparse elimination theory, asymptotic complexity |
12 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(4), pp. 644-680, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
12 | John Y. Lin, Ying Wu 0001, Thomas S. Huang |
Modeling the Constraints of Human Hand Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Human Motion ![In: Workshop on Human Motion, HUMO 2000, Austin, Texas, USA, December 7-8, 2000, Proceedings, pp. 121-126, 2000, IEEE Computer Society, 0-7695-0939-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
human hand motion, motion constraint modelling, hand motion capture, large search space, learning approach, hand configuration space, lower-dimensional subspace, finger motion, linear behavior, video inputs, optimisation, redundancy, gesture recognition, nonlinear optimization, gesture interfaces, biomechanics, equalities, data gloves, inequalities, redundancy elimination, constraint theory, image motion analysis, articulated motion, CyberGlove |
12 | Arnaldo de Albuquerque Araújo, Bernardo Moreira De Faria, Helton J. Rees, Marco Aurélio R. Silva |
Enhancing Microscope Biological Images with DIP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 349, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
biological image enhancement, nervous system, laser-scanning confocal microscope, digital image processing techniques, cell nucleus, nervous terminations, nonideal image acquisition, error elimination, nonuniform brightness, image artifacts, regions of interest, neurophysiology, microscope images, hidden information, image noise |
12 | Silvio Jamil Ferzoli Guimarães, Arnaldo de Albuquerque Araújo, Gustavo C. Cerqueira |
Old Movie Restoration using Opening by Surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 334, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
old movie restoration, opening by surface, area attribute, image information elimination, image restoration, defects |
12 | Iain S. Duff, Jennifer A. Scott |
A frontal code for the solution of sparse positive-definite symmetric systems arising from finite-element applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 25(4), pp. 404-424, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
finite-element equations, sparse symmetric linear equations, symmetric frontal method, Gaussian elimination, Level 3 BLAS |
12 | Fabrice Rouillier |
Solving Zero-Dimensional Systems Through the Rational Univariate Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(5), pp. 433-461, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Resolution of polynomial systems, Elimination of variables, Real roots |
12 | Sheri J. Bernstein, Robert S. Duff |
Optimizing Ada on the fly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999., pp. 169-179, 1999, ACM, 1-58113-127-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
check elimination, range checking, range propagation, uninitialized variables, optimization, Ada, compiler, array bounds checking, warnings |
12 | Jens Knoop, Bernhard Steffen |
Code Motion for Explicitly Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), Atlanta, Georgia, USA, May 4-6, 1999, pp. 13-24, 1999, ACM, 1-58113-100-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
bitvector problems, code motion (partial redundancy elimination), synchronization, shared memory, data-flow analysis, code optimization, interleaving semantics |
12 | Mark J. Encarnación |
An Efficient Method for Computing Resultant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 9(3), pp. 243-245, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Resultant, Polynomial equation, Elimination theory |
12 | Roger Espasa, Mateo Valero, James E. Smith 0001 |
Out-of-Order Vector Architectures. ![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. 160-170, 1997, ACM/IEEE Computer Society, 0-8186-7977-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts |
12 | Iain S. Duff, Jennifer A. Scott |
The Design of a New Frontal Code for Solving Sparse, Unsymmetric Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 22(1), pp. 30-45, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
frontal method, large sparse matrices, real unsymmetric matrices, Gaussian elimination, level 3 BLAS |
12 | Iain S. Duff, John K. Reid |
The Design of MA48: A Code for the Direct Solution of Sparse Unsymmetric Linear Systems of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 22(2), pp. 187-226, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
block triangular form, sparse unsymmetric matrices, error estimation, Gaussian elimination, BLAS |
12 | Iain S. Duff, John K. Reid |
Exploiting Zeros on the Diagonal in the Direct Solution of Indefinite Sparse Symmetric Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 22(2), pp. 227-257, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
2×2 pivots, augmented systems, indefinite symmetric matrices, zero diagonal entries, Gaussian elimination, sparse, BLAS |
12 | Giorgio Carpaneto, Mauro Dell'Amico, Paolo Toth |
Algorithm 750: CDT: A Subroutine for the Exact Solution of Large-Scale Asymmetric Travelling Salesman Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 21(4), pp. 410-415, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reduction procedure, subtour elimination, FORTRAN, branch and bound, assignment problem, asymmetric traveling salesman problem |
12 | Richard Gerber 0001, William W. Pugh, Manas Saksena |
Parametric Dispatching of Hard Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 44(3), pp. 471-479, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
variable elimination, scheduling, Real-time, operating systems, programming languages, linear constraints, dispatching |
12 | Wie-Ngan Chin, Eak-Khoon Goh |
A Reexamination of "Optimization of Array Subscript Range Checks". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 17(2), pp. 217-227, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
backward checks propagation, loop guard elimination, safe bound checks optimization, integer programming |
12 | Silke Kreitz, Andreas Hess 0001, T.-H. Anderson |
Direct enumeration and size classification of soil bacteria using confocal laser scanning microscopy and image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 454-457, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
soil, optical microscopy, cellular biophysics, biological techniques, measurement by laser beam, size classification, soil bacteria, bacteria enumeration, confocal laser scanning microscopy, microbiology, sharpening filter, background correction, area measurement, background particles elimination, automatic image analysis, biological research technique, image processing, biology computing, threshold selection |
12 | Teruhiko Yamada, Koji Yamazaki, Edward J. McCluskey |
A simple technique for locating gate-level faults in combinational circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 4th Asian Test Symposium (ATS '95), November 23-24, 1995. Bangalore, India, pp. 65-70, 1995, IEEE Computer Society, 0-8186-7129-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
electron probe analysis, optical microscopy, gate-level faults, error sources, fault deduction, fault elimination, ISCAS'85 benchmark circuits, physical defect analysis, electron beam probing, light emission microscopy, computational complexity, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, combinational circuits, combinational circuits, digital simulation, circuit analysis computing, computation time, scanning electron microscopy, scanning electron microscopy, diagnostic resolution |
12 | Kwok-Wa Lam, Kam-yiu Lam, Sheung-lun Hung |
Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 174-179, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-time optimistic concurrency control protocol, serialization order dynamic adjustment, nonserious conflicting transactions, backward-adjustment, committing transactions, transaction restarts elimination, conflict constraints, serialization constraints, read phase, priority conflict resolution methods, Thomas's write rule, real-time systems, concurrency control, transaction processing, database theory, access protocols |
12 | Hans Zantema, Alfons Geser |
A Complete Characterization of Termination of Op 1q -> 1r Os. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995, Proceedings, pp. 41-55, 1995, Springer, 3-540-59200-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simple termination, transformation ordering, dummy elimination, derivation length, termination, term rewriting, string rewriting |
12 | Yi Lu, Anthony C. Tisler |
Gray scale filtering for line and word segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 648-651, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
gray scale filtering, word extraction, digital document image, minimum difference filters, average difference filters, crossing line elimination, character recognition, character recognition, line segmentation, character segmentation, word segmentation, line extraction, character extraction, text image |
12 | Jens Knoop, Oliver Rüthing, Bernhard Steffen |
Optimal Code Motion: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(4), pp. 1117-1155, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
t-refined flow graphs, critical edges, elimination of partial redundancies, lifetimes of registers, nondeterministic flowgraphs, data flow analysis, code motion, lifetime optimality, computational optimality |
12 | George K. Papakonstantinou, T. Panayiotopoulos |
A full theorem-prover under uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 7(2), pp. 139-149, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
inexact reasoning, Prolog, theorem-proving, certainty, model elimination |
12 | Özden Gür-Ali, William A. Wallace |
Induction of Rules Subject to a Quality Constraint: Probabilistic Inductive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(6), pp. 979-984, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
quality constraint, probabilistic inductive learning, organizational databases, tree induction algorithms, total branching, subset elimination, maximum misclassification levels, minimum reliability levels, automated decision processes, claims process, compensation board, learning (artificial intelligence), decision support system, decision support systems, knowledge acquisition, deductive databases, rule induction, tree data structures, uncertainty handling, rule generation, statistical quality control, decision processes |
12 | Juan A. Garay, Shay Kutten, David Peleg |
A Sub-Linear Time Distributed Algorithm for Minimum-Weight Spanning Trees (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 659-668, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
distributed minimum-weight spanning tree algorithm, sublinear time distributed algorithm, minimum-weight spanning trees, global network problems, n-vertex network, Diam, edge elimination techniques, time complexity, graph decomposition |
12 | Michael Wolfe, Chau-Wen Tseng |
The Power Test for Data Dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(5), pp. 591-601, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
variable elimination, power test, data dependence decision algorithm, extended GCDalgorithm, Fourier-Motzkin method, simultaneous loop limits, interactive program restructuring environment, parallel algorithms, parallel programming, compiler, program compilers, programming theory, inequalities |
12 | Yi Lu, Ramesh C. Jain |
Reasoning About Edges in Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(4), pp. 450-468, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
multiscale reasoning algorithm, edge recovery, edge behavior, edge curves, zero crossing images, computer vision, computer vision, knowledge representation, knowledge representation, inference mechanisms, inference mechanisms, scale space, edges, noise elimination, edge detector |
12 | Micha Sharir, Mark H. Overmars |
A Simple Output-Sensitive Algorithm for Hidden Surface Removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 11(1), pp. 1-11, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
hidden line elimination, object-space algorithm, hidden surface removal |
12 | Wayne Eberly |
On Efficient Band Matrix Arithmetic ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, Pennsylvania, USA, 24-27 October 1992, pp. 457-463, 1992, IEEE Computer Society, 0-8186-2900-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
arbitrary fields, band matrix arithmetic, parallel Las Vegas algorithm, coefficient matrix, logarithmic time, asymptotically efficient matrix multiplication, nonsingular band matrices, parallel algorithms, determinant, linear equations, Gaussian elimination |
12 | Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns |
Efficient Algorithms for Solving Systems of Linear Equations and Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 109-119, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Path Problems, Gaussian Elimination, Algorithms and data structures, Mathematics of computation, Systems of Linear Equations |
12 | Herman Lam, Chiang Lee, Stanley Y. W. Su |
A Special Function Unit for Database Operations (SFU-DB): Design and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(3), pp. 263-275, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
special function unit, SFU-DB, hardware sorting module, automatic retrieval memory, nonnumeric operations, host CPU, special processing unit, distribution-based sort algorithm, main memory size, fundamental sort algorithm, CMOS gate arrays, performance evaluation, performance evaluation, parallel algorithms, computational complexity, database management systems, sorting, execution time, coprocessor, special purpose computers, fabrication, worst case complexity, Turbo Pascal, parallel processing system, duplicates elimination, database operations, set intersection, set union, set difference, relational join |
12 | Prithviraj Banerjee, Joseph T. Rahmeh, Craig B. Stunkel, V. S. S. Nair, Kaushik Roy 0001, Vijay Balasubramanian, Jacob A. Abraham |
Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(9), pp. 1132-1145, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Intel iPSC hypercube, fault tolerance, parallel architectures, fault tolerant computing, fast Fourier transform, multiprocessing systems, error detection, matrix multiplication, Gaussian elimination, multiprocessor architecture, hypercube multiprocessor, faulty processors |
12 | Christian B. Suttner, Wolfgang Ertel |
Automatic Acquisition of Search Guiding Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 470-484, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
learning, heuristics, features, Automated theorem proving, back-propagation, connectionism, evaluation functions, model elimination |
12 | Ahmed El-Amawy |
A Systolic Architecture for Fast Dense Matrix Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(3), pp. 449-455, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
fast dense matrix inversion, data-steering technique, feedback recurrences, VLSI, cellular arrays, Gaussian elimination, systolic architecture, VLSI algorithms, computerised signal processing |
12 | Philip N. Klein |
Efficient Parallel Algorithms for Chordal Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 29th Annual Symposium on Foundations of Computer Science, White Plains, New York, USA, 24-26 October 1988, pp. 150-161, 1988, IEEE Computer Society, 0-8186-0877-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
elimination ordering, optimal coloring, breadth-first search tree, depth-first search tree, parallel algorithms, interval graphs, chordal graphs, isomorphism, maximum independent set, maximum clique |
12 | Norbert Korte, Rolf H. Möhring |
A Simple Linear -TIme Algorithm to Recognize Interval Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, International Workshop, WG '86, Bernried, Germany, June 17-19, 1986, Proceedings, pp. 1-16, 1986, Springer, 3-540-17218-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
on-line recognition, perfect elimination scheme, modified PQ-tree, graph algorithm, interval graphs |
12 | Tom Duff |
Compositing 3-D rendered images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ![In: Proceedings of the 12th Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1985, San Francisco, California, USA, July 22-26, 1985, pp. 41-44, 1985, ACM, 0-89791-166-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
3-D rendering, compositing, image synthesis, anti-aliasing, Z-buffer, hidden-surface elimination |
12 | Jochen A. G. Jess, H. G. M. Kees |
A Data Structure for Parallel L/U Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 31(3), pp. 231-239, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
triangulated graph, L/U decomposition, sparse matrix pivoting, tearing, schedule, parallel processing, task graph, Elimination-tree |
12 | E. V. Krishnamurthy |
Matrix Processors Using p-adic Arithmetic for Exact Linear Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 26(7), pp. 633-639, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
exact linear computation, matrix processor, p-adic arithmetic, rational arithmetic, Computational complexity, linear equations, Gaussian elimination, residue arithmetic, Galois-field arithmetic |
11 | Timothy Wood 0001, K. K. Ramakrishnan, Prashant J. Shenoy, Jacobus E. van der Merwe |
CloudNet: dynamic pooling of cloud resources by live WAN migration of virtual machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 7th International Conference on Virtual Execution Environments, VEE 2011, Newport Beach, CA, USA, March 9-11, 2011 (co-located with ASPLOS 2011), pp. 121-132, 2011, ACM, 978-1-4503-0687-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
11 | Onur Seref, O. Erhun Kundakcioglu, Oleg A. Prokopyev, Panos M. Pardalos |
Selective support vector machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 17(1), pp. 3-20, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Quadratic mixed 0-1 programming, Classification, Support vector machines |
11 | Tomohito Takubo, Takuya Kaminade, Yasushi Mae, Kenichi Ohara, Tatsuo Arai |
NDT scan matching method for high resolution grid map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1517-1522, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Aggelos Kiayias, Serdar Pehlivanoglu |
Tracing and Revoking Pirate Rebroadcasts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 253-271, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Rania Khalaf, Dieter Roller 0001, Frank Leymann |
Revisiting the Behavior of Fault and Compensation Handlers in WS-BPEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2009, Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 1-6, 2009, Proceedings, Part I, pp. 286-303, 2009, Springer, 978-3-642-05147-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Workflow, Transactions, Compensation, WS-BPEL, Error handling |
11 | Yosi Ben-Asher, Nadav Rotem |
The effect of unrolling and inlining for Python bytecode optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYSTOR ![In: Proceedings of of SYSTOR 2009: The Israeli Experimental Systems Conference 2009, Haifa, Israel, May 4-6, 2009, pp. 14, 2009, ACM, 978-1-60558-623-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
optimizations, Python, bytecode, dynamic languages |
11 | Rajeev Goré, Linda Postniece, Alwen Tiu |
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 189-204, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Stefan Hetzl, Alexander Leitsch, Daniel Weller 0001, Bruno Woltzenlogel Paleo |
A Clausal Approach to Proof Analysis in Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 214-229, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ugo Dal Lago, Luca Roversi, Luca Vercelli |
Taming Modal Impredicativity: Superlazy Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 137-151, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Linear logic, proof theory, implicit computational complexity |
11 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
Intersection, Universally Quantified, and Reference Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 209-224, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch |
Data Structures with Arithmetic Constraints: A Non-disjoint Combination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 319-334, 2009, Springer, 978-3-642-04221-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Michael L. Hines, Henry Markram, Felix Schürmann |
Fully implicit parallel simulation of single neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 25(3), pp. 439-448, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Load balance, Computer modeling, Computer simulation, Parallel simulation, Neuronal networks |
11 | Nick G. Duffield, Matthias Grossglauser |
Trajectory sampling with unreliable reporting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(1), pp. 37-50, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bloom filters, packet loss, packet sampling, network traffic measurement |
11 | Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown |
Scalable Synthesis and Clustering Techniques Using Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(3), pp. 423-435, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
|
|