Search results for "recursively"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Artiom Alhazov, Rudolf Freund, Agustin Riscos-Núñez	One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems.	SYNASC	2005	DBLP DOI BibTeX RDF
47	Kohtaro Tadaki	Partial Randomness and Dimension of Recursively Enumerable Reals.	MFCS	2009	DBLP DOI BibTeX RDF	recursively enumerable real, partial randomness, Chaitin ? number, program-size complexity, universal probability, dimension, algorithmic randomness
40	Annette Lagman, Walid A. Najjar, Pradip K. Srimani	An Analysis of Edge Fault Tolerance in Recursively Decomposable Regular Networks.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	edge fault tolerance, recursively decomposable, edge failures, fault tolerance measures, restricted resilience, probabilistic fault tolerance measures, reliability, interconnection networks, fault tolerant computing, multiprocessor interconnection networks, network topology, network topologies, resilience, topological properties, regular networks, probabilistic measures, large scale multiprocessor
38	Peter Z. Revesz, Shasha Wu	Visualization of Recursively Defined Concepts.	IV	2004	DBLP DOI BibTeX RDF
38	Henning Bordihn, Jürgen Dassow, György Vaszil	Grammar Systems as Language Analyzers and Recursively Enumerable Languages.	FCT	1999	DBLP DOI BibTeX RDF
38	Jan A. Bergstra, Jan Willem Klop	The Algebra of Recursively Defined Processes and the Algebra of Regular Processes.	ICALP	1984	DBLP DOI BibTeX RDF
37	Kaoru Onodera, Takashi Yokomori	Doubler and linearizer: an approach toward a unified theory for molecular computing based on DNA complementarity.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Molecular language, Sticker system, Watson-Crick finite automaton, Mapping, Recursively enumerable language
35	Sanjay Jain 0001, Frank Stephan 0001, Nan Ye	Prescribed Learning of R.E. Classes.	ALT	2007	DBLP DOI BibTeX RDF
33	Manuel Lerman	Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets.	Math. Log. Q.	1991	DBLP DOI BibTeX RDF
31	Chao-Tung Yang, Ming-Feng Yang, Lung-Hsing Cheng, Wen-Chung Chiang	Enhancement of Anticipative Recursively-Adjusting Mechanism for Redundant Parallel File Transfer in Data Grids.	ICPADS	2008	DBLP DOI BibTeX RDF
31	Rolf Niedermeier	Recursively Divisible Problems.	ISAAC	1996	DBLP DOI BibTeX RDF
31	Mario Coppo	A Completeness Theorem for Recursively Defined Types.	ICALP	1985	DBLP DOI BibTeX RDF
31	Franz-Josef Brandenburg	A Truely Morphic Characterization of Recursively Enumerable Sets.	MFCS	1984	DBLP DOI BibTeX RDF
31	Derek C. Oppen	Reasoning about Recursively Defined Data Structures.	POPL	1978	DBLP DOI BibTeX RDF
30	Yongming Li 0001	Approximation and universality of fuzzy Turing machines.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	fuzzy Turing machine, fuzzy recursively enumerable language, fuzzy recursive language, universal fuzzy Turing machine, fuzzy algorithm
30	Chantal Berline, Giulio Manzonetto, Antonino Salibra	Lambda Theories of Effective Lambda Models.	CSL	2007	DBLP DOI BibTeX RDF	Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models
30	Rudolf Freund, Andrei Paun	P systems with active membranes and without polarizations.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Membrane polarization, Membrane computing, Recursively enumerable language
30	Daniela Besozzi, Erzsébet Csuhaj-Varjú, Giancarlo Mauri, Claudio Zandron	On the power and size of extended gemmating P systems.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Gemmation, Geffert Normal Form, Membrane Computing, Recursively Enumerable Language
30	Arthur Charlesworth	The undecidability of associativity and commutativity analysis.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive
30	Juan Castellanos, Gheorghe Paun, Alfonso Rodríguez-Patón	Computing with Membranes: P Systems with Worm-Objects.	SPIRE	2000	DBLP DOI BibTeX RDF	worm-objects, string multisets, output membrane, recursively enumerable sets, quadratic time, membrane division, computational complexity, directed graph, NP-complete problem, symbols, P systems, linear time, SAT problem, Hamiltonian Path Problem, polynomial solution
30	Hui-Ling Huang, Gen-Huey Chen	Shortest-path routing algorithm and topological properties for two-level hypernet networks.	ISPAN	1996	DBLP DOI BibTeX RDF	hypernet, recursively scalable networks, parallel architectures, connectivity, multiprocessor interconnection networks, embedding, diameter, shortest-path routing, topological properties
30	Scott A. Moore	A communication framework for applications.	HICSS (3)	1995	DBLP DOI BibTeX RDF	communication framework, recursively defined language, message interpretation scheme, discourse management information, general planning language, automated message management, Petri nets, Petri nets, applications, formal languages, speech act theory, electronic messaging
30	Ravi S. Sandhu	Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	immediacy, N-tree hierarchy, protection groups, subgroup relation, inverted rooted trees, access control, data structures, refinement, trees (mathematics), recursively, security of data, set theory, granularity, partial order, multi-access systems, linear orderings, integers
28	Gheorghe Paun	(DNA) computing by carving.	Soft Comput.	1999	DBLP DOI BibTeX RDF	Chomskyhierarchy, approximation of languages, DNA computing, complementation
28	James I. Lathrop, Jack H. Lutz	Recursive Computational Depth.	ICALP	1997	DBLP DOI BibTeX RDF
24	Richard B. Borie, R. Gary Parker, Craig A. Tovey	Solving problems on recursively constructed graphs.	ACM Comput. Surv.	2008	DBLP DOI BibTeX RDF	Halin graph, branchwidth, cliquewidth, cutwidth, rankwidth, series parallel, dynamic programming, tree, Bandwidth, treewidth, cograph, pathwidth
24	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A Coinduction Rule for Entailment of Recursively Defined Properties.	CP	2008	DBLP DOI BibTeX RDF
24	Chao-Tung Yang, Yao-Chun Chi, Tsu-Fen Han, Ching-Hsien Hsu	Redundant Parallel File Transfer with Anticipative Recursively-Adjusting Scheme in Data Grids.	ICA3PP	2007	DBLP DOI BibTeX RDF
24	Sebastien Ambellouis, François Cabestaing, Jack-Gérard Postaire	Velocity selective filters recursively implemented in the spatiotemporal domain.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
24	Juha Kortelainen	Polynomial Generators of Recursively Enumerable Languages.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
24	Bella V. Rozenblat	On Recursively Enumerable Subsets of N and Rees Matrix Semigroups over (Z3 ; + ).	FCT	2001	DBLP DOI BibTeX RDF
24	Toshiyasu Arai	Ordinal diagrams for recursively Mahlo universes.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03F15
24	Klaus Weihrauch, Xizhong Zheng	A Finite Hierarchy of the Recursively Enumerable Real Numbers.	MFCS	1998	DBLP DOI BibTeX RDF
24	Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang	Recursively Enumerable Reals and Chaitin Omega Numbers.	STACS	1998	DBLP DOI BibTeX RDF
24	A. A. Ball, D. J. T. Storry	An investigation of curvature variations over recursively generated B-spline surfaces.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF	non-rectangular topologies, discrete Fourier transform
24	Ron van der Meyden	Recursively Indefinite Databases.	ICDT	1990	DBLP DOI BibTeX RDF
24	A. A. Ball, D. J. T. Storry	Conditions for tangent plane continuity over recursively generated B-spline surfaces.	ACM Trans. Graph.	1988	DBLP DOI BibTeX RDF
24	Volker Weispfenning	Diamond Formulas in the Dynamic Logic of Recursively Enumerable Programs.	CADE	1986	DBLP DOI BibTeX RDF
23	Erzsébet Csuhaj-Varjú, Carlos Martín-Vide, Gheorghe Paun, Arto Salomaa	From Watson-Crick L systems to Darwinian P systems.	Nat. Comput.	2003	DBLP DOI BibTeX RDF	Watson-Crick complementarity, L system, membrane computing, P system, recursively enumerable language
23	Xizhong Zheng, Klaus Weihrauch	The Arithmetical Hierarchy of Real Numbers.	MFCS	1999	DBLP DOI BibTeX RDF	Recursively Approximable Real Number, Real Numbers, Arithmetical Hierarchy
23	Johann Eder	Extending SQL with General Transitive Closure and Extreme Value Selections.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	general transitive closure, recursive query processing applications, general recursive capabilities, existing query languages, database language SQL, view definition mechanism, extreme value sections, special constructs, maximal values, recursively defined views, nonlinear recursion, standards, database management systems, query languages, attributes, information retrieval systems, tuples, recursive structures
23	Anne Condon, Richard J. Lipton	On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language
21	Makoto Tatsuta	Types for Hereditary Permutators.	LICS	2008	DBLP DOI BibTeX RDF	hereditary permutator, infinite lambda-calculus, stream type, intersection type
21	Tero Harju, Maurice Margenstern	Splicing Systems for Universal Turing Machines.	DNA	2004	DBLP DOI BibTeX RDF
21	Iain A. Stewart	Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws.	COCOON	2001	DBLP DOI BibTeX RDF
21	Hui Tian, Thambipillai Srikanthan, Vijayan K. Asari	A Recursive Otsu-Iris Filter Technique for High-Speed Detection of Lumen Region from Endoscopic Images.	AIPR	2001	DBLP DOI BibTeX RDF	Recursive Otsu-Iris filter, APT-Iris filter, Parallel processing, ROI
21	Eiju Hirowatari, Setsuo Arikawa	A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions.	ALT	1998	DBLP DOI BibTeX RDF
21	Léa Meyer	Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints.	ALT	1998	DBLP DOI BibTeX RDF
21	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
21	Vasco Brattka, Klaus Weihrauch, Xizhong Zheng	Approaches to Effective Semi-continuity of Real Functions.	COCOON	1998	DBLP DOI BibTeX RDF
21	Andrea Sattler-Klein	Infinite, Canonical String Rewriting Systems Generated by Completion.	LPAR	1992	DBLP DOI BibTeX RDF
21	Rusins Freivalds, Janis Barzdins, Karlis Podnieks	Inductive Inference of Recursive Functions: Complexity Bounds.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
21	Lenhart K. Schubert	Iterated Limiting Recursion and the Program Minimization Problem.	J. ACM	1974	DBLP DOI BibTeX RDF
17	Danimir T. Doncevic, Alexander Mitsos, Yue Guo, Qianxiao Li, Felix Dietrich, Manuel Dahmen, Ioannis G. Kevrekidis	A Recursively Recurrent Neural Network (R2N2) Architecture for Learning Iterative Algorithms.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
17	Anna-Maurin Graner, Gohar M. Kyureghyan	Constructing irreducible polynomials recursively with a reverse composition method.	Des. Codes Cryptogr.	2024	DBLP DOI BibTeX RDF
17	Christoph Mark, Steven Liu	Recursively Feasible Data-Driven Distributionally Robust Model Predictive Control With Additive Disturbances.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
17	Dylan Molinié, Kurosh Madani, Véronique Amarger, Abdennasser Chebira	Identifying the Regions of a Space with the Self-Parameterized Recursively Assessed Decomposition Algorithm (SPRADA).	Mach. Learn. Knowl. Extr.	2023	DBLP DOI BibTeX RDF
17	B. Padmavathi, B. Muthukumar	A deep recursively learning LSTM model to improve cyber security botnet attack intrusion detection.	Int. J. Model. Simul. Sci. Comput.	2023	DBLP DOI BibTeX RDF
17	Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer	Can Transformers Learn to Solve Problems Recursively?	CoRR	2023	DBLP DOI BibTeX RDF
17	Eric Zelikman, Eliana Lorch, Lester Mackey, Adam Tauman Kalai	Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation.	CoRR	2023	DBLP DOI BibTeX RDF
17	Xiang Hu, Qingyang Zhu, Kewei Tu, Wei Wu	Augmenting transformers with recursively composed multi-grained representations.	CoRR	2023	DBLP DOI BibTeX RDF
17	Qi Heng Ho, Tyler J. Becker, Benjamin Kraske, Zakariya Laouar, Martin Feather, Federico Rossi, Morteza Lahijanian, Zachary N. Sunberg	Recursively-Constrained Partially Observable Markov Decision Processes.	CoRR	2023	DBLP DOI BibTeX RDF
17	Qingyue Wang, Liang Ding 0006, Yanan Cao, Zhiliang Tian, Shi Wang, Dacheng Tao, Li Guo	Recursively Summarizing Enables Long-Term Dialogue Memory in Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
17	Raymond Fok, Joseph Chee Chang, Tal August, Amy X. Zhang, Daniel S. Weld	Qlarify: Bridging Scholarly Abstracts and Papers with Recursively Expandable Summaries.	CoRR	2023	DBLP DOI BibTeX RDF
17	Oliver Serang	Median of heaps: linear-time selection by recursively constructing binary heaps.	CoRR	2023	DBLP DOI BibTeX RDF
17	Hoontaek Oh, Jerry D. Gibson	Recursively Adaptive Randomized MultiTree Coding for First Responder Voice Communications.	VCC	2023	DBLP DOI BibTeX RDF
17	David Winderl, Qunsheng Huang, Christian B. Mendl	A Recursively Partitioned Approach to Architecture-Aware ZX Polynomial Synthesis and Optimization.	QCE	2023	DBLP DOI BibTeX RDF
17	Yehia Abdelsalam, Sankaranarayanan Subramanian, Sebastian Engell	Synthesis of Computationally Efficient Recursively Feasible Multi-Stage Predictive Controllers for Uncertain Linear Systems.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Johannes Köhler, Melanie N. Zeilinger	Recursively Feasible Stochastic Predictive Control Using an Interpolating Initial State Constraint.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
17	Lloyd Allison	Applications of Recursively Defined Data Structures.	CoRR	2022	DBLP DOI BibTeX RDF
17	Andrew Kyle Lampinen	Can language models handle recursively nested grammatical structures? A case study on comparing models and humans.	CoRR	2022	DBLP DOI BibTeX RDF
17	Danimir T. Doncevic, Alexander Mitsos, Yue Guo, Qianxiao Li, Felix Dietrich, Manuel Dahmen, Ioannis G. Kevrekidis	A Recursively Recurrent Neural Network (R2N2) Architecture for Learning Iterative Algorithms.	CoRR	2022	DBLP DOI BibTeX RDF
17	Alexander Panaetov, Karim Elhadji Daou, Igor Samenko, Evgeny Tetin, Ilya Ivanov	RDRN: Recursively Defined Residual Network for Image Super-Resolution.	CoRR	2022	DBLP DOI BibTeX RDF
17	Johannes Köhler, Melanie N. Zeilinger	Recursively feasible stochastic predictive control using an interpolating initial state constraint - extended version.	CoRR	2022	DBLP DOI BibTeX RDF
17	Adityanarayanan Radhakrishnan, Daniel Beaglehole, Parthe Pandit, Mikhail Belkin	Feature learning in neural networks and kernel machines that recursively learn features.	CoRR	2022	DBLP DOI BibTeX RDF
17	Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong	Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize.	CoRR	2022	DBLP DOI BibTeX RDF
17	Bernhard Heim, Markus Neuhauser	Asymptotic distribution of the zeros of recursively defined non-orthogonal polynomials.	J. Approx. Theory	2022	DBLP DOI BibTeX RDF
17	Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan	Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
17	Bin Jiang 0004, Chris A. de Rijke	Representing geographic space as a hierarchy of recursively defined subspaces for computing the degree of order.	Comput. Environ. Urban Syst.	2022	DBLP DOI BibTeX RDF
17	Jonas Gruner, Niklas Schmid, Georg Männel, Jan Grasshoff, Hossam S. Abbas, Philipp Rostalski	Recursively Feasible Model Predictive Control using Latent Force Models Applied to Disturbed Quadcopters.	CDC	2022	DBLP DOI BibTeX RDF
17	Carol Sebastian Bontas, Ioan-Mihail Stan, Razvan Rughinis	Honeypot Generator using Software Defined Networks and Recursively Defined Topologies.	RoEduNet	2022	DBLP DOI BibTeX RDF
17	Andreas Madsen, Nicholas Meade, Vaibhav Adlakha, Siva Reddy	Evaluating the Faithfulness of Importance Measures in NLP by Recursively Masking Allegedly Important Tokens and Retraining.	EMNLP (Findings)	2022	DBLP DOI BibTeX RDF
17	Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong	Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize.	NeurIPS	2022	DBLP BibTeX RDF
17	Alexander Panaetov, Karim Elhadji Daou, Igor Samenko, Evgeny Tetin, Ilya Ivanov	RDRN: Recursively Defined Residual Network for Image Super-Resolution.	ACCV (2)	2022	DBLP DOI BibTeX RDF
17	Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Sri Aravinda Krishnan Thyagarajan	Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable - (Extended Abstract).	CRYPTO (2)	2022	DBLP DOI BibTeX RDF
17	David Grethlein	Extracting Sections of Simulated Driving Routes that Elicit Driving Responses Predictive of ADHD via Recursively Constructed Ensembles.	FLAIRS	2022	DBLP DOI BibTeX RDF
17	Jung-hyun Seo, Hyeong-Ok Lee	Recursively Divided Pancake Graphs with a Small Network Cost.	Symmetry	2021	DBLP DOI BibTeX RDF
17	Torbjörn Wigren	Recursively Filtered MIMO Transmission With Quadratic Complexity.	IEEE Wirel. Commun. Lett.	2021	DBLP DOI BibTeX RDF
17	Liling Ko	Towards Finding a Lattice that Characterizes the > ω2 -Fickle Recursively Enumerable Turing Degrees.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
17	Frank Gurski, Dominique Komander, Marvin Lindemann	Efficient computation of the oriented chromatic number of recursively defined digraphs.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Andreas Madsen, Nicholas Meade, Vaibhav Adlakha, Siva Reddy	Evaluating the Faithfulness of Importance Measures in NLP by Recursively Masking Allegedly Important Tokens and Retraining.	CoRR	2021	DBLP BibTeX RDF
17	Jae-Hong Lee, Joon-Hyuk Chang	Attribution Mask: Filtering Out Irrelevant Features By Recursively Focusing Attention on Inputs of DNNs.	CoRR	2021	DBLP BibTeX RDF
17	Leonardo Rossi, Akbar Karimi 0001, Andrea Prati 0001	Recursively Refined R-CNN: Instance Segmentation with Self-RoI Rebalancing.	CoRR	2021	DBLP BibTeX RDF
17	Jeff Wu 0003, Long Ouyang, Daniel M. Ziegler, Nisan Stiennon, Ryan Lowe, Jan Leike, Paul F. Christiano	Recursively Summarizing Books with Human Feedback.	CoRR	2021	DBLP BibTeX RDF
17	Xiaofeng Liu 0001, Site Li, Yubin Ge, Pengyi Ye, Jane You, Jun Lu	Recursively Conditional Gaussian for Ordinal Unsupervised Domain Adaptation.	CoRR	2021	DBLP BibTeX RDF
17	Inkyu Jang, Dongjae Lee, Seungjae Lee 0002, H. Jin Kim	Robust and Recursively Feasible Real-Time Trajectory Planning in Unknown Environments.	CoRR	2021	DBLP BibTeX RDF
17	DongHyun Choi, Myeongcheol Shin, EungGyun Kim, Dong Ryeol Shin	RYANSQL: Recursively Applying Sketch-based Slot Fillings for Complex Text-to-SQL in Cross-Domain Databases.	Comput. Linguistics	2021	DBLP DOI BibTeX RDF
17	Xiaofeng Liu 0001, Site Li, Yubin Ge, Pengyi Ye, Jane You, Jun Lu	Recursively Conditional Gaussian for Ordinal Unsupervised Domain Adaptation.	ICCV	2021	DBLP DOI BibTeX RDF
17	Ettore Randazzo, Luca Versari, Alexander Mordvintsev	Recursively Fertile Self-replicating Neural Agents.	ALIFE	2021	DBLP DOI BibTeX RDF
17	Inkyu Jang, Dongjae Lee, Seungjae Lee 0001, H. Jin Kim	Robust and Recursively Feasible Real-Time Trajectory Planning in Unknown Environments.	IROS	2021	DBLP DOI BibTeX RDF