|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3648 occurrences of 2248 keywords
|
|
|
Results
Found 7184 publication records. Showing 7184 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Frederico Buchholz Maciel, Yoshikazu Miyanaga, Koji Tochinai |
An optimization technique for lowering the iteration bound of DSP programs. |
J. VLSI Signal Process. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Jie Wang 0002, Jay Belanger |
Honest Iteration Schemes of Randomizing Algorithms. |
ISAAC |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Grzegorz W. Wasilkowski |
Can Any Stationary Iteration Using Linear Information Be Globally Convergent?. |
J. ACM |
1980 |
DBLP DOI BibTeX RDF |
|
25 | Holger Boche, Martin Schubert |
A superlinearly and globally convergent algorithm for power control and resource allocation with general interference functions. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
multi-user channels, resource allocation, power control, interference suppression |
25 | Xinmiao Zhang |
Further Exploring the Strength of Prediction in the Factorization of Soft-Decision Reed-Solomon Decoding. |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Zheng-Hai Huang, Liqun Qi 0001, Defeng Sun |
Sub-quadratic convergence of a smoothing Newton algorithm for the P 0- and monotone LCP. |
Math. Program. |
2004 |
DBLP DOI BibTeX RDF |
smoothing Newton method, sub-quadratic convergence, global convergence, linear complementarity problem |
25 | Michelle Mills Strout, Paul D. Hovland |
Metrics and models for reordering transformations. |
Memory System Performance |
2004 |
DBLP DOI BibTeX RDF |
inspector/executor, locality metrics, run-time reordering transformations, spatial locality graph, temporal locality hypergraph, optimization, data locality |
25 | Bernard Boigelot, Axel Legay, Pierre Wolper |
Omega-Regular Model Checking. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Jen-Chuan Chih, Sau-Gee Chen |
Fast CORDIC Algorithm Based on a New Recoding Scheme for Rotation Angles and Variable Scale Factors. |
J. VLSI Signal Process. |
2003 |
DBLP DOI BibTeX RDF |
variable scale factor, table lookup method, residual angle and scale factor recoding, CORDIC algorithm |
25 | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
Automated Test Data Generation Using an Iterative Relaxation Method. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
dynamic test data generation, input dependency set, predicate residuals, predicate sliccs, path testing, relaxation methods |
25 | Ching-Yi Wang, Keshab K. Parhi |
Resource-constrained loop list scheduler for DSP algorithms. |
J. VLSI Signal Process. |
1995 |
DBLP DOI BibTeX RDF |
|
25 | P. J. Houwen |
Preconditioning in implicit initial-value problem methods on parallel computers. |
Adv. Comput. Math. |
1993 |
DBLP DOI BibTeX RDF |
Subject classification 65M10, 65M20 |
25 | Domenick J. Pinto, Sandra K. Honda |
A comparison of the effects of structured vs. non-structured and modularized vs. non-modularized programs on run time (abstract only). |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Wei Zheng 0001, Xiangming Wen, Baiquan Zhao, Zhaoming Lu |
A Cross-layer Self-optimized Algorithm for VOD in LTE-advanced Based on Fuzzy Iteration. |
WKDD |
2010 |
DBLP DOI BibTeX RDF |
LTE-advanced, fuzzy, cross-layer, iteration, self-optimization |
24 | Rein Luus |
Control Vector Iteration CVI. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Control vector iteration, Pontryagin's maximum principle, Optimal control, Variation method |
24 | Anna Beletska, Wlodzimierz Bielecki, Albert Cohen 0001, Marek Palkowski, Krzysztof Siedlecki |
Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations. |
ISPDC |
2009 |
DBLP DOI BibTeX RDF |
iteration space slicing, affine transformations, loop parallelization |
24 | Duo Liu, Zili Shao, Meng Wang 0005, Minyi Guo, Jingling Xue |
Optimal loop parallelization for maximizing iteration-level parallelism. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
iteration-level parallelism, retiming, loop transformation, loop parallelization, data dependence graph |
24 | Xijuan Liu |
Research on Product Design Knowledge Reuse through Linkage with Design Iteration Records. |
NPC Workshops |
2008 |
DBLP DOI BibTeX RDF |
Product design, knowledge reuse, design iteration |
24 | Karl Hörnell, Per Lötstedt |
Adaptive Iteration to Steady State of Flow Problems. |
J. Sci. Comput. |
2004 |
DBLP DOI BibTeX RDF |
flow problems, Runge-Kutta iteration, adapted parameters, steady state solution |
24 | Éric Monfroy, Jean-Hugues Réty |
Chaotic Iteration for Distributed Constraint Propagation. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
chaotic iteration, distributed constraint propagation, distributed constraint satisfaction problem |
24 | Toru Wakahara, Yoshimasa Kimura |
Affine-Invariant Correlation of Gray-Scale Characters using GAT Iteration. |
ICDAR |
1999 |
DBLP DOI BibTeX RDF |
Affine-invariant correlation, global affine transformation, successive iteration method NTT Cyber Space Laboratories, image degradation, gray-scale character recognition |
24 | Y. Ling |
The Convex-Decomposable Operator Equation and its Monotonic Inclusive Iteration. |
Computing |
1996 |
DBLP DOI BibTeX RDF |
Convex-decomposable operator, isotone, antitone, monotonic inclusive iteration |
24 | Soonhoi Ha, Edward A. Lee |
Compile-Time Scheduling and Assignment of Data-Flow Program Graphs with Data-Dependent Iteration. |
IEEE Trans. Computers |
1991 |
DBLP DOI BibTeX RDF |
data-flow program graphs, data-dependent iteration, fully dynamic, static-assignment, fully static, scheduling, parallel programming, programming, program compilers, assignment, parallel processors, self-timed, compile time scheduling, idle time, program processors, probability mass function |
24 | Yong Ki Lee, Herwin Chan, Ingrid Verbauwhede |
Design Methodology for Throughput Optimum Architectures of Hash Algorithms of the MD4-class. |
J. Signal Process. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Architecture design methodology, MD4-based hash algorithm, SHA1, RIPEMD-160, Iteration bound analysis, DFG (Data Flow Graph) transformation, Throughput optimization, MD5 |
24 | Kent E. Wires, Michael J. Schulte |
Reciprocal and Reciprocal Square Root Units with Operand Modification and Multiplication. |
J. VLSI Signal Process. |
2006 |
DBLP DOI BibTeX RDF |
reciprocal square root, Newton-Raphson iteration, computer arithmetic, function approximation, table lookup, reciprocal |
24 | Jean-Christophe Filliâtre |
Backtracking iterators. |
ML |
2006 |
DBLP DOI BibTeX RDF |
iteration, backtracking, persistent data structures |
24 | Xi-Ren Cao |
Basic Ideas for Event-Based Optimization of Markov Systems. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Markov decision processes (MDPs), performance potentials, policy gradients, aggregation, perturbation analysis, POMDPs, policy iteration |
24 | Karthikeyan Sankaralingam, Madhulika Yalamanchi, Simha Sethumadhavan, James C. Browne |
Pagerank Computation and Keyword Search on Distributed Systems and P2P Networks. |
J. Grid Comput. |
2003 |
DBLP DOI BibTeX RDF |
asynchronous iteration, pagerank, web server, keyword search, peer-to-peer computing, Internet search |
24 | José-Alejandro Piñeiro, Javier D. Bruguera |
High-Speed Double-Precision Computation of Reciprocal, Division, Square Root and Inverse Square Root. |
IEEE Trans. Computers |
2002 |
DBLP DOI BibTeX RDF |
Goldschmidt iteration, table-based methods, double-precision operations, inverse square root, Computer arithmetic, division, square root |
24 | PeiZong Lee, Zvi M. Kedem |
Automatic data and computation decomposition on distributed memory parallel computers. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Computation decomposition, dominant data array, iteration space mapping vector, spatial dependence vector, temporal dependence vector, tiling techniques, parallelizing compilers, data distribution, distributed-memory computers, data alignment |
24 | José M. Badía, Peter Benner, Rafael Mayo 0002, Enrique S. Quintana-Ortí |
Solving Large Sparse Lyapunov Equations on Parallel Computers (Research Note). |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
ADI iteration, sparse linear systems, low-rank approximation, Lyapunov equations |
24 | Zhong-Zhi Bai |
Modified Block SSOR Preconditioners for Symmetric Positive Definite Linear Systems. |
Ann. Oper. Res. |
2001 |
DBLP DOI BibTeX RDF |
symmetric positive definite linear system, block SSOR iteration, hierarchical basis discretization, preconditioner |
24 | David R. Musser, Arturo J. Sánchez-Ruíz |
Theory and Generality of Complete Traversals. |
Generic Programming |
1998 |
DBLP DOI BibTeX RDF |
Standard Template Library (STL), Adaptors, Iteration Mechanisms, Generic Programming, Iterators, Containers, Closures |
24 | Varsha Mainkar, Kishor S. Trivedi |
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Stochastic Petri nets, sufficient conditions, fixed-point iteration, existence |
24 | Wen-Kai Dai, Ruei-Chuan Chang, Zen-Chung Shih |
Fractal pattern for a butterfly wing. |
Vis. Comput. |
1995 |
DBLP DOI BibTeX RDF |
Newton’s method, Texture, Dynamical system, Fractals, Iteration |
24 | Dan Schonfeld, Yi Qiao |
A new stochastic projection-based image recovery method. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
projections onto convex sets, image recovery method, stochastic projections method, projections onto closed sets, stochastic parameter, computer simulation experiments, signal recovery, phase from magnitude image restoration, image processing, parameter estimation, signal processing, iterative methods, image restoration, stochastic processes, iteration |
24 | Michael G. Burke, Barbara G. Ryder |
A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming |
20 | Tian Tian, Kenny Young, Richard S. Sutton |
Doubly-Asynchronous Value Iteration: Making Value Iteration Asynchronous in Actions. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Zhuan Khye Koh, Georg Loho |
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees. |
MFCS |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Tian Tian, Kenny Young, Richard S. Sutton |
Doubly-Asynchronous Value Iteration: Making Value Iteration Asynchronous in Actions. |
NeurIPS |
2022 |
DBLP BibTeX RDF |
|
20 | Alberto Maria Metelli, Matteo Pirotta, Daniele Calandriello, Marcello Restelli |
Safe Policy Iteration: A Monotonically Improving Approximate Policy Iteration Approach. |
J. Mach. Learn. Res. |
2021 |
DBLP BibTeX RDF |
|
20 | Zhuan Khye Koh, Georg Loho |
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Biao Luo, Yin Yang 0001, Huai-Ning Wu, Tingwen Huang |
Balancing Value Iteration and Policy Iteration for Discrete-Time Control. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Fatemeh Abdi, Fatemeh Shakeri |
Power iteration and inverse power iteration for eigenvalue complementarity problem. |
Numer. Linear Algebra Appl. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Didier Caucal, Teodor Knapik |
Shelah-Stupp's Iteration and Muchnik's Iteration. |
Fundam. Informaticae |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Bram Geron, Paul Blain Levy |
Iteration and Labelled Iteration. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Li-Li Zhang 0008 |
Two-Stage Multisplitting Iteration Methods Using Modulus-Based Matrix Splitting as Inner Iteration for Linear Complementarity Problems. |
J. Optim. Theory Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Gábor Németh, Péter Kardos, Kálmán Palágyi |
Thinning combined with iteration-by-iteration smoothing for 3D binary images. |
Graph. Model. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Mang-Mang Lv, Xiaodong Li 0011, Teng-Fei Xiao |
Iterative learning control for linear time-variant continuous systems with iteration-varying initial conditions and iteration-varying reference trajectories. |
ICCA |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Christophe Thiery |
Itération sur les Politiques Optimiste et Apprentissage du Jeu de Tetris. (Optimistic Policy Iteration and Learning the Game of Tetris). |
|
2010 |
RDF |
|
20 | Adrien Elena |
Robustesse des réseaux d'automates booléens à seuil aux modes d'itération. Application à la modélisation des réseaux de régulation génétique. (Robustness of threshold boolean automata networks to iteration modes. Application to genetic regulation network modelling). |
|
2009 |
RDF |
|
20 | Lei Yang 0001, James Dankert, Jennie Si |
A performance gradient perspective on gradient-based policy iteration and a modified value iteration. |
Int. J. Intell. Comput. Cybern. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zhenyu Huang 0003, Muhammad Aslam Noor |
Equivalency of convergence between one-step iteration algorithm and two-step iteration algorithm of variational inclusions for H-monotone mappings. |
Comput. Math. Appl. |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Yunkai Zhou |
Studies on Jacobi-Davidson, Rayleigh quotient iteration, inverse iteration generalized Davidson and Newton updates. |
Numer. Linear Algebra Appl. |
2006 |
DBLP DOI BibTeX RDF |
|
20 | B. E. Rhoades, Stefan M. Soltuz |
The equivalence of Mann iteration and Ishikawa iteration for ψ-uniformly pseudocontractive or ψ-uniformly accretive maps. |
Int. J. Math. Math. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Brian S. Boelsterli |
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New agile Techniques Used at a Major Telecommunications Firm. |
Agile Development Conference |
2003 |
DBLP DOI BibTeX RDF |
SDLC, methodology, process, development, agile |
20 | Omid Madani |
On Policy Iteration as a Newton s Method and Polynomial Policy Iteration Algorithms. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
20 | Goong Chen, Yuanhua Deng, Wei-Ming Ni, Jianxin Zhou |
Boundary element monotone iteration scheme for semilinear elliptic partial differential equations, Part II: Quasimonotone iteration for coupled systems. |
Math. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Gerhard Hübner, Manfred Schäl |
Adaptive policy-iteration and policy-value-iteration for discounted Markov decision processes. |
ZOR Methods Model. Oper. Res. |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Stephen L. Bloom, Calvin C. Elgot, Jesse B. Wright |
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. |
SIAM J. Comput. |
1980 |
DBLP DOI BibTeX RDF |
|
20 | Jahangheer S. Shaik, Mohammed Yeasin |
Fuzzy-Adaptive-Subspace-Iteration-Based Two-Way Clustering of Microarray Data. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2009 |
DBLP DOI BibTeX RDF |
data mining, Clustering, classification and association rules, data and knowledge visualization, feature extraction or construction |
20 | Xue-Cheng Tai, Chunlin Wu |
Augmented Lagrangian Method, Dual Methods and Split Bregman Iteration for ROF Model. |
SSVM |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski |
Kleene Monads: Handling Iteration in a Framework of Generic Effects. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Xinghua Wang 0001, Peipei Tang |
A generalization of Müller's iteration method based on standard information. |
Numer. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65D05, 41A20, 41A05 |
20 | Christos Dimitrakakis, Michail G. Lagoudakis |
Rollout Sampling Approximate Policy Iteration. |
ECML/PKDD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Steffen Remmele, Madeleine Seeland, Jürgen Hesser |
Fluorescence Microscopy Deconvolution Based on Bregman Iteration and Richardson-Lucy Algorithm with TV Regularization. |
Bildverarbeitung für die Medizin |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ralph Matthes |
Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
20 | François-Xavier Dupé, Mohamed-Jalal Fadili, Jean-Luc Starck |
Deconvolution of confocal microscopy images using proximal iteration and sparse representations. |
ISBI |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik |
Iteration Semirings. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Arun Kejariwal, Alexandru Nicolau, Utpal Banerjee, Alexander V. Veidenbaum, Constantine D. Polychronopoulos |
Cache-aware iteration space partitioning. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
load balancing, caches |
20 | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
Static Analysis by Policy Iteration on Relational Domains. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Márk Jelasity, Geoffrey Canright, Kenth Engø-Monsen |
Asynchronous Distributed Power Iteration with Gossip-Based Normalization. |
Euro-Par |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jirí Adámek, Stefan Milius, Jirí Velebil |
What Are Iteration Theories? |
MFCS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Hao Yin, Huilin Wu, Jiliu Zhou |
An Improved Genetic Algorithm with Limited Iteration for Grid Scheduling. |
GCC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Baohua Li, Jennie Si |
Approximate Robust Policy Iteration for Discounted Infinite-Horizon Markov Decision Processes with Uncertain Stationary Parametric Transition Matrices. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Sriram Sankaranarayanan 0001, Henny B. Sipma, Zohar Manna |
Fixed Point Iteration for Computing the Time Elapse Operator. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Shuxue Ding |
A Power Iteration Algorithm for ICA Based on Diagonalizations of Non-Linearized Covariance Matrix. |
ICICIC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Hua Zhang 0014, Da-Zheng Feng |
Convolutive Blind Separation of Non-white Broadband Signals Based on a Double-Iteration Method. |
ISNN (1) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Baoqiang Yan, Philip J. Rhodes |
An Iteration Aware Multidimensional Data Distribution Prototype for Computing Clusters. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot |
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Andrzej S. Murawski, Igor Walukiewicz |
Third-Order Idealized Algol with Iteration Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Balsa, Michel J. Daydé, Ronan Guivarch, José M. Laginha M. Palma, Daniel Ruiz 0002 |
Monitoring the Block Conjugate Gradient Convergence Within the Inexact Inverse Subspace Iteration. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Csaba Szepesvári, Rémi Munos |
Finite time bounds for sampling based fitted value iteration. |
ICML |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Outi Salo, Kari Kolehmainen, Pekka Kyllönen, Jani Löthman, Sanna Salmijärvi, Pekka Abrahamsson |
Self-Adaptability of Agile Software Processes: A Case Study on Post-iteration Workshops. |
XP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Ryuichi Ueda, Tamio Arai |
Value Iteration under the Constraint of Vector Quantization for Improving Compressed State-action Maps. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Abel 0001, Ralph Matthes, Tarmo Uustalu |
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Johan G. F. Belinfante |
Reasoning about Iteration in Gödel's Class Theory. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Yu Wen, Shing-Chow Chan, Ka-Leung Ho |
Robust recursive bi-iteration singular value decomposition (SVD) for subspace tracking and adaptive filtering. |
ISCAS (4) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Georgios I. Goumas, Nikolaos Drosinos, Maria Athanasaki, Nectarios Koziris |
Compiling Tiled Iteration Spaces for Clusters. |
CLUSTER |
2002 |
DBLP DOI BibTeX RDF |
clusters, MPI, code generation, data parallel, Loop tiling |
20 | Yanhong A. Liu, Scott D. Stoller |
From Recursion to Iteration: What are the Optimizations? |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik |
Iteration Theories of Boolean Functions. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Pál Dömösi, Manfred Kudlek |
Strong Iteration Lemmata for Regular, Linear, Context-Free, and Linear Indexed Languages. |
FCT |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik, Anna Labella |
Equational Properties of Iteration in Algebraically Complete Categories. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Ze-Yi Wang, Ke-Chih Wu, Robert W. Dutton |
An approach to construct pre-conditioning matrices for block iteration of linear equations. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Vivek Sarkar, Radhika Thekkath |
A General Framework for Iteration-Reordering Loop Transformations. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Stephen L. Bloom, Zoltán Ésik |
Program Correctness and Matricial Iteration Theories. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda |
Convergence of Iteration Systems (Extended Abstract). |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
20 | Francesco Parisi-Presicce |
Product and Iteration of Module Specifications. |
CAAP |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Beong In Yun, Miodrag S. Petkovic |
Iterative methods based on the signum function approach for solving nonlinear equations. |
Numer. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65H05, 68W25 |
20 | Heng Tao Shen, Shouxu Jiang, Kian-Lee Tan, Zi Huang, Xiaofang Zhou 0001 |
Speed up interactive image retrieval. |
VLDB J. |
2009 |
DBLP DOI BibTeX RDF |
Query processing, Indexing, Image retrieval, Relevance feedback |
Displaying result #101 - #200 of 7184 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|