|
|
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 |
18 | Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang |
Aggressive crunching of extracted RC netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 70-77, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay |
18 | Hoon Hong |
Ore Principal Subresultant Coefficients in Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(3), pp. 227-237, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Ore polynomials, Resultants, Subresultants, Elimination theory |
18 | Pramod G. Joisha, Prithviraj Banerjee |
The Efficient Computation of Ownership Sets in HPF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(8), pp. 769-788, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
array alignment, array distribution, ownership set, Fourier-Motzkin Elimination technique, parallelizing compiler, HPF |
18 | Hervé Fournier |
Quantifier Rank for Parity of Embedded Finite Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, pp. 375-386, 2001, Springer, 3-540-42496-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Ehrenfeucht-Fraïssé games, Uniform Quantifier Elimination, Connectivity, Reachability, Parity, Constraint databases |
18 | Helena Galhardas, Daniela Florescu, Dennis E. Shasha, Eric Simon |
An Extensible Framework for Data Cleaning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 312, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
query optimization, query language, data quality, data cleaning, data transformation, object matching, duplicate elimination, approximate join |
18 | Oliver Rüthing, Jens Knoop, Bernhard Steffen |
Sparse Code Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 170-183, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
busy code motion, compuational optimality, embedded processors and systems, expression motion, lazy code motion, life-time optimality, code motion, partial redundancy elimination, code size, space optimality |
18 | Chen Ding, Ken Kennedy |
The Memory Bandwidth Bottleneck and its Amelioration by a Compiler. ![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. 181-190, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
memory performance model, array reduction, store elimination, memory hierarchy, compiler optimizations, Memory bandwidth, loop fusion |
18 | Khaled Ben Lamine, Froduald Kabanza |
History checking of temporal fuzzy logic formulas for monitoring behavior-based mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 312-319, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
temporal fuzzy logic, behavior-based mobile robots, robot control systems, real world robots, simulator, semantics, fuzzy logic, temporal logic, mobile robots, digital simulation, distributed control, failure detection, noise elimination |
18 | Tina Wong, Randy H. Katz |
An Analysis of Multicast Forwarding State Scalability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 105-115, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multicast forwarding state scalability, inter-domain multicast deployment, state reduction research, multicast application characteristics, Internet backbone networks, core domains, session size, nonbranching multicast forwarding state elimination, Internet, transport protocols, packet switching, network topology, network topologies, power law, multicast communication, IP multicast, simulation experiments, packet transmission |
18 | Jean-Guillaume Dumas, B. David Saunders, Gilles Villard |
Integer Smith form via the valence: experience with large sparse matrices from homology. ![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. 95-105, 2000, ACM, 1-58113-218-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Valence algorithm, Wiedemann algorithm, integer Smith form, large sparse matrix, Gaussian elimination, black box, simplicial complexes, homology groups |
18 | Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen, Ke Liu 0009 |
Extraction of bankcheck items by mathematical morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Document Anal. Recognit. ![In: Int. J. Document Anal. Recognit. 2(2-3), pp. 53-66, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Check image processing, Baseline elimination, Local thresholding binarization, Gray level mathematical morphology, Goal-directed evaluation |
18 | Sanjay V. Rajopadhye, Claude Tadonki, Tanguy Risset |
The Algebraic Path Problem Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31 - September 3, 1999, Proceedings, pp. 698-707, 1999, Springer, 3-540-66443-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Warshall-Floyd & Gauss-Jordan elimination, systolic synthesis, recurrence equations, scheduling, shortest path, transitive closure, matrix inversion, space-time mapping |
18 | Djemai Kebbal, El-Ghazali Talbi, Jean-Marc Geib |
Building and Scheduling Parallel Adaptive Applications in Heterogeneous Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCC ![In: International Workshop on Cluster Computing (IWCC '99), 2-3 December 1999, Melbourne, Australia, pp. 195-201, 1999, IEEE Computer Society, 0-7695-0343-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
parallel adaptive systems, Gauss elimination, scheduling, cluster computing, heterogeneous environments |
18 | Masahiro Yasugi, Shegeyuki Eguchi, Kazuo Taki |
Eliminating Bottlenecks on Parallel Systems using Adaptive Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 80-87, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
bottleneck elimination, adaptive object, distributed shared object, mutual exclusion, parallel language, concurrent access, method dispatch |
18 | Vivek Sarkar, Kathleen Knobe |
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 33-56, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation |
18 | Xinan Tang, Rakesh Ghiya, Laurie J. Hendren, Guang R. Gao |
Heap Analysis and Optimizations for Threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1997 Conference on Parallel Architectures and Compilation Techniques (PACT '97), San Francisco, CA, USA, October 11-15, 1997, pp. 14-25, 1997, IEEE Computer Society, 0-8186-8090-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
threaded programs, traditional compiler optimizations, loop invariant removal, common sub-expression elimination, dynamically allocated data structures, heap pointer analyses, dependence testing, high quality code generation, EARTH-C compiler, generated multithreaded code, dynamic measurements, performance tradeoffs, optimizations, parallel programming, optimizing compilers, multithreaded architectures, multithreaded programs, heap analysis |
18 | Hiroshi Shinjo, Kazuki Nakashima, Masashi Koga, Katsumi Marukawa, Yoshihiro Shima, Eiichi Hadano |
A method for connecting disappeared junction patterns on frame lines in form documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 4th International Conference Document Analysis and Recognition (ICDAR '97), 2-Volume Set, August 18-20, 1997, Ulm, Germany, Proceedings, pp. 667-670, 1997, IEEE Computer Society, 0-8186-7898-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
disappeared junction pattern connection, frame lines, form document structure analysis, vertical lines, minimum line length parameter, object line selection, form images, character recognition, noise elimination, business forms |
18 | Manish Gupta 0002, Edith Schonberg, Harini Srinivasan |
A Unified Framework for Optimizing Communication in Data-Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(7), pp. 689-704, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability |
18 | Jens Knoop, Bernhard Steffen, Jürgen Vollmer 0001 |
Parallelism for Free: Efficient and Optimal Bitvector Analyses for Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(3), pp. 268-299, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
assignment motion, bitvector problems, definition-use chains, partial dead-code elimination, parallelism, synchronization, shared memory, data flow analysis, program optimization, code motion, strength reduction, interleaving semantics |
18 | Li-Ren Huang, Jing-Yang Jou, Sy-Yen Kuo |
An Efficient PRPG Strategy By Utilizing Essential Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 5th Asian Test Symposium (ATS '96), November 20-22, 1996, Hsinchu, Taiwan, pp. 199-204, 1996, IEEE Computer Society, 0-8186-7478-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
PRPG, essential fault, multiple polynomial, Gauss elimination, pseudorandom test pattern, multivariable linear equation, deterministic test set, random pattern resistant circuit, don't care value, intelligent heuristic, ISCAS-85 benchmark, ISCAS-89 benchmark, built-in self test, BIST, fault coverage, LFSR, test length, hardware overhead, multiple seed |
18 | Florent de Dinechin, Sophie Robert |
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations. ![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. 381-, 1996, IEEE Computer Society, 0-8186-7542-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations |
18 | Giorgio Carpaneto, Mauro Dell'Amico, Paolo Toth |
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. 394-409, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
reduction procedure, subtour elimination, branch and bound, assignment problem, asymmetric traveling salesman problem |
18 | Stephen J. Sullivan, Benjamin G. Zorn |
Numerical Analysis Using Nonprocedural Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 21(3), pp. 267-298, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental languages, benchmarks, programming languages, linear algebra, sparse matrices, Gaussian elimination |
18 | Kyle A. Gallivan, Per Christian Hansen, Tzvetan Ostromsky, Zahari Zlatev |
Locally Optimized Reordering Algorithm and its Application to a Parallel Sparse Linear System Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 54(1), pp. 39-68, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
general sparsity, drop tolerance, re-ordering, binary tree, Gaussian elimination, Sparse matrix, speed-up, block algorithm, coarse-grain parallelism |
18 | Steffen Müller |
A new programmable VLSI architecture for histogram and statistics computation in different windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 73-76, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
programmable VLSI architecture, histogram computation, grey-scale histogram, image preprocessing methods, inhomogeneous illumination elimination, simple increment operations, histogrammer, window handling, arithmetic unit configuration, memory configuration, equalisation, simulation, image segmentation, VLSI, segmentation, data compression, data compression, statistics, image enhancement, image enhancement, texture analysis, image texture, digital signal processing chips, CMOS technology, binary images, CMOS digital integrated circuits, co-occurrence-matrix, statistics computation |
18 | Jens Knoop, Oliver Rüthing, Bernhard Steffen |
The Power of Assignment Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, California, USA, June 18-21, 1995, pp. 233-245, 1995, ACM, 0-89791-697-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion |
18 | Mahesh Mehendale, Sunil D. Sherlekar, G. Venkatesh 0001 |
Synthesis of multiplier-less FIR filters with minimum number of additions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 668-671, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
MCM based structures, iterative elimination, low pass FIR filters, circuit CAD, FIR filters, network synthesis, optimizing transformations, binary representations |
18 | Taosong He, Lichan Hong, Arie E. Kaufman, Amitabh Varshney, Sidney W. Wang |
Voxel Based Object Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 296-303, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
voxel based object simplification, high-frequency detail elimination, multi-resolution volume buffers, marching cubes algorithm, multi-resolution triangle-mesh hierarchy, object genus, multi-layered mesh, antialiased rendering, sampling, data visualisation, mesh generation, buffer storage, antialiasing, rendering (computer graphics), smoothing methods, low-pass filters, low-pass filtering |
18 | Sangho Ha, Sangyong Han, Heunghwan Kim |
Partitioning a lenient parallel language into sequential threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 83-92, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
lenient parallel language, language partitioning, sequential threads, multithreaded architecture performance, large-scale parallel system, split-phase memory operations, fast context switching, multithreaded code quality, enhanced thread formation scheme, Id/sup -/, long latency instructions, multiple switches, generalized switch-and-merge, thread merging, redundant arc elimination, thread precedence relations, control instructions, DAVRID multithreaded architecture, simulation, graph theory, parallel architectures, graph partitioning, switching, merging, parallel languages, large-scale systems, program control structures, branch instructions |
18 | Dar-Shyang Lee, Sargur N. Srihari |
A theory of classifier combination: the neural network approach. ![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 I, pp. 42-45, 1995, IEEE Computer Society, 0-8186-7128-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
combinator design, omnitype mixed type combination, correlated classifier combination, redundant classifier elimination, model complexity control, dynamic selection combination, neural network learning, learning (artificial intelligence), optical character recognition, image classification, multilayer perceptrons, classifier combination, feedforward neural nets, classifier design, handwritten digits |
18 | Lars Wiedenhifer, Hans-Günther Hein, Andreas Dengel 0001 |
Post-processing of OCR results for automatic indexing. ![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. 592-596, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
OCR result post-processing, inaccurately recognized OCR text, index terms, document quality, character hypothesis lattices, generate-and-test, rule based substitution system, trigram correction, word candidates, elimination routine, German words, classification, classification, indexing, knowledge based systems, experiments, optical character recognition, quality, document image processing, morphology, vocabulary, word recognition, automatic indexing, document archiving |
18 | Alan Edelman, Steve Heller, S. Lennart Johnsson |
Index Transformation Algorithms in a Linear Algebra Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(12), pp. 1302-1309, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
indextransformation algorithms, linear algebra framework, Gray code encoding, vector reversal, hypercube communications algorithms, Gauss-Jordan elimination, encoding, hypercube networks, decoding, decoding, linear algebra, Gray codes, shuffles, hypercube multiprocessors, matrix transpose, bit reversal |
18 | Josep Lluís Larriba-Pey, Juan J. Navarro, Oriol Roig, Angel Jorba |
A generalized vision of some parallel bidiagonal systems solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 8th international conference on Supercomputing, ICS 1994, Manchester, UK, July 11-15, 1994, pp. 404-411, 1994, ACM, 0-89791-665-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
r-cyclic reduction, vector uniprocessors, divide and conquer, Gaussian elimination, linear recurrences |
18 | Giuseppe Iazeolla, Francesco Marinuzzi |
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 486-502, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
LISPACK, list-manipulation parallel-modeling package, string manipulation, recursive elimination, large Markovian process, symbolic-approach methodology, performance evaluation, parallel algorithms, parallel algorithms, performance analysis, parallel processing, software tool, software tools, Markov processes, parallel systems, lumping |
18 | Wolfgang Ertel |
OR-Parallel Theorem Proving with Random Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings, pp. 226-237, 1992, Springer, 3-540-55727-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
random competition, SETHEO, theorem proving, speedup, OR-parallelism, random search, model elimination |
18 | Yih-Farn Chen, Michael Y. Nishimoto, C. V. Ramamoorthy |
The C Information Abstraction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 325-334, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
C information abstraction system, relational information, software tasks, graphical views, subsystem extraction, program layering, binding analysis, data structures, relational databases, conceptual model, programming, C language, program structures, C programs, dead code elimination, relational views |
18 | Michael M. Marefat, Rangasami L. Kashyap |
Geometric Reasoning for Recognition of Three-Dimensional Object Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(10), pp. 949-965, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
topologic evidence, three-dimensional object features, manufacturing shape features, cavity graphs, hypothesis generation-elimination, primitive features, Dempster-Shafer decision theory, clustering, pattern recognition, pattern recognition, feature extraction, graph theory, decision theory, geometric reasoning, polyhedral object |
18 | Johann Schumann, Reinhold Letz |
PARTHEO: A High-Performance Parallel Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 40-56, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Warren Abstract Machine, message passing, Theorem proving, first-order logic, transputers, or-parallelism, model elimination, connection method |
18 | Glenn Davis |
Computing separating planes for pairs of disjoint polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the First Annual Symposium on Computational Geometry, Baltimore, Maryland, USA, June 5-7, 1985, pp. 8-14, 1985, ACM, 0-89791-163-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
extreme halfspace, extreme plane, separating plane, convex hull, polytope, projective transformation, hidden surface elimination |
18 | Donald J. Rose |
An algorithm for solving a special class of tridiagonal systems of linear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(4), pp. 234-236, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
central difference, Gaussian elimination, tridiagonal |
18 | Edward S. Lowry, C. W. Medlock |
Object code optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(1), pp. 13-22, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
System/360, loop structure, machine instructions, optimization, compilers, graph theory, efficiency, FORTRAN, FORTRAN, data flow analysis, dominance, redundancy elimination, register assignment, object code |
18 | S. Y. Ku, R. J. Adler |
Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(1), pp. 23-30, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
Bezout's determinant, Sylvester's determinant, g.c.d algorithm, multivariate polynomial equations, polynomial resultant, reduced p.r.s algorithm, resultant algorithm, Euclidean algorithm, elimination |
17 | José Espírito Santo |
The lambda-Calculus and the Unity of Structural Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 963-994, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Lindsay Groves, Robert Colvin |
Trace-based derivation of a scalable lock-free stack algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 187-223, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Colin Riba |
On the Values of Reducibility Candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 264-278, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ryo Kanbayashi, Mitsuhisa Sato |
A Distributed Architecture of Sensing Web for Sharing Open Sensor Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 340-352, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Maciej Paszynski, Robert Schaefer |
Reutilization of Partial LU Factorizations for Self-adaptive hpFinite Element Method Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I, pp. 965-974, 2008, Springer, 978-3-540-69383-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Cüneyt F. Bazlamaçci, Fatih Say |
Minimum concave cost multicommodity network design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 36(4), pp. 181-203, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Concave cost network design, Circuit switching and packet switching network design, Multicommodity flow problem |
17 | Kelly Heffner, David Tarditi, Michael D. Smith 0001 |
Extending Object-Oriented Optimizations for Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), Brasov, Romania, September 15-19, 2007, pp. 119-129, 2007, IEEE Computer Society, 0-7695-2944-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Fei Zheng 0001, Geoffrey I. Webb |
Finding the Right Family: Parent and Child Selection for Averaged One-Dependence Estimators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 490-501, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Md. Monirul Kabir, M. Shahjahan, Kazuyuki Murase |
Feature Subset Selection Using Constructive Neural Nets with Minimal Computation by Measuring Contribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 374-384, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neural network, classification, Feature subset selection, contribution |
17 | Georg Moser, Richard Zach |
The Epsilon Calculus and Herbrand Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 133-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity |
17 | Hamid Haidarian Shahri, Saied Haidarian Shahri |
Eliminating Duplicates in Information Integration: An Adaptive, Extensible Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 21(5), pp. 63-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fuzzy and probabilistic reasoning, data warehouse and repository, data mining, uncertainty, database applications, knowledge management applications |
17 | Guoqiang Pan, Moshe Y. Vardi |
Symbolic Techniques in Satisfiability Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 25-50, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
symbolic decision procedure, satisfiability, binary decision diagram |
17 | Yo-Sub Han, Derick Wood |
Shorter Regular Expressions from Finite-State Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers, pp. 141-152, 2005, Springer, 3-540-31023-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jacques Carette, Oleg Kiselyov |
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings, pp. 256-274, 2005, Springer, 3-540-29138-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Volker Weispfenning |
Solving Linear Differential Problems with Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 469-488, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Baaz, Alexander Leitsch |
CERES in Many-Valued Logics. ![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. 1-20, 2004, Springer, 3-540-25236-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Guoqiang Pan, Moshe Y. Vardi |
Search vs. Symbolic Techniques in Satisfiability Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT (Selected Papers ![In: Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 235-250, 2004, Springer, 3-540-27829-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Alexander Albrecht, Peter Gottschling, Uwe Naumann |
Markowitz-Type Heuristics for Computing Jacobian Matrices Efficiently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II, pp. 575-584, 2003, Springer, 3-540-40195-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ranjesh G. Jaganathan, Keith D. Underwood, Ron Sass |
A Configurable Network Protocol for Cluster Based Communications using Modular Hardware Primitives on an Intelligent NIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 15-21 November 2003, Phoenix, AZ, USA, CD-Rom, pp. 22, 2003, ACM, 1-58113-695-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Intelligent Network Interface Card, reconfigurablecomputing, cluster computing, networking protocols |
17 | Andreas Seidl, Thomas Sturm 0001 |
A generic projection operator for partial cylindrical algebraic decomposition. ![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. 240-247, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
REDLOG, partial CAD, projection operator |
17 | Elizabeth L. Mansfield |
Algorithms for Symmetric Differential Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 1(4), pp. 335-383, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kihong Kim, Sang Kyun Cha, Keunjoo Kwon |
Optimizing Multidimensional Index Trees for Main Memory Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2001 ACM SIGMOD international conference on Management of data, Santa Barbara, CA, USA, May 21-24, 2001, pp. 139-150, 2001, ACM, 1-58113-332-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Alessio Guglielmi, Lutz Straßburger |
Non-commutativity and MELL in the Calculus of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings, pp. 54-68, 2001, Springer, 3-540-42554-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rastislav Bodík, Rajiv Gupta 0001, Vivek Sarkar |
ABCD: eliminating array bounds checks on demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Vancouver, Britith Columbia, Canada, June 18-21, 2000, pp. 321-333, 2000, ACM, 1-58113-199-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Begel, Steven McCanne, Susan L. Graham |
BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30 - September 3, 1999, Cambridge, Massachusetts, USA, pp. 123-134, 1999, ACM, 1-58113-135-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Manolis Koubarakis, Spiros Skiadopoulos |
Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Database Management ![In: Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings, pp. 204-223, 1999, Springer, 3-540-66401-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Jaejin Lee, David A. Padua, Samuel P. Midkiff |
Basic Compiler Algorithms for 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. 1-12, 1999, ACM, 1-58113-100-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rajiv Gupta 0001 |
A Code Motion Framework for Global Instruction Scheduling. ![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. 219-233, 1998, Springer, 3-540-64304-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Takahito Aoto 0001, Yoshihito Toyama |
Termination Transformation by Tree Lifting Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 256-270, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Martin Erwig |
Functional Programming with Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 52-65, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Claudia Faggian |
Classical Proofs via Basic Logic. ![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. 203-219, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Feodor F. Dragan, Falk Nicolai, Andreas Brandstädt |
LexBFS-Orderings and Power of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings, pp. 166-180, 1996, Springer, 3-540-62559-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Brandstädt, Victor Chepoi, Feodor F. Dragan |
The Algorithmic Use of Hypertree Structure and Maximum Neighbourhood Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings, pp. 65-80, 1994, Springer, 3-540-59071-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | G. N. Paulley, Per-Åke Larson |
Exploiting uniqueness in query optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 804-822, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Michel Parigot |
Free Deduction: An Analysis of "Computations" in Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCLP ![In: Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings, pp. 361-380, 1991, Springer, 3-540-55460-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Mario L. Juncosa, T. W. Mullikin |
On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 7(1), pp. 29-36, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
16 | Takuji Kamada, Akitoshi Hanazawa, Takashi Morie |
Shadow Elimination Mimicking the Human Visual System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Brain-Inspired Information Technology ![In: Brain-Inspired Information Technology, pp. 147-151, 2010, Springer, 978-3-642-04024-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Brown 0002, Simon J. Thompson |
Clone detection and elimination for Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 111-120, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hare, program transformation, program analysis, refactoring, haskell, generalisation, duplicated code |
16 | Jason Cong, Chunyue Liu, Glenn Reinman |
ACES: application-specific cycle elimination and splitting for deadlock-free routing on irregular network-on-chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 443-448, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
application-specific Network-on-Chip, deadlock-free routing |
16 | |
Common Subexpression Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 401, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Martínez, Pedro Javier García, Francisco José Alfaro, José L. Sánchez 0002, José Flich, Francisco J. Quiles 0001, José Duato |
A Switch Architecture Guaranteeing QoS Provision and HOL Blocking Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 20(1), pp. 13-24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ning Chen 0004, Zhiyuan Yan 0001 |
Cyclotomic FFTs With Reduced Additive Complexities Based on a Novel Common Subexpression Elimination Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(3), pp. 1010-1020, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper |
Strategy Elimination in Games with Interaction Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, pp. 302-315, 2009, Springer, 978-3-642-04892-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Ranran Zhang, Youdong Ding, Shuhan Wei |
Image Inpainting Algorithm Based on Successive Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 1111-1114, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Omar Hasan, Lionel Brunie, Jean-Marc Pierson, Elisa Bertino |
L'Elimination de la subjectivité dans la recommandation de confiance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UbiMob ![In: Actes des 5èmes journées francophones Mobilité et Ubiquité 2009, UBIMOB'09, 7-8 Juillet 2009, Lille, France, pp. 3-10, 2009, ACM, 978-1-60558-622-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
social networks, trust, ubiquitous environments, subjectivity |
16 | André L. B. Miranda, Luís Paulo F. Garcia, André C. P. L. F. de Carvalho, Ana Carolina Lorena |
Use of Classification Algorithms in Noise Detection and Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAIS ![In: Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, pp. 417-424, 2009, Springer, 978-3-642-02318-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Gene Expression and Classification, Machine Learning, Noise |
16 | R. Mahesh 0001, A. Prasad Vinod 0001 |
A New Common Subexpression Elimination Algorithm for Realizing Low-Complexity Higher Order Digital Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2), pp. 217-229, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 451-466, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks 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. 177-187, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
16 | Grigori Mints |
Proof Search Tree and Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 521-536, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Pührer, Hans Tompits, Stefan Woltran |
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 561-575, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Shan Tang, Xin Peng 0001, Yiming Lau, Wenyun Zhao, Zhixiong Jiang |
An Adaptive Software Architecture Model Based on Component-Mismatches Detection and Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 369-372, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Narongsak Putpuek, Duy-Dinh Le, Nagul Cooharojananone, Shin'ichi Satoh 0001, Chidchanok Lursinsap |
Rushes summarization using different redundancy elimination approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TVS ![In: Proceedings of the 2nd ACM Workshop on Video Summarization, TVS 2008, Vancouver, British Columbia, Canada, October 31, 2008, pp. 100-104, 2008, ACM, 978-1-60558-309-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
greedyrsc clustering, rushes content, video summarization, video skimming |
16 | Ilya Averbouch, Benny Godlin, Johann A. Makowsky |
A Most General Edge Elimination Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 34th International Workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers, pp. 31-42, 2008, 978-3-540-92247-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Nipkow |
Linear Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 18-33, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Kota Naga Srinivasarao Batta, Indrajit Chakrabarti |
A Parallel Architecture for Successive Elimination Block Matching Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVGIP ![In: Sixth Indian Conference on Computer Vision, Graphics & Image Processing, ICVGIP 2008, Bhubaneswar, India, 16-19 December 2008, pp. 226-231, 2008, IEEE Computer Society, 978-0-7695-3476-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Ning Chen 0004, Zhiyuan Yan 0001 |
Compact designs of mixcolumns and subbytes using a novel common subexpression elimination algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 1584-1587, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Shen-Fu Hsiao, Ming-Yu Tsai, Chia-Sheng Wen |
Area oriented pass-transistor logic synthesis using buffer elimination and layout compaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 2022-2025, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 6680 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|