Search results for "successor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Don Morrison	Maps and descendant husband trees (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
57	Jorge Arturo Cobb	Convergent Multi-Path Routing.	ICNP	2000	DBLP DOI BibTeX RDF	convergent multi-path routing, successor set, acyclic graph, destination graph, spanning graph, normal operating state, routing spanning tree, protocols, graph theory, routing protocol, telecommunication network routing, transient faults, communication channels, network process
51	Benjamin Rossman	Successor-Invariance in the Finite.	LICS	2003	DBLP DOI BibTeX RDF
51	Tsozen Yeh, Darrell D. E. Long, Scott A. Brandt	Performing File Prediction with a Program-Based Successor Model.	MASCOTS	2001	DBLP DOI BibTeX RDF
46	Felix Klaedtke	Decision Procedure for an Extension of WS1S.	CSL	2001	DBLP DOI BibTeX RDF	word languages, weak monadic second-order logic of one successor, WS1S, tree automata
42	Zhenyu Li 0001, Zengyang Zhu, Gaogang Xie, Zhongcheng Li	RLM: Reliable and Locality-Aware Membership Protocol for Heterogeneous P2P Systems.	ICC	2008	DBLP DOI BibTeX RDF
40	Chih-Chiang Yu, Wing-Kai Hon, Biing-Feng Wang	Efficient Data Structures for the Orthogonal Range Successor Problem.	COCOON	2009	DBLP DOI BibTeX RDF	algorithms, data structures, indexes, range searching
40	Christiane Frougny	On the Successor Function in Non-Classical Numeration Systems.	STACS	1996	DBLP DOI BibTeX RDF
38	Kianté Brantley, Soroush Mehri, Geoffrey J. Gordon	Successor Feature Sets: Generalizing Successor Representations Across Policies.	CoRR	2021	DBLP BibTeX RDF
38	Kianté Brantley, Soroush Mehri, Geoffrey J. Gordon	Successor Feature Sets: Generalizing Successor Representations Across Policies.	AAAI	2021	DBLP DOI BibTeX RDF
38	Amaldev Manuel, Thomas Schwentick, Thomas Zeume	A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.	CoRR	2013	DBLP BibTeX RDF
36	Hui Wu 0001, Joxan Jaffar	Two processor scheduling with real release times and deadlines.	SPAA	2002	DBLP DOI BibTeX RDF	release time and deadline, successor-tree-consistency, task scheduling, feasible schedule
36	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
32	James Aspnes, Yinghua Wu	O(logn)-Time Overlay Network Construction from Graphs with Out-Degree 1.	OPODIS	2007	DBLP DOI BibTeX RDF	balanced search tree, fault tolerance, pipeline, Overlay network, self-stabilizing, randomization
32	Paul Benioff	The Representation of Numbers in Quantum Mechanics.	Algorithmica	2002	DBLP DOI BibTeX RDF
32	Ganapathy Kasturirangan, Michael S. Hsiao	Spectrum-Based BIST in Complex SOCs.	VTS	2002	DBLP DOI BibTeX RDF
32	Tom M. Kroeger, Darrell D. E. Long	The Case for Efficient File Access Pattern Modeling.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	file prediction, file access patterns, efficient prediction, filesystem
30	Scott Buffett	Abductive Workflow Mining Using Binary Resolution on Task Successor Rules.	RuleML	2008	DBLP DOI BibTeX RDF
30	Angelo Montanari, Alberto Policriti, Nicola Vitacolonna	An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.	LPAR	2005	DBLP DOI BibTeX RDF
30	Michael Thielscher	Towards State Update Axioms: Reifying Successor State Axioms.	JELIA	1998	DBLP DOI BibTeX RDF
25	Eren Esgin, Pinar Senkul	A Hybrid Approach to Process Mining: Finding Immediate Successors of a Process by Using From-To Chart.	ICMLA	2009	DBLP DOI BibTeX RDF	From-to Chart, Immediate Successor, Process Mining, Event Logs, Process Discovery
25	Matthias Baaz, Georg Moser	Herbrand's theorem and term induction.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs
25	Craig A. N. Soules, Gregory R. Ganger	Connections: using context to enhance file search.	SOSP	2005	DBLP DOI BibTeX RDF	file system search, successor models, context
25	Tzer-Shyong Chen, Kuo-Hsuan Huang, Yu-Fang Chung	Modified Cryptographic Key Assignment Scheme for Overcoming the Incorrectness of the CHW Scheme.	EEE	2004	DBLP DOI BibTeX RDF	Cryptographic key assignment scheme, predecessor, successor, user hierarchy, partial order set
25	Christian S. Jensen, Richard T. Snodgrass	Temporal Specialization and Generalization.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	temporal specialization, temporal generalization, specialized temporal relations, time attributes, restricted interrelationships, interconnected temporal relations, multiple time dimensions, generalized temporal relations, predecessor relation querying, successor relation, query processing performance, data structures, semantics, query processing, taxonomy, transaction processing, database theory, temporal databases, temporal database, generalisation (artificial intelligence), tuples, transaction time, valid time, temporal data models, temporal semantics
25	Sung Je Hong	Existence Algorithms for Synchronizing/Distinguishing Sequences.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	tree method, existence algorithm, successor tree, finite-state machine, Distinguishing sequence, synchronizing sequence, state-identification
21	Guobo Li, Songwen Pei, Gang Chen 0012, Wenjun Cao, Baifeng Wu	A self-embedded watermarking scheme based on relationship function of corresponding inter-blocks DCT coefficient.	CSCWD	2009	DBLP DOI BibTeX RDF
21	Hans-Jürgen Siegert	AEG-Telefunken TR 440: Software und Software-Entwicklung.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	TR440 computer, Telefunken, German computer industry, Software, History, Software management
21	Robert H. Sloan	The joys of being an NSF program director.	SIGACT News	2007	DBLP DOI BibTeX RDF
21	Jorge Arturo Cobb	Stabilization of Loop-Free Redundant Routing.	SSS	2007	DBLP DOI BibTeX RDF
21	Tal Lev-Ami, Neil Immerman, Shmuel Sagiv	Abstraction for Shape Analysis with Fast and Precise Transformers.	CAV	2006	DBLP DOI BibTeX RDF
21	Jaime H. Moreno	Chip-level integration: the new frontier for microprocessor architecture.	SPAA	2006	DBLP DOI BibTeX RDF	chip-level integration, microprocessor architecture
21	Hari Rangarajan, J. J. Garcia-Luna-Aceves	Efficient Use of Route Requests for Loop-Free On-demand Routing in Ad Hoc Networks.	NETWORKING	2005	DBLP DOI BibTeX RDF
21	Mohamed M. Zahran, Manoj Franklin	Dynamic Thread Resizing for Speculative Multithreaded Processors.	ICCD	2003	DBLP DOI BibTeX RDF
21	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	TIME	2003	DBLP DOI BibTeX RDF
21	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng	Partial Order Path Technique for Checking Parallel Timed Automata.	FTRTFT	2002	DBLP DOI BibTeX RDF
21	Wolfgang Merkle, Frank Stephan 0001	Refuting Learning Revisited.	ALT	2001	DBLP DOI BibTeX RDF
21	Ahmed Amer, Darrell D. E. Long	Dynamic Relationships and the Persistence of Pairings.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
21	Thomas Eiter, Yuri Gurevich, Georg Gottlob	Existential second-order logic over strings.	J. ACM	2000	DBLP DOI BibTeX RDF	S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
21	Artur Chojnacki, Lech Józwiak	Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures.	ISMVL	2000	DBLP DOI BibTeX RDF
21	Leonid Libkin, Limsoon Wong	Unary Quantifiers, Transitive Closure, and Relations of Large Degree.	STACS	1998	DBLP DOI BibTeX RDF
21	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Applying Formal Methods to Semantic-Based Decomposition of Transactions.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	concurrency control, database management systems, transaction processing
21	Shaul Dar, Raghu Ramakrishnan 0001	A Performance Study of Transitive Closure Algorithms.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
21	Erich Grädel	The Expressive Power of Second Order Horn Logic.	STACS	1991	DBLP DOI BibTeX RDF
21	Ana Pasztor	Does "N+1 Times" Prove More Programs Correct Than "N Times"?	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
21	Rudolf Berghammer, Herbert Ehler, Hans Zierer 0001	Development of Several Reachability Algorithms for Directed Graphs.	WG	1987	DBLP DOI BibTeX RDF
21	Dieter Spreen	On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations.	CSL	1987	DBLP DOI BibTeX RDF
19	Kexin Tang, Nuowen Kan, Yuankun Jiang, Chenglin Li, Wenrui Dai, Junni Zou, Hongkai Xiong	Successor Feature-Based Transfer Reinforcement Learning for Video Rate Adaptation With Heterogeneous QoE Preferences.	IEEE Trans. Multim.	2024	DBLP DOI BibTeX RDF
19	Luca Grillotti, Maxence Faldor, Borja G. León, Antoine Cully	Quality-Diversity Actor-Critic: Learning High-Performing and Diverse Behaviors via Value and Successor Features Critics.	CoRR	2024	DBLP DOI BibTeX RDF
19	Paul Stoewer, Achim Schilling, Andreas K. Maier, Patrick Krauss	Multi-Modal Cognitive Maps based on Neural Networks trained on Successor Representations.	CoRR	2024	DBLP DOI BibTeX RDF
19	Harley Wiltzer, Jesse Farebrother, Arthur Gretton, Yunhao Tang, André Barreto 0001, Will Dabney, Marc G. Bellemare, Mark Rowland	A Distributional Analogue to the Successor Representation.	CoRR	2024	DBLP DOI BibTeX RDF
19	Sven Wientjes, Clay B. Holroyd	The successor representation subserves hierarchical abstraction for goal-directed behavior.	PLoS Comput. Biol.	2024	DBLP DOI BibTeX RDF
19	Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn	Robust Successor and Precursor Sets of Hybrid Systems Using Hybrid Zonotopes.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
19	Marlos C. Machado, André Barreto 0001, Doina Precup, Michael Bowling	Temporal Abstraction in Reinforcement Learning with the Successor Representation.	J. Mach. Learn. Res.	2023	DBLP BibTeX RDF
19	Saqib Mazher Qurashi, Bander N. Almutairi, Rani Sumaira Kanwal, Mladen Krstic, Muhammad Yousaf	Rough Substructures Based on Overlaps of Successor in Quantales Under Serial Fuzzy Relations.	IEEE Access	2023	DBLP DOI BibTeX RDF
19	Sean Cox 0001, Monroe Eskew	Compactness versus hugeness at successor cardinals.	J. Math. Log.	2023	DBLP DOI BibTeX RDF
19	Xiaoyun Feng, Yun Zhou	Multigoal Reinforcement Learning via Exploring Entropy-Regularized Successor Matching.	IEEE Trans. Games	2023	DBLP DOI BibTeX RDF
19	Parvin Malekzadeh, Ming Hou 0002, Konstantinos N. Plataniotis	Uncertainty-aware transfer across tasks using hybrid model-based successor feature reinforcement learning☆.	Neurocomputing	2023	DBLP DOI BibTeX RDF
19	Rhys Gould, Euan Ong, George Ogden, Arthur Conmy	Successor Heads: Recurring, Interpretable Attention Heads In The Wild.	CoRR	2023	DBLP DOI BibTeX RDF
19	Meng Cao, Mehdi Fatemi, Jackie Chi Kit Cheung, Samira Shabanian	Successor Features for Efficient Multisubject Controlled Text Generation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Changmin Yu, Neil Burgess, Maneesh Sahani, Sam Gershman	Successor-Predecessor Intrinsic Exploration.	CoRR	2023	DBLP DOI BibTeX RDF
19	Martin Balko, David Chodounský, Natasha Dobrinen, Jan Hubicka, Matej Konecný, Jaroslav Nesetril, Andy Zucker	Ramsey theorem for trees with successor operation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Parvin Malekzadeh, Ming Hou 0002, Konstantinos N. Plataniotis	Uncertainty-aware transfer across tasks using hybrid model-based successor feature reinforcement learning.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yu Tang Liu, Aamir Ahmad	Multi-Task Reinforcement Learning in Continuous Control with Successor Feature-Based Concurrent Composition.	CoRR	2023	DBLP DOI BibTeX RDF
19	Peng Ye, Yongqi Huang, Chongjun Tu, Minglei Li, Tao Chen, Tong He 0001, Wanli Ouyang	Partial Fine-Tuning: A Successor to Full Fine-Tuning for Vision Transformers.	CoRR	2023	DBLP DOI BibTeX RDF
19	Yutao Sun, Li Dong 0004, Shaohan Huang, Shuming Ma, Yuqing Xia, Jilong Xue, Jianyong Wang, Furu Wei	Retentive Network: A Successor to Transformer for Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Wilka Carvalho, Andre Saraiva 0001, Angelos Filos, Andrew Kyle Lampinen, Loic Matthey, Richard L. Lewis, Honglak Lee, Satinder Singh 0001, Danilo J. Rezende, Daniel Zoran	Combining Behaviors with the Successor Features Keyboard.	CoRR	2023	DBLP DOI BibTeX RDF
19	Wilka Carvalho, Angelos Filos, Richard L. Lewis, Honglak Lee, Satinder Singh 0001	Composing Task Knowledge with Modular Successor Feature Approximators.	CoRR	2023	DBLP DOI BibTeX RDF
19	Hyunsu Lee	Robust Decision-Making in Spatial Learning: A Comparative Study of Successor Features and Predecessor Features Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
19	Arnav Kumar Jain, Lucas Lehnert, Irina Rish, Glen Berseth	Maximum State Entropy Exploration using Predecessor and Successor Representations.	CoRR	2023	DBLP DOI BibTeX RDF
19	Gianluca Scarpellini, Ksenia Konyushkova, Claudio Fantacci, Tom Le Paine, Yutian Chen, Misha Denil	π2vec: Policy Representations with Successor Features.	CoRR	2023	DBLP DOI BibTeX RDF
19	Paul Stoewer, Achim Schilling, Andreas K. Maier, Patrick Krauss	Conceptual Cognitive Maps Formation with Neural Successor Networks and Word Embeddings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Evgenii Dzhivelikian, Petr Kuderov, Aleksandr I. Panov	Learning Successor Representations with Distributed Hebbian Temporal Memory.	CoRR	2023	DBLP DOI BibTeX RDF
19	Norman L. Tasfi, Eder Santana, Luisa H. B. Liboni, Miriam A. M. Capretz	Dynamic Successor Features for transfer learning and guided exploration.	Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
19	Ching Ching Fang, Sun-Weng Huang, James Jiann-Haw Liou, Gwo-Hshiung Tzeng	A Model for Successor Selection and Training in the Family-Owned Traditional Manufacturing Businesses: Bi-fuzzy Approaches of Triangular Fuzzy and Single-Valued Neutrosophic Set.	Int. J. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
19	Philipp Hieronymi	Fractals and the monadic second order theory of one successor.	J. Log. Anal.	2023	DBLP BibTeX RDF
19	Zeyu Feng, Bowen Zhang, Jianxin Bi, Harold Soh	Safety-Constrained Policy Transfer with Successor Features.	ICRA	2023	DBLP DOI BibTeX RDF
19	Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn	Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes.	ACC	2023	DBLP DOI BibTeX RDF
19	Paul Stoewer, Achim Schilling, Andreas K. Maier, Patrick Krauss	Conceptual Cognitive Maps Formation with Neural Successor Networks and Word Embeddings.	ICDL	2023	DBLP DOI BibTeX RDF
19	Simon Ståhlberg	Lifted Successor Generation by Maximum Clique Enumeration.	ECAI	2023	DBLP DOI BibTeX RDF
19	Wilka Carvalho, Andre Saraiva 0001, Angelos Filos, Andrew K. Lampinen, Loic Matthey, Richard L. Lewis, Honglak Lee, Satinder Singh 0001, Danilo Jimenez Rezende, Daniel Zoran	Combining Behaviors with the Successor Features Keyboard.	NeurIPS	2023	DBLP BibTeX RDF
19	Changmin Yu, Neil Burgess, Maneesh Sahani, Samuel J. Gershman	Successor-Predecessor Intrinsic Exploration.	NeurIPS	2023	DBLP BibTeX RDF
19	Arnav Kumar Jain, Lucas Lehnert, Irina Rish, Glen Berseth	Maximum State Entropy Exploration using Predecessor and Successor Representations.	NeurIPS	2023	DBLP BibTeX RDF
19	Wilka Carvalho, Angelos Filos, Richard L. Lewis, Honglak Lee, Satinder Singh 0001	Composing Task Knowledge With Modular Successor Feature Approximators.	ICLR	2023	DBLP BibTeX RDF
19	Kiyoshige Garcés, Junyu Xuan, Hua Zuo	Transformed Successor Features for Transfer Reinforcement Learning.	AI (2)	2023	DBLP DOI BibTeX RDF
19	Mark W. Nemecek	Transfer Learning in Value-based Methods with Successor Features.		2023	RDF
19	Kanting Cai, Xiangbin Zhu, Zhao-Long Hu	Black-Box Reward Attacks Against Deep Reinforcement Learning Based on Successor Representation.	IEEE Access	2022	DBLP DOI BibTeX RDF
19	Hyunsu Lee	Toward the biological model of the hippocampus as the successor representation agent.	Biosyst.	2022	DBLP DOI BibTeX RDF
19	Laszlo Szoke, Szilárd Aradi, Tamás Bécsi, Péter Gáspár	Skills to Drive: Successor Features for Autonomous Highway Pilot.	IEEE Trans. Intell. Transp. Syst.	2022	DBLP DOI BibTeX RDF
19	Arthur W. Apter	Controlling the number of normal measures at successor cardinals.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
19	Parvin Malekzadeh, Mohammad Salimibeni, Ming Hou 0002, Arash Mohammadi 0001, Konstantinos N. Plataniotis	AKF-SR: Adaptive Kalman filtering-based successor representation.	Neurocomputing	2022	DBLP DOI BibTeX RDF
19	Parvin Malekzadeh, Mohammad Salimibeni, Ming Hou 0002, Arash Mohammadi 0001, Konstantinos N. Plataniotis	AKF-SR: Adaptive Kalman Filtering-based Successor Representation.	CoRR	2022	DBLP DOI BibTeX RDF
19	Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn	Successor Sets of Discrete-time Nonlinear Systems Using Hybrid Zonotopes.	CoRR	2022	DBLP DOI BibTeX RDF
19	Amnon Attali, Pedro Cisneros-Velarde, Marco Morales 0001, Nancy M. Amato	Discrete State-Action Abstraction via the Successor Representation.	CoRR	2022	DBLP DOI BibTeX RDF
19	Seung Hyun Kim, Neale Van Stralen, Girish Chowdhary 0001, Huy T. Tran	Disentangling Successor Features for Coordination in Multi-agent Reinforcement Learning.	CoRR	2022	DBLP BibTeX RDF
19	Beren Millidge, Christopher L. Buckley	Successor Representation Active Inference.	CoRR	2022	DBLP DOI BibTeX RDF
19	Zeyu Feng, Bowen Zhang, Jianxin Bi, Harold Soh	Safety-Constrained Policy Transfer with Successor Features.	CoRR	2022	DBLP DOI BibTeX RDF
19	Paul Stoewer, Christian Schlieker, Achim Schilling, Claus Metzner, Andreas K. Maier, Patrick Krauss	Neural Network based Successor Representations of Space and Language.	CoRR	2022	DBLP BibTeX RDF
19	Matthew J. Sargent, Peter J. Bentley, Caswell Barry, William de Cothi	Temporally Extended Successor Representations.	CoRR	2022	DBLP DOI BibTeX RDF
19	Martin Balla, Diego Perez Liebana	Task Relabelling for Multi-task Transfer using Successor Features.	CoRR	2022	DBLP DOI BibTeX RDF