Search results for "recursions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
169	Jiawei Han 0001, Ling Liu	Efficient Evaluation of Multiple Linear Recursions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	multiple one sided linear recursions, multiple balanced K-sided recursions, multiple mixed K-sided recursion, side-coherent multiple linear recursions, single-linear recursive query evaluation, side-relation unioned processing, side-relation unioned transitive closure algorithm, side-relation unioned magic sets method, single-probe queries, information retrieval, database theory, deductive database, deductive databases, recursive functions
105	Xiaoyong Du 0001, Naohiro Ishii	An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications	DEXA	1995	DBLP DOI BibTeX RDF
105	Jeffrey F. Naughton	One-Sided Recursions.	PODS	1987	DBLP DOI BibTeX RDF
91	Jeffrey F. Naughton, Yehoshua Sagiv	A Decidable Class of Bounded Recursions.	PODS	1987	DBLP DOI BibTeX RDF
77	Ali Vakili, Babak Hassibi	A Stieltjes transform approach for studying the steady-state behavior of random Lyapunov and Riccati recursions.	CDC	2008	DBLP DOI BibTeX RDF
77	Norman Danner, James S. Royer	Time-Complexity Semantics for Feasible Affine Recursions.	CiE	2007	DBLP DOI BibTeX RDF
77	Xiaoyong Du 0001, Zhibin Liu, Naohiro Ishii	Counting-Based Normalization for Multiple Linear Recursions.	DEXA	1996	DBLP DOI BibTeX RDF
69	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
69	Jiawei Han 0001, Ling Liu, Zhaohui Xie	LogicBase: A Deductive Database System Prototype.	CIKM	1994	DBLP DOI BibTeX RDF
63	George Petrides, Johannes Mykkeltveit	Composition of recursions and nonlinear complexity of periodic binary sequences.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 94A55
63	Yatin P. Saraiya	Linearizing Nonlinear Recursions in Polynomial Time.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
63	Jeffrey F. Naughton	Compiling Separable Recursions.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
55	Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola	Traversal Recursion: A Practical Approach to Supporting Recursive Applications.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
49	Emílio Del Moral Hernandez	Bifurcating Pulsed Neural Networks, Chaotic Neural Networks and Parametric Recursions: Conciliating Different Frameworks in Neuro-Like Computing.	IJCNN (6)	2000	DBLP DOI BibTeX RDF
49	Jiawei Han 0001, Qiang Wang	Efficient Evaluation of Linear Recursions with Function Sysmbols in Deductive Databases.	ISMIS	1991	DBLP DOI BibTeX RDF
48	Paul Fearnhead	Filtering recursions for calculating likelihoods for queues based on inter-departure time data.	Stat. Comput.	2004	DBLP DOI BibTeX RDF	Er/G/1 queues, indirect inference, likelihood recursions, missing data, forward-backward algorithm, M/G/1 queues
44	Jiawei Han 0001	From transitive closure recursions to single-chain recursions.	Inf. Syst.	1990	DBLP DOI BibTeX RDF
41	Norman Danner, James S. Royer	Two Algorithms in Search of a Type-System.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity
41	Yingxu Wang	On the Big-R Notation for Describing Iterative and Recursive Behaviors.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
41	Jiawei Han 0001	Compilation-Based List Processing in Deductive Databases.	EDBT	1992	DBLP DOI BibTeX RDF
41	Jiawei Han 0001	On the Power of Query-Independent Compilation.	ICCI	1991	DBLP DOI BibTeX RDF
40	Farn Wang	Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.	RTCSA	1996	DBLP DOI BibTeX RDF	scalable compositional verification, high-level real-time concurrent systems, compositional CTL mode-checking algorithm, discrete global clock, VERIFAST-2, truly scalable performance, software recursions, protocols, formal verification
36	A. B. Dieker, Marc Lelarge	Tails for (max, plus) recursions under subexponentiality.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	(Max, plus) recursion, Open queueing network, Stochastic event graph, Resequencing delay, Subexponential distribution
36	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
36	Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann	The Static Parallelization of Loops and Recursions.	J. Supercomput.	1997	DBLP DOI BibTeX RDF	polytope model, parallelization, skeletons, divide-and-conquer, homomorphism, SPMD, higher-order function, loop nest
36	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
28	Olivier Perriquet, Pedro Barahona	Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction.	EPIA	2009	DBLP DOI BibTeX RDF
28	Marco H. Terra, João Yoshiyuki Ishihara, Antonio C. Padoan Jr.	Information Filtering and Array Algorithms for Descriptor Systems Subject to Parameter Uncertainties.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
28	Jinjiang Yuan, Weiping Shang, Qi Feng	A note on the scheduling with two families of jobs.	J. Sched.	2005	DBLP DOI BibTeX RDF
28	Sridhar Gollamudi, Yih-Fang Huang	Adaptive minimax filtering via recursive optimal quadratic approximations.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
28	Huimin Lin	Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus.	ICALP	1998	DBLP DOI BibTeX RDF
28	Paul S. Lewis	Systolic architectures for adaptive multichannel least squares lattice filters.	J. VLSI Signal Process.	1990	DBLP DOI BibTeX RDF
26	Soleda Leung	Integrating visualization to make programming concepts concrete: dot net style.	SIGITE Conference	2006	DBLP DOI BibTeX RDF	graphics, recursions, program visualization
26	Andrew Vogt	Should Activation Functions be Affinely Recursive?.	IJCNN (1)	2000	DBLP DOI BibTeX RDF	affine recursions, scaling functions
26	Wenyu Lu, Dik Lun Lee, Jiawei Han 0001	A Study on the Structure of Linear Recursion.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	linear recursion, variable connections, static bindings, chain connections, chain recursions, rule compilation, query information, optimized query-processing plans, rule classification, query processing, query processing, optimisation, database theory, deductive databases, deductive database, expansions, logic database
22	Antoine P. Leeman, Johannes Köhler, Florian Messerer, Amon Lahr, Moritz Diehl, Melanie N. Zeilinger	Fast System Level Synthesis: Robust Model Predictive Control using Riccati Recursions.	CoRR	2024	DBLP DOI BibTeX RDF
22	Thomas W. Cusick, Younhwan Cheon	The weight recursions for the 2-rotation symmetric quartic Boolean functions.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
22	Rawwad Alhejaili, Motaz Alfarraj, Hamzah Luqman, Ali Al-Shaikhi	Recursions Are All You Need: Towards Efficient Deep Unfolding Networks.	CoRR	2023	DBLP DOI BibTeX RDF
22	Congzao Dong, Alexander Marynych, Ilya Molchanov	Set-valued recursions arising from vantage-point trees.	CoRR	2023	DBLP DOI BibTeX RDF
22	Rawwad Alhejaili, Motaz Alfarraj, Hamzah Luqman, Ali Al-Shaikhi	Recursions Are All You Need: Towards Efficient Deep Unfolding Networks.	CVPR Workshops	2023	DBLP DOI BibTeX RDF
22	Ryota Numata, Tsuyoshi Kiyama	Reduction in Computational Complexity of Recursions in SVD-based Recursive 4SID with Fixed Input-output Data Size.	SICE	2023	DBLP DOI BibTeX RDF
22	Kirshanthan Sundararajah, Charitha Saumya, Milind Kulkarni 0001	UniRec: a unimodular-like framework for nested recursions and loops.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
22	Paul Levrie, John Campbell	Series acceleration formulas obtained from experimentally discovered hypergeometric recursions.	Discret. Math. Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
22	Abhishek Halder, Kenneth F. Caluya, Pegah Ojaghi, Xinbo Geng	Stochastic Uncertainty Propagation in Power System Dynamics using Measure-valued Proximal Recursions.	CoRR	2021	DBLP BibTeX RDF
22	Jáchym Barvínek, Timothy van Bremen, Yuyi Wang 0001, Filip Zelezný, Ondrej Kuzelka	Automatic Conjecturing of P-Recursions Using Lifted Inference.	ILP	2021	DBLP DOI BibTeX RDF
22	Ali Zaghian, Bagher Bagherpour	A Fast Publicly Verifiable Secret Sharing Scheme using Non-homogeneous Linear Recursions.	ISC Int. J. Inf. Secur.	2020	DBLP DOI BibTeX RDF
22	Eugene Gorsky, Mikhail Mazin, Monica Vazirani	Recursions for rational q, t-Catalan numbers.	J. Comb. Theory, Ser. A	2020	DBLP DOI BibTeX RDF
22	Eric Adjakossa, Yannig Goude, Olivier Wintenberger	Kalman Recursions Aggregated Online.	CoRR	2020	DBLP BibTeX RDF
22	Oguzhan Teke, P. P. Vaidyanathan	Random Node-Asynchronous Graph Computations: Novel Opportunities for Discrete-Time State-Space Recursions.	IEEE Signal Process. Mag.	2020	DBLP DOI BibTeX RDF
22	Tobias Johnson, Moumanti Podder, Fiona Skerman	Random tree recursions: Which fixed points correspond to tangible sets of trees?	Random Struct. Algorithms	2020	DBLP DOI BibTeX RDF
22	Salwa Kobeissi, Alain Ketterlin, Philippe Clauss	Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy.	SAMOS	2020	DBLP DOI BibTeX RDF
22	Rafah El-Khatib, Nicolas Macris, Tom Richardson 0001, Rüdiger L. Urbanke	Displacement Convexity in Spatially Coupled Scalar Recursions.	IEEE Trans. Inf. Theory	2019	DBLP DOI BibTeX RDF
22	Elvin Isufi, Fernando Gama, Alejandro Ribeiro	Generalizing Graph Convolutional Neural Networks with Edge-Variant Recursions on Graphs.	CoRR	2019	DBLP BibTeX RDF
22	Elvin Isufi, Andreas Loukas, Nathanaël Perraudin, Geert Leus	Forecasting Time Series With VARMA Recursions on Graphs.	IEEE Trans. Signal Process.	2019	DBLP DOI BibTeX RDF
22	Oguzhan Teke, P. P. Vaidyanathan	Randomized Asynchronous Recursions with a Sinusoidal Input.	ACSSC	2019	DBLP DOI BibTeX RDF
22	Sang-Yoon Bae, James R. Morrison	Exit Time Recursions, Recording Principles, and Queue Equivalence in Generalized Regular Flow Lines.	CASE	2019	DBLP DOI BibTeX RDF
22	Bruno Mériaux, Chengfang Ren, Arnaud Breloy, Mohammed Nabil El Korso, Philippe Forster, Jean Philippe Ovarlez	On the Recursions of Robust COMET Algorithm for Convexly Structured Shape Matrix.	EUSIPCO	2019	DBLP DOI BibTeX RDF
22	Elvin Isufi, Fernando Gama, Alejandro Ribeiro	Generalizing Graph Convolutional Neural Networks with Edge-Variant Recursions on Graphs.	EUSIPCO	2019	DBLP DOI BibTeX RDF
22	Raghu Pasupathy, Peter W. Glynn, Soumyadip Ghosh, Fatemeh Sadat Hashemi	On Sampling Rates in Simulation-Based Recursions.	SIAM J. Optim.	2018	DBLP DOI BibTeX RDF
22	Thomas W. Cusick	Weight Recursions for Any Rotation Symmetric Boolean Functions.	IEEE Trans. Inf. Theory	2018	DBLP DOI BibTeX RDF
22	Elvin Isufi, Andreas Loukas, Nathanaël Perraudin, Geert Leus	Forecasting Time Series with VARMA Recursions on Graphs.	CoRR	2018	DBLP BibTeX RDF
22	Francis N. Castro, Robin Chapman, Luis A. Medina, L. Brehsner Sepúlveda	Recursions associated to trapezoid, symmetric and rotation symmetric functions over Galois fields.	Discret. Math.	2018	DBLP DOI BibTeX RDF
22	Michel Denault, Jean-Guy Simonato	Dynamic portfolio choices by simulation-and-regression: Revisiting the issue of value function vs portfolio weight recursions.	Comput. Oper. Res.	2017	DBLP DOI BibTeX RDF
22	Rafah El-Khatib, Nicolas Macris, Tom Richardson 0001, Rüdiger L. Urbanke	Displacement Convexity in Spatially Coupled Scalar Recursions.	CoRR	2017	DBLP BibTeX RDF
22	Thomas W. Cusick	Weight recursions for any rotation symmetric Boolean functions.	CoRR	2017	DBLP BibTeX RDF
22	Predrag Brodanac	Recursions and how to teach them.	MIPRO	2017	DBLP DOI BibTeX RDF
22	Abraham Isgur, Robert Lech, Scott Moore, Stephen M. Tanny, Yvon Verberne, Yifan Zhang	Constructing New Families of Nested Recursions with Slow Solutions.	SIAM J. Discret. Math.	2016	DBLP DOI BibTeX RDF
22	Ayaz ul Hassan Khan, Mayez Al-Mouhamed, Allam Fatayer, Nazeeruddin Mohammad	Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core.	Int. J. Parallel Program.	2016	DBLP DOI BibTeX RDF
22	Ayaz ul Hassan Khan, Mayez Al-Mouhamed, Allam Fatayer, Nazeeruddin Mohammad	Erratum to: Optimizing the Matrix Multiplication Using Strassen and Winograd Algorithms with Limited Recursions on Many-Core.	Int. J. Parallel Program.	2016	DBLP DOI BibTeX RDF
22	Lulu Wang 0001, Bixin Li, Hareton Leung	A new method to encode calling contexts with recursions.	Sci. China Inf. Sci.	2016	DBLP DOI BibTeX RDF
22	Matthew C. Russell	Noncommutative recursions and the Laurent phenomenon.	Adv. Appl. Math.	2015	DBLP DOI BibTeX RDF
22	Pavel A. Akimov, Alexander I. Matasov	Weight and Time Recursions in Dynamic State Estimation Problem With Mixed-Norm Cost Function.	IEEE Trans. Autom. Control.	2015	DBLP DOI BibTeX RDF
22	László Mérai	Pseudorandomness of binary sequences derived from linear recursions.	Period. Math. Hung.	2015	DBLP DOI BibTeX RDF
22	Ningyuan Chen, Mariana Olvera-Cravioto	Efficient simulation for branching linear recursions.	WSC	2015	DBLP DOI BibTeX RDF
22	Piotr Derugo	Single node recursions in Adaptive Neuro-Fuzzy Controller.	CYBCONF	2015	DBLP DOI BibTeX RDF
22	Abraham Isgur, Vitaly Kuznetsov, Mustazee Rahman, Stephen M. Tanny	Nested Recursions, Simultaneous Parameters and Tree Superpositions.	Electron. J. Comb.	2014	DBLP DOI BibTeX RDF
22	Cécile Hardouin, Xavier Guyon	Recursions on the marginals and exact computation of the normalizing constant for Gibbs processes.	Comput. Stat.	2014	DBLP DOI BibTeX RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions.	IEEE Trans. Inf. Theory	2014	DBLP DOI BibTeX RDF
22	Tobias Lutz	Recursions for the trapdoor channel and an upper bound on its capacity.	ISIT	2014	DBLP DOI BibTeX RDF
22	Fatemeh Sadat Hashemi, Soumyadip Ghosh, Raghu Pasupathy	On adaptive sampling rules for stochastic recursions.	WSC	2014	DBLP DOI BibTeX RDF
22	Balázs Kósa	Structural Recursions on Edge-Labelled Graphs		2014	RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions.	CoRR	2013	DBLP BibTeX RDF
22	Abraham Isgur, Vitaly Kuznetsov, Mustazee Rahman, Stephen M. Tanny	Nested Recursions, Simultaneous Parameters and Tree Superpositions	CoRR	2013	DBLP BibTeX RDF
22	Ricardo Merched	A Unified Approach to Structured Covariances: Fast Generalized Sliding Window RLS Recursions for Arbitrary Basis.	IEEE Trans. Signal Process.	2013	DBLP DOI BibTeX RDF
22	Laszlo Hars, Gyorgy Petruska	Pseudorandom recursions II.	EURASIP J. Embed. Syst.	2012	DBLP DOI BibTeX RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A Simple Proof of Threshold Saturation for Coupled Vector Recursions	CoRR	2012	DBLP BibTeX RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A Simple Proof of Threshold Saturation for Coupled Scalar Recursions	CoRR	2012	DBLP BibTeX RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A simple proof of threshold saturation for coupled vector recursions.	ITW	2012	DBLP DOI BibTeX RDF
22	Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister	A simple proof of threshold saturation for coupled scalar recursions.	ISTC	2012	DBLP DOI BibTeX RDF
22	Abraham Isgur, Mustazee Rahman	On Variants of Conway and Conolly's Meta-Fibonacci Recursions.	Electron. J. Comb.	2011	DBLP DOI BibTeX RDF
22	Nicholas A. Loehr, Elizabeth M. Niese	Recursions and divisibility properties for combinatorial Macdonald polynomials.	Discret. Math. Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
22	Arash Ghasemmehdi, Erik Agrell	Faster Recursions in Sphere Decoding.	IEEE Trans. Inf. Theory	2011	DBLP DOI BibTeX RDF
22	Diana Hay, Reza Rastegar, Alexander Roitershtein	Multivariate linear recursions with Markov-dependent coefficients.	J. Multivar. Anal.	2011	DBLP DOI BibTeX RDF
22	Ricardo Merched	Fast generalized sliding window RLS recursions for IIR recurrence related basis functions.	DSP	2011	DBLP DOI BibTeX RDF
22	Balázs Kósa, András A. Benczúr, Attila Kiss 0001	Satisfiability and Containment Problem of Structural Recursions with Conditions.	ADBIS	2010	DBLP DOI BibTeX RDF
22	R. Daniel Mauldin, Alexander P. McLinden	Random closed sets viewed as random recursions.	Arch. Math. Log.	2009	DBLP DOI BibTeX RDF
22	Massoud Hadian Dehkordi, Samaneh Mashhadi	Verifiable secret sharing schemes based on non-homogeneous linear recursions and elliptic curves.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
22	Alfredo Deaño, Javier Segura 0001, Nico M. Temme	Identifying minimal and dominant solutions for Kummer recursions.	Math. Comput.	2008	DBLP DOI BibTeX RDF
22	Laszlo Hars, Gyorgy Petruska	Pseudorandom Recursions: Small and Fast Pseudorandom Number Generators for Embedded Applications.	EURASIP J. Embed. Syst.	2007	DBLP DOI BibTeX RDF
22	Norman Danner, James S. Royer	Time-complexity semantics for feasible affine recursions (extended abstract)	CoRR	2007	DBLP BibTeX RDF