|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19211 occurrences of 7229 keywords
|
|
|
Results
Found 49344 publication records. Showing 49343 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Avijit Saha, Chuan-lin Wu, Dun-Sung Tang |
Approximation, Dimension Reduction, and Nonconvex Optimization Using Linear Superpositions of Gaussians. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
linear superpositions of Gaussians, neural network approaches, optimisation, radial basis function, neural nets, polynomials, function approximation, function approximation, dimension reduction, nonconvex optimization |
13 | Ouri Wolfson, Aya Ozeri |
Parallel and Distributed Processing of Rules by Data Reduction. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
parallel processing of rules, distributed processing of rules, datalog rule programs, rule-instantiations, seminaive evaluation, stratified-negation datalog programs, logic programming, knowledge based systems, distributed databases, communication network, data-reduction, communication overhead, decomposability |
13 | Kevin Kelleher, S. Lakshmivarahan, Sudarshan K. Dhall |
On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction. |
SAC |
1993 |
DBLP DOI BibTeX RDF |
block cyclic reduction, partial fractions, separable elliptic, parallel computing, direct method |
13 | Mee Yee Chan, Francis Y. L. Chin |
General Schedulers for the Pinwheel Problem Based on Double-Integer Reduction. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
pinwheel problem, double-integer reduction, satellite ground stations, satellite ground stations, scheduling, scheduling problem |
13 | Chee-Keng Yap |
Fast Unimodular Reduction: Planar Integer Lattices (Extended Abstract) |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
fast integer GCD, fast unimodular reduction, planar integer lattices, complexity, number theory |
13 | Brigitte Vallée, Philippe Flajolet |
The Lattice Reduction Algorithm of Gauss: An Average Case Analysis |
FOCS |
1990 |
DBLP DOI BibTeX RDF |
linear fractional transformations, lattice reduction algorithm, Gauss, average case analysis, continued fractions, average-case complexity |
13 | Timothy A. Davis 0001, Edward S. Davidson |
Pairwise Reduction for the Direct, Parallel Solution of Sparse, Unsymmetric Sets of Linear Equations. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
pairwise reduction, parallel solution, unsymmetric sets, pairwise solve, PSolve, parallel algorithms, shared-memory multiprocessor, linear algebra, linear equations, sparse, concurrent computing |
13 | Yoshihiko Nomura, Hiroshi Naruse |
Reduction of Obscuration Noise Using Multiple Images. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1988 |
DBLP DOI BibTeX RDF |
obscuration noise reduction, stationary scene, dropout noise, computerised picture processing, computerised picture processing, histogram, gray-level, multiple images |
13 | Klaus Simon |
On Minimum Flow and Transitive Reduction. |
ICALP |
1988 |
DBLP DOI BibTeX RDF |
Minimum flow, transitive reduction, random digraph, transitive closure |
13 | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |
A Safe Approach to Parallel Combinator Reduction (Extended Abstract). |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
Parallel Reduction, Director Strings, Functional Languages, Combinators, Strictness Analysis |
13 | Lionel M. Ni, Kai Hwang 0001 |
Vector-Reduction Techniques for Arithmetic Pipelines. |
IEEE Trans. Computers |
1985 |
DBLP DOI BibTeX RDF |
Arithmetic pipelines, multiple vector processing, vector reduction, matrix algebra, VLSI architecture, interleaving |
13 | Tomás Lang, Mateo Valero, Miguel Angel Fiol |
Reduction of Connections for Multibus Organization. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
connection reduction, interconnection network, multiprocessors, Arbitration, multiple buses |
13 | Andy N. C. Kang, Richard C. T. Lee, Chin-Liang Chang, Shi-Kuo Chang |
Storage Reduction Through Minimal Spanning Trees and Spanning Forests. |
IEEE Trans. Computers |
1977 |
DBLP DOI BibTeX RDF |
memory storage reduction, spanning forests, Analysis of algorithms, minimal spanning trees |
13 | Stanley R. Petrick, Paul M. Postal, Peter S. Rosenbaum |
On coordination reduction and sentence analysis. |
Commun. ACM |
1969 |
DBLP DOI BibTeX RDF |
coordination reduction, generative grammar, grammar testing program, rule testing, sentence coordination, transformational theory, coordination, natural languages, syntax, syntactic analysis |
13 | Lieven De Lathauwer, Joos Vandewalle |
Dimensionality Reduction in ICA and Rank-(R1, R2, ..., RN) Reduction in Multilinear Algebra. |
ICA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Robert Clewley, Cristina Soto-Treviño, Farzan Nadim |
Dominant ionic mechanisms explored in spiking and bursting using local low-dimensional reductions of a biophysically realistic model neuron. |
J. Comput. Neurosci. |
2009 |
DBLP DOI BibTeX RDF |
Stomatogastric, Hybrid dynamical system, Oscillations, Model reduction, Compartmental modeling |
12 | Yanan Liu, Fei Wu 0001 |
Multi-modality video shot clustering with tensor representation. |
Multim. Tools Appl. |
2009 |
DBLP DOI BibTeX RDF |
Multi-modality video shot clustering, TensorShot, Temporal-sequenced associated cooccurrence (TSAC), Affinity propagation clustering, Dimensionality reduction |
12 | Sandrine Blazy, Benoît Robillard |
Live-range unsplitting for faster optimal coalescing. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
register allocation, graph reduction, coalescing |
12 | Quanquan Gu, Jie Zhou 0001 |
Subspace maximum margin clustering. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
constrained concave-convex procedure, maximum margin clustering, dimensionality reduction, cutting plane |
12 | Mohammad Abdul Awal, Lila Boukhatem |
Effect of feedback prediction on OFDMA system throughput. |
IWCMC |
2009 |
DBLP DOI BibTeX RDF |
feedback reduction, uplink throughput, prediction, WiMAX, OFDMA |
12 | Quang Dinh, Deming Chen, Martin D. F. Wong |
A routing approach to reduce glitches in low power FPGAs. |
ISPD |
2009 |
DBLP DOI BibTeX RDF |
glitch reduction, path balancing, fpgas, routing, low power |
12 | Yang Liu 0007, Yan Liu 0004 |
Tensor distance based multilinear multidimensional scaling for image and video analysis. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
image and video analysis, tensor distance, tensor distance based multilinear multidimensional scaling, dimensionality reduction |
12 | Giridhar Kumaran, Vitor R. Carvalho |
Reducing long queries using query quality predictors. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
long queries, query quality, query reduction, verbose queries |
12 | Junfeng Fan, Frederik Vercauteren, Ingrid Verbauwhede |
Faster -Arithmetic for Cryptographic Pairings on Barreto-Naehrig Curves. |
CHES |
2009 |
DBLP DOI BibTeX RDF |
BN curves, Pairings, Modular reduction |
12 | Zhenhai Zhu |
A parameterized mask model for lithography simulation. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
mask model, parameterized model order reduction, lithography |
12 | Xiaoming Liu 0004, Jinshan Tang, Jun Liu 0011, Zhilin Feng, Zhaohui Wang |
Semi-supervised Discriminant Analysis Based on Dependence Estimation. |
ADMA |
2009 |
DBLP DOI BibTeX RDF |
Dependence maximization, Semi-supervised learning, Dimension reduction |
12 | June-Jei Kuo, Hsin-Hsi Chen |
Multidocument Summary Generation: Using Informative and Event Words. |
ACM Trans. Asian Lang. Inf. Process. |
2008 |
DBLP DOI BibTeX RDF |
Temporal processing, multidocument summary generation, sentence ordering, sentence reduction, sentence selection, latent semantic analysis |
12 | Alexander Thomasian, Yue Li 0033, Lijuan Zhang 0002 |
Optimal subspace dimensionality for k-nearest-neighbor queries on clustered and dimensionality reduced datasets with SVD. |
Multim. Tools Appl. |
2008 |
DBLP DOI BibTeX RDF |
Clustering, Dimensionality reduction, Singular value decomposition, Content-based retrieval, Multimedia databases, High dimensional data, Nearest neighbor search |
12 | Colin B. Macdonald, Sigal Gottlieb, Steven J. Ruuth |
A Numerical Study of Diagonally Split Runge-Kutta Methods for PDEs with Discontinuities. |
J. Sci. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Diagonally split Runge-Kutta methods, Unconditional contractivity, Order reduction, Hyperbolic PDEs, Runge-Kutta methods, Time discretization, Strong stability preserving |
12 | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai |
Test frame updating in CPM testing of Prolog programs. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
CPM testing, Prolog programs, Call patterns semantics, Test frame reduction, Test frame refinement |
12 | Vo Dinh Minh Nhat, Sungyoung Lee |
k-means discriminant maps for data visualization and classification. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
dimensionality reduction, k-means, linear discriminant analysis, manifold learning |
12 | Yanan Liu, Fei Wu 0001, Yueting Zhuang, Jun Xiao 0001 |
Active post-refined multimodality video semantic concept detection with tensor representation. |
ACM Multimedia |
2008 |
DBLP DOI BibTeX RDF |
contextual correlation, hosvd, multi-modality video semantic concept detection, support tensor machines (stm), temporal associated cooccurrence (tac), tensorshot, active learning, dimension reduction, temporal dependency |
12 | Giridhar Kumaran, James Allan |
Effective and efficient user interaction for long queries. |
SIGIR |
2008 |
DBLP DOI BibTeX RDF |
interactive retrieval efficiency, query reduction, query expansion, user interaction, query analysis |
12 | Elif Alpaslan, Yu Huang 0005, Xijiang Lin, Wu-Tung Cheng, Jennifer Dworak |
Reducing Scan Shift Power at RTL. |
VTS |
2008 |
DBLP DOI BibTeX RDF |
Test Power Reduction, Power-Sensitive Scan Cell, RTL DFT, Timing Closure, Scan Based Test |
12 | Xiyue Zhou, Defu Zhang, Yi Jiang |
A New Credit Scoring Method Based on Rough Sets and Decision Tree. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
Data Mining, Rough Sets, Decision Tree, Attribute Reduction, Credit Scoring |
12 | Annalisa Franco, Alessandra Lumini, Dario Maio |
MKL-tree: an index structure for high-dimensional vector spaces. |
Multim. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Dimensionality reduction, Similarity search, High-dimensional data, Index structures |
12 | Ching-Hsien Hsu, Shih-Chang Chen, Chao-Yang Lan |
Scheduling contention-free irregular redistributions in parallelizing compilers. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
Irregular redistribution, GEN_BLOCK, Parallelizing compiler, Communication scheduling, Degree-reduction |
12 | Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004 |
Functional verification of task partitioning for multiprocessor embedded systems. |
ACM Trans. Design Autom. Electr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Containment checking, state space reduction, UML activity diagrams, multiprocessor embedded systems |
12 | Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink |
Compositionality for Markov Reward Chains with Fast Transitions. |
EPEW |
2007 |
DBLP DOI BibTeX RDF |
discontinuous Markov reward chains, Markov reward chains with fast transitions, lumpability, Kronecker product and sum, reduction, compositionality, parallel composition |
12 | Satoshi Fukuda, D. Kawazoe, Kenichi Okada, Kazuya Masu |
Reconfigurable CMOS Low Noise Amplifier Using Variable Bias Circuit for Self Compensation. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
intermodulation compensation, reconfigurable CMOS low noise amplifier, variable bias circuit, self compensation, power reduction |
12 | Boyuan Yan, Sheldon X.-D. Tan, Pu Liu, Bruce McGaughy |
Passive Interconnect Macromodeling Via Balanced Truncation of Linear Systems in Descriptor Form. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
moment-matching methods, passive interconnect macromodeling, descriptor form, passive model order reduction, projection-based truncated balanced realization method, large RLC interconnect circuits, Lur'e equation, algebraic Riccati equations, generalized Lyapunov equations, passivity preservation, congruence transformation, large scale interconnect circuit, linear systems, structure information, Krylov-subspace methods, block structure, balanced truncation |
12 | Pankaj K. Agarwal, Sariel Har-Peled, Hai Yu 0005 |
Embeddings of surfaces, curves, and moving points in euclidean space. |
SCG |
2007 |
DBLP DOI BibTeX RDF |
moving points, dimensionality reduction, random projection, doubling dimension |
12 | Dhiraj D. Kalamkar, Mainak Chaudhuri, Mark A. Heinrich |
Simplifying Active Memory Clusters by Leveraging Directory Protocol Threads. |
ISPASS |
2007 |
DBLP DOI BibTeX RDF |
active memory cluster, directory protocol thread, active memory address remapping, parallel reduction, coherence protocol extension, software protocol, multi-threaded node, dual-core node, active memory architecture, distributed shared memory, multiprocessor architecture, memory controller, matrix transpose |
12 | Jinfu Liu, Daren Yu |
A Weighted Rough Set Approach for Cost-Sensitive Learning. |
RSFDGrC |
2007 |
DBLP DOI BibTeX RDF |
Weighted rough set, cost-sensitive learning, rule extraction, knowledge reduction |
12 | Weigen Qiu, Zhibin Hu |
Composed Fuzzy Rough Set and Its Applications in Fuzzy RSAR. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
Fuzzy information system, Composed fuzzy rough sets, attribute reduction, Fuzzy rough set |
12 | Aurélie Bauer, Antoine Joux |
Toward a Rigorous Variation of Coppersmith's Algorithm on Three Variables. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
Coppersmith’s algorithms, Gröbner basis, Lattice reduction |
12 | Zhenhua Wang |
Adaptive analog biasing: a robustness-enhanced low-power technique for analog baseband design. |
ISLPED |
2007 |
DBLP DOI BibTeX RDF |
robustness enhancement, sensitivity reduction, low-power, low-energy, analog integrated circuits, biasing |
12 | Xun Yi |
Directed Transitive Signature Scheme. |
CT-RSA |
2007 |
DBLP DOI BibTeX RDF |
Directed transitive signature, transitive closure and reduction, RSA inversion problem over a cyclic group |
12 | Jinfu Liu, Qinghua Hu, Daren Yu |
Weighted Rough Set Learning: Towards a Subjective Approach. |
PAKDD |
2007 |
DBLP DOI BibTeX RDF |
weighted rough set, cost-sensitive learning, rule extraction, knowledge reduction, class imbalance learning |
12 | Amir Hussain 0001, Simone Cifani, Stefano Squartini, Francesco Piazza, Tariq S. Durrani |
A Novel Psychoacoustically Motivated Multichannel Speech Enhancement System. |
COST 2102 Workshop (Vietri) |
2007 |
DBLP DOI BibTeX RDF |
auditory properties, noise reduction, Adaptive signal processing, array signal processing |
12 | Stephan Roch, Karsten Schmidt 0004 |
On the Step Explosion Problem. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset |
12 | Ying Peng Que, Paul Boustead, Farzad Safaei |
Trading off computation for error in providing immersive voice communications for mobile gaming. |
NETGAMES |
2006 |
DBLP DOI BibTeX RDF |
immersive voice communications, mobile gaming, voice over IP (VoIP), computation cost reduction |
12 | Daniel Lichtblau |
Making Change and Finding Repfigits: Balancing a Knapsack. |
ICMS |
2006 |
DBLP DOI BibTeX RDF |
Frobenius instance solving, change-making problem, Frobenius numbers, Keith numbers, repfigits, integer linear programming, lattice reduction |
12 | Hao Yu 0001, Joanna Ho, Lei He 0001 |
Simultaneous power and thermal integrity driven via stapling in 3D ICs. |
ICCAD |
2006 |
DBLP DOI BibTeX RDF |
structured and parameterized model order reduction, thermal modeling and management |
12 | Yu Wang 0002, Yongpan Liu, Rong Luo, Huazhong Yang, Hui Wang 0004 |
Two-phase fine-grain sleep transistor insertion technique in leakage critical circuits. |
ISLPED |
2006 |
DBLP DOI BibTeX RDF |
leakage current reduction, two-phase fine-grain sleep transistor insertion, mixed integer linear programming |
12 | Tao Feng 0010, Ju-Sheng Mi, Wei-Zhi Wu 0001 |
Covering-Based Generalized Rough Fuzzy Sets. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
covering-based lower and upper approximations, reduction, covering, Rough fuzzy sets |
12 | Sachoun Park, Gihwon Kwon |
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. |
ICCSA (5) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Dependency analysis, Model reduction, State explosion problem |
12 | David Doty |
Every Sequence Is Decompressible from a Random One. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
compression, Kolmogorov complexity, martingale, Turing reduction, random sequence, Constructive dimension |
12 | Jiyuan An, Hanxiong Chen, Kazutaka Furuse, Nobuo Ohbo |
CVA file: an index structure for high-dimensional datasets. |
Knowl. Inf. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Local dimensionality reduction, Zipfs law, CVA file, Information retrieval, High-dimensional data, Spatial index |
12 | Arnold L. Rosenberg, Matthew Yurkewych |
Guidelines for Scheduling Some Common Computation-Dags for Internet-Based Computing. |
IEEE Trans. Computers |
2005 |
DBLP DOI BibTeX RDF |
reduction computations, convolutional computations, mesh-structured computations, tree-structured computations, scheduling, grid computing, global computing, Internet-based computing, Web computing |
12 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting Purity for Atomicity. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, Atomicity |
12 | Tsung-Nan Lin, Joseph Shu |
Adaptive-Hierarchical-Filtering Technique for High-Quality Magazine Image Reproduction. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
color image enhancement, moiré, pattern removal, noise reduction, digital halftoning |
12 | Francesco Bonchi, Fosca Giannotti, Alessio Mazzanti, Dino Pedreschi |
Exante: A Preprocessing Method for Frequent-Pattern Mining. |
IEEE Intell. Syst. |
2005 |
DBLP DOI BibTeX RDF |
constraints, preprocessing, data reduction, frequent-pattern mining |
12 | Lan Liu 0001, Xi Chen 0001, Jing Xiao, Tao Jiang 0001 |
Complexity and Approximation of the Minimum Recombination Haplotype Configuration Problem. |
ISAAC |
2005 |
DBLP DOI BibTeX RDF |
L-reduction, positive result, negative result, bounded number, mates, complexity, approximation, children, SNP, recombinant, Haplotyping, pedigree |
12 | Alastair F. Donaldson, Alice Miller 0001 |
Automatic Symmetry Detection for Model Checking Using Computational Group Theory. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction |
12 | David Naccache, Phong Q. Nguyen, Michael Tunstall, Claire Whelan |
Experimenting with Faults, Lattices and the DSA. |
Public Key Cryptography |
2005 |
DBLP DOI BibTeX RDF |
glitch attacks, fault injection, lattice reduction, DSA |
12 | Phong Q. Nguyen, Damien Stehlé |
Floating-Point LLL Revisited. |
EUROCRYPT |
2005 |
DBLP DOI BibTeX RDF |
L3, Lattice Reduction, LLL, Public-Key Cryptanalysis |
12 | Hirohito Oh'uchi, Takao Miura, Isamu Shioya |
Document Retrieval Using Projection by Frequency Distribution. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
Skewed Projection, Information Retrieval, Dimension Reduction, Random Projection |
12 | Eli Gafni, Rachid Guerraoui, Bastian Pochon |
From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
early decision, simulation, reduction, set agreement |
12 | Quanzhong Li 0002, Inés Fernando Vega López, Bongki Moon |
Skyline Index for Time Series Data. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
skyline bounding region, skyline index, dimensionality reduction, similarity search, time series data, Data approximation |
12 | Ankush Mittal, Loong Fah Cheong |
Addressing the Problems of Bayesian Network Classification of Video Using High-Dimensional Features. |
IEEE Trans. Knowl. Data Eng. |
2004 |
DBLP DOI BibTeX RDF |
discrete bayes error, multiple labels assignment, Bayesian networks, partitioning, dimensionality reduction, Content-based retrieval |
12 | Kari Torkkola |
Discriminative features for text document classification. |
Pattern Anal. Appl. |
2004 |
DBLP DOI BibTeX RDF |
Random transforms, Text classification, Linear discriminant analysis, Dimension reduction |
12 | Lingli Zhang, Chandra Krintz |
Adaptive code unloading for resource-constrained JVMs. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
code unloading, JVM, code-size reduction, JIT, resource-constrained devices |
12 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting purity for atomicity. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, atomicity |
12 | Laszlo Hars |
Long Modular Multiplication for Cryptographic Applications. |
CHES |
2004 |
DBLP DOI BibTeX RDF |
Quisquater multiplication, multiply-accumulate architecture, optimization, cryptography, Computer arithmetic, Montgomery multiplication, reciprocal, modular multiplication, Modular reduction |
12 | Jaewook Chung, M. Anwar Hasan |
More Generalized Mersenne Numbers: (Extended Abstract). |
Selected Areas in Cryptography |
2003 |
DBLP DOI BibTeX RDF |
Generalized Mersenne Numbers, Karatsuba-Ofman, RSA, XTR, Modular Reduction, Montgomery |
12 | Fabio Gadducci |
Term Graph Rewriting for the pi-Calculus. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
process calculi, reduction semantics, Term graph rewriting |
12 | André Weimerskirch, Douglas Stebila, Sheueling Chang Shantz |
Generic GF(2) Arithmetic in Software and Its Application to ECC. |
ACISP |
2003 |
DBLP DOI BibTeX RDF |
Dense Field Polynomials, Field Multiplication, Field Reduction, Elliptic Curves, Koblitz Curves, Binary Fields |
12 | M. Alex O. Vasilescu, Demetri Terzopoulos |
Multilinear Subspace Analysis of Image Ensembles. |
CVPR (2) |
2003 |
DBLP DOI BibTeX RDF |
nonlinear subspace analysis, N-mode component analysis, multilinear models, N-mode SVD, dimensionality reduction, tensor decomposition |
12 | Meinolf Sellmann |
Cost-Based Filtering for Shorter Path Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
optimization constraints, relaxed consistency, constrained shortest paths, problem reduction |
12 | Erich L. Kaltofen |
Polynomial factorization: a success story. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
black box polynomial, randomized algorithm, polynomial factorization, lattice basis reduction, symbolic/numeric hybrid method, straight line program |
12 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski |
Symmetric Spin. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Model checking, Spin, Symmetry reduction |
12 | Camilo E. Mandujano, Sunanda Mitra |
Cross-Power Spectrum Phase for Automated Registration of Multi/Hyperspectral Data-Cubes for Efficient Information Retrieval. |
SSIAI |
2002 |
DBLP DOI BibTeX RDF |
Cross spectrum phase, automated registration, multi/hyperspectral data-cubes, efficient information retrieval, principal component analysis, dimensionality reduction |
12 | Lars Michael Kristensen, Thomas Mailund |
A Generalised Sweep-Line Method for Safety Properties. |
FME |
2002 |
DBLP DOI BibTeX RDF |
explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations |
12 | Hanxiong Chen, Jiyuan An, Kazutaka Furuse, Nobuo Ohbo |
C2VA: Trim High Dimensional Indexes. |
WAIM |
2002 |
DBLP DOI BibTeX RDF |
Local Dimensionality Reduction, VA-file, CVA-file, C2VA, Image Retrieval, High Dimensional Index |
12 | Arnulf B. A. Graf, Felix A. Wichmann |
Gender Classification of Human Faces. |
Biologically Motivated Computer Vision |
2002 |
DBLP DOI BibTeX RDF |
SVM, PCA, Dimensionality reduction, LLE, gender classification |
12 | Tanja Römer, Jean-Pierre Seifert |
Information Leakage Attacks against Smart Card Implementations of the Elliptic Curve Digital Signature Algorithm. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
successive minimum, Cryptanalysis, side-channel-attacks, Lattice, ECDSA, Lattice basis reduction, LLL |
12 | Eamonn J. Keogh, Selina Chu, Michael J. Pazzani |
Ensemble-index: a new approach to indexing large databases. |
KDD |
2001 |
DBLP DOI BibTeX RDF |
data mining, Time series, dimensionality reduction, similarity search, indexing and retrieval |
12 | Johannes Blömer, Alexander May 0001 |
Low Secret Exponent RSA Revisited. |
CaLC |
2001 |
DBLP DOI BibTeX RDF |
Low secret exponent RSA, Coppersmith's method, cryptanalysis, lattice reduction |
12 | Simon St. James, Ulrich Ultes-Nitsche |
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness. |
PODC |
2001 |
DBLP DOI BibTeX RDF |
behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction |
12 | Jörg Haber, Hans-Peter Seidel |
Using an Enhanced LBG Algorithm to Reduce the Codebook Error in Vector Quantization. |
Computer Graphics International |
2000 |
DBLP DOI BibTeX RDF |
LBG algorithm, codebook error reduction, vector quantization |
12 | Janusz R. Getta |
Query Scrambling in Distributed Multidatabase Systems. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
query scrambling, distributed multidatabase systems, data integration algorithm, extended reduction technique, query processing, wide-area networks, dynamic optimization, concurrent computations, efficient query processing |
12 | Tina Wong, Randy H. Katz |
An Analysis of Multicast Forwarding State Scalability. |
ICNP |
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 |
12 | Ajay D. Kshemkalyani, Mukesh Singhal |
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
generalized deadlock, Distributed database, replicated database, graph reduction, quorum consensus |
12 | Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo |
Verification of Concurrent Client-Server Real-Time Scheduling Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
concurrent real-time client-server systems, model-checking, verification, scheduling algorithms, automata, state-space reduction |
12 | Rong Lin, Kevin E. Kerr, André S. Botha |
A Novel Approach for CMOS Parallel Counter Design. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
parallel counter and compressor, low power high speed CMOS circuit design, VLSI design, Arithmetic circuit, partial product reduction |
12 | Dattatraya Kulkarni |
Transformations for Improving Data Access Locality in Non-Perfectly Nested Loops. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
Loop and Data Transformations, Size-reduction Transformations, Performance, Optimizing Compiler, Locality of reference |
12 | Mostafa A. Bassiouni, Ming-Hsing Chiu, Margaret L. Loper, Michael Garnsey, Jim Williams |
Performance and Reliability Analysis of Relevance Filtering for Scalable Distributed Interactive Simulation. |
ACM Trans. Model. Comput. Simul. |
1997 |
DBLP DOI BibTeX RDF |
bandwidth reduction, distributed interactive simulation, scalable algorithms, real-time protocols |
12 | Darko Kirovski, Johnson Kin, William H. Mangione-Smith |
Procedure Based Program Compression. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
cached procedures, compressed memory, consumer devices, design factors, directory structure, high-capacitance bus traffic, integrated data services, memory references, pagers, procedural reference resolution, procedure-based program compression, run-time performance overhead, smart telephones, transparent program compression, embedded systems, personal digital assistants, power consumption, cost, multimedia applications, source coding, RAM, performance requirements, battery life, communications applications, memory reduction |
12 | Johnson Kin, Munish Gupta, William H. Mangione-Smith |
The Filter Cache: An Energy Efficient Memory Structure. |
MICRO |
1997 |
DBLP DOI BibTeX RDF |
direct mapped 256-byte filter cache, energy efficient memory structure, on-chip caches, static RAM, microprocessors, microprocessor chips, power reduction, embedded applications, L2 cache, filter cache, L1 cache |
|
|