Search results for "boundedness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	Mikhail V. Solodov	Global convergence of an SQP method without boundedness assumptions on any of the iterative sequences.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C30, 65K05
69	Martin Otto 0001	The Boundedness Problem for Monadic Universal First-Order Logic.	LICS	2006	DBLP DOI BibTeX RDF
69	Guozhu Dong, Jianwen Su	Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.	ICDT	1995	DBLP DOI BibTeX RDF
59	Huisheng Zhang, Wei Wu 0010	Boundedness and Convergence of Online Gradient Method with Penalty for Linear Output Feedforward Neural Networks.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Linear output, Online gradient method, Convergence, Feedforward neural networks, Boundedness, Penalty
58	Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi 0001, Sander Stuijk	Liveness and Boundedness of Synchronous Data Flow Graphs.	FMCAD	2006	DBLP DOI BibTeX RDF
58	Ke Wang	Some Positive Results for Boundedness of Multiple Recursive Rules.	ICDT	1995	DBLP DOI BibTeX RDF
53	Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi	Treewidth in Verification: Local vs. Global.	LPAR	2005	DBLP DOI BibTeX RDF
53	Peter T. Wood	Syntactic Characterizations of 1-Bounded Datalog.	DOOD	1991	DBLP DOI BibTeX RDF
47	Holger Boche, Volker Pohl	Boundedness Behavior of the Spectral Factorization for Polynomial Data in the Wiener Algebra.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
47	Stefan Leue, Wei Wei 0015	Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.	SPIN	2005	DBLP DOI BibTeX RDF
43	John Lygeros, Xuerong Mao, Chenggui Yuan	Stochastic Hybrid Delay Population Dynamics.	HSCC	2006	DBLP DOI BibTeX RDF	Itô’s formula, ultimate boundedness, extinction, Brownian motion
43	Lihua Fu, Huacan He	Research on Information Requirement of First-Order Universal Implication Operators in Fuzzy Reasoning.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	First-order universal implication, General correlation, General self-correlation, Measure of specificity, Information boundedness principle, Universal logic
43	Shinji Umeyama	Parameterized Point Pattern Matching and Its Application to Recognition of Object Families.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	object families, parameterized point pattern, tree search procedure, delta -boundedness, pruning methods, shape matching problem, pattern recognition, pattern matching, trees (mathematics), search problems
43	Giorgio Delzanno, Laurent Van Begin	On the Dynamics of PB Systems with Volatile Membranes.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
43	Guang-Bin Huang, Haroon A. Babri	Comments on "Approximation capability in C(Rn) by multilayer feedforward networks and related problems".	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
37	Tong Zhou	Boundedness of Multidimensional Filters Over a Prescribed Frequency Domain.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
37	Gösta Grahne, Alex Thomo	Boundedness of Regular Path Queries in Data Integration Systems.	IDEAS	2007	DBLP DOI BibTeX RDF
37	Stephan Kreutzer, Martin Otto 0001, Nicole Schweikardt	Boundedness of Monadic FO over Acyclic Structures.	ICALP	2007	DBLP DOI BibTeX RDF
37	Liguo Zhang, Yangzhou Chen, Pingyuan Cui	An Iterative Uniformly Ultimate Boundedness Control Method for Uncertain Switched Linear Systems.	ICCSA (1)	2007	DBLP DOI BibTeX RDF
37	Vanio M. Savi, Xiaolan Xie	Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
37	Irène Guessarian	Deciding Boundedness for Uniformly Connected Datalog Programs.	ICDT	1990	DBLP DOI BibTeX RDF
37	Annegret Habel, Hans-Jörg Kreowski, Walter Vogler	Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
33	Zuohua Ding	Static Analysis of Concurrent Programs Using Ordinary Differential Equations.	ICTAC	2009	DBLP DOI BibTeX RDF	Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
33	Xuehui Mei, Haijun Jiang	Dynamic of Cohen-Grossberg Neural Networks with Variable Coefficients and Time-Varying Delays.	ISNN (1)	2008	DBLP DOI BibTeX RDF	Variable coefficients, Dealys, Neural networks, Exponential stability, Boundedness
33	Rui-Sheng Wang, Ming-Hu Ha 0001	Sequences of Fuzzy-Valued Choquet Integrable Functions.	ICFIE	2007	DBLP DOI BibTeX RDF	uniform (C)-integrability, uniform absolute continuity, uniform boundedness, convergence theorem
33	Chuanliang Xia	Analysis of Properties of Petri Synthesis Net.	TAMC	2006	DBLP DOI BibTeX RDF	liveness and boundedness, Petri nets, synthesis, analysis
33	Foto N. Afrati, Stavros S. Cosmadakis, Eugénie Foustoucos	Datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	bounded-tree width hypergraphs, persistency numbers, persistent variables, program transformations, Datalog, finite automata, Boundedness
33	Garyfalos Papaschinopoulos, Basil K. Papadopoulos	On the fuzzy difference equation xn+1 = A+B/xn.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Fuzzy difference equations, Oscillatory behavior, a -cuts, Persistence, Fuzzy number, Boundedness, Asymptotic behavior
33	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
33	Hajime Machida	Finitary Approximations and Metric Structure of the Space of Clones.	ISMVL	1995	DBLP DOI BibTeX RDF	finitary approximations, metric structure, space of clones, multivariable functions, finitary approximation, clone space, metric function, totally boundedness, isolated point, completeness, set theory, compactness, formal logic
33	Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao	Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets
33	Javier Esparza, Manuel Silva Suárez	Compositional Synthesis of Live and Bounded Free Choice Petri Nets.	CONCUR	1991	DBLP DOI BibTeX RDF	Free Choice nets, compositional synthesis, Petri nets, liveness, boundedness
32	Vadim V. Lozin, Martin Milanic	Tree-Width and Optimization in Bounded Degree Graphs.	WG	2007	DBLP DOI BibTeX RDF	Hereditary class of graphs, Induced Matching, Dominating set, Tree-width
32	Alfons Geser, Dieter Hofbauer, Johannes Waldmann	Match-Bounded String Rewriting Systems.	Appl. Algebra Eng. Commun. Comput.	2004	DBLP DOI BibTeX RDF	Match-bounded, Termination, Semi-Thue System, String Rewriting System
32	Catherine Dufourd, Alain Finkel, Philippe Schnoebelen	Reset Nets Between Decidability and Undecidability.	ICALP	1998	DBLP DOI BibTeX RDF
32	Catherine Dufourd, Alain Finkel	Polynomial-Time Manz-One Reductions for Petri Nets.	FSTTCS	1997	DBLP DOI BibTeX RDF
32	Ajoy Kumar Datta, Sukumar Ghosh	Modular Synthesis of Deadlock-Free Control Structures.	FSTTCS	1986	DBLP DOI BibTeX RDF	regular nets, Petri nets, synthesis, deadlock
32	Joseph Sifakis	Structural Properties of Petri Nets.	MFCS	1978	DBLP DOI BibTeX RDF
31	Marcin Brianski, James Davies, Bartosz Walczak	Separating Polynomial χ-Boundedness from χ-Boundedness.	Comb.	2024	DBLP DOI BibTeX RDF
31	Maria Chudnovsky, Linda Cook, James Davies, Sang-il Oum	Reuniting χ-boundedness with polynomial χ-boundedness.	CoRR	2023	DBLP DOI BibTeX RDF
31	Dinh Cong Huong	Finite-time boundedness and finite-time stabilization boundedness for nonlinear interconnected systems with Atangana-Baleanu-Caputo fractional derivative.	Trans. Inst. Meas. Control	2023	DBLP DOI BibTeX RDF
31	Marcin Brianski, James Davies, Bartosz Walczak	Separating polynomial χ-boundedness from χ-boundedness.	CoRR	2022	DBLP BibTeX RDF
31	Hajime Ishihara	The uniform boundedness theorem and a boundedness principle.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
26	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
26	Achim Blumensath, Martin Otto 0001, Mark Weyer	Boundedness of Monadic Second-Order Formulae over Finite Words.	ICALP (2)	2009	DBLP DOI BibTeX RDF
26	Jianfeng Wang, Jigui Jian, Peng Yan	Finite-Time Boundedness Analysis of a Class of Neutral Type Neural Networks with Time Delays.	ISNN (1)	2009	DBLP DOI BibTeX RDF	Finite time boundness, Neutral type, Neural network, Linear matrix inequality, Time-delay
26	Roland Meyer 0001	On Boundedness in Depth in the pi-Calculus.	IFIP TCS	2008	DBLP DOI BibTeX RDF
26	Yanjun Shen, Lin Zhu 0007, Qi Guo	Finite-Time Boundedness Analysis of Uncertain Neural Networks with Time Delay: An LMI Approach.	ISNN (1)	2007	DBLP DOI BibTeX RDF
26	Chenggui Yuan, John Lygeros	Asymptotic Stability and Boundedness of Delay Switching Diffusions.	HSCC	2004	DBLP DOI BibTeX RDF	Itô formula, Switching diffusions, Stochastic asymptotic stability, Lyapunov function
26	Chung-Hsing Hsu, Wu-chun Feng	Effective Dynamic Voltage Scaling Through CPU-Boundedness Detection.	PACS	2004	DBLP DOI BibTeX RDF
26	Stefan Leue, Richard Mayr, Wei Wei 0015	A Scalable Incomplete Test for the Boundedness of UML RT Models.	TACAS	2004	DBLP DOI BibTeX RDF
26	Supratik Mukhopadhyay, Andreas Podelski	Accurate Widenings and Boundedness Properties of Timed Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
26	Jerzy Marcinkowski	The 3 Frenchmen Method Proves Undecidability of the Uniform Boundedness for Single Recursive Rule Ternary DATALOG Programs.	STACS	1996	DBLP DOI BibTeX RDF
26	Abderrahim Benslimane	Deciding Boundedness for Systems of two Linear Communicating Fine State Machines.	CAST	1994	DBLP DOI BibTeX RDF
26	Moshe Y. Vardi	Decidability and Undecidability Results for Boundedness of Linear Recursive Queries.	PODS	1988	DBLP DOI BibTeX RDF
26	Louis E. Rosier, Hsu-Chun Yen	Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.	STACS	1985	DBLP DOI BibTeX RDF
22	Anna Avallone, Paolo Vitolo	Effect algebras with the subsequential interpolation property.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Subsequential interpolation, Vitali-Hahn-Saks theorem, Brooks-Jewett theorem, Nikodym boundedness theorem, property, Effect algebras
22	Charalampos Rizopoulos, Katerina Diamantaki, Dimitris Charitos	The ludic aspect of interaction during a pervasive game activity.	DIMEA	2008	DBLP DOI BibTeX RDF	context, hybridity, location-based games, boundedness
22	Daniel Y. Chao, David T. Wang	A synthesis technique of general petri nets.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system
22	Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi	Undecidable Optimization Problems for Database Logic Programs.	J. ACM	1993	DBLP DOI BibTeX RDF	query language, Datalog, recursion, boundedness
22	Héctor J. Hernández, Edward P. F. Chan	Constant-Time-Maintainable BCNF Database Schemes.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	query processing, data dependencies, boundedness, constraint enforcement
22	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
22	Younes Souissi, Gérard Memmi	Composition of nets via a communication medium.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Composition via shared places, separation line, composition via a sequential process, composition by rendez-vous, composition via a well-formed block, liveness, boundedness
21	Yurii E. Nesterov	Primal-dual subgradient methods for convex problems.	Math. Program.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C25, 68Q25, 90C47
21	Haris E. Psillakis	Sampled-Data Adaptive NN Tracking Control ofUncertainNonlinear Systems.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
21	Artemis K. Kostarigka, George A. Rovithakis	Adaptive Neural Network Tracking Control With Disturbance Attenuation for Multiple-Input Nonlinear Systems.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
21	Monika Heiner, Martin Schwarick, Alexej Tovchigrechko	DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets.	Petri Nets	2009	DBLP DOI BibTeX RDF
21	Christel Baier, Nathalie Bertrand 0001, Patricia Bouyer, Thomas Brihaye	When Are Timed Automata Determinizable?	ICALP (2)	2009	DBLP DOI BibTeX RDF
21	Haris E. Psillakis	High-Order Fuzzy Switching Neural Networks: Application to the Tracking Control of a Class of Uncertain SISO Nonlinear Systems.	ICANN (1)	2009	DBLP DOI BibTeX RDF
21	Giorgio Delzanno, Laurent Van Begin	A Biologically Inspired Model with Fusion and Clonation of Membranes.	UC	2008	DBLP DOI BibTeX RDF
21	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
21	King Sing Cheung, K. O. Chow	Property-Preserving Composition of Distributed System Components.	APPT	2007	DBLP DOI BibTeX RDF
21	Huajin Tang, Kay Chen Tan, Eu Jin Teoh	Dynamics analysis and analog associative memory of networks with LT neurons.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
21	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions in Lattices - A Preliminary Report.	ISMVL	2006	DBLP DOI BibTeX RDF
21	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	E-timed Workflow Nets.	SYNASC	2006	DBLP DOI BibTeX RDF
21	Chih-Lyang Hwang	Multivariable Adaptive Control of Nonlinear Unknown Dynamic Systems Using Recurrent Neural-Network.	IJCNN	2006	DBLP DOI BibTeX RDF
21	Jonathan A. Kelner, Daniel A. Spielman	A randomized polynomial-time simplex algorithm for linear programming.	STOC	2006	DBLP DOI BibTeX RDF
21	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	Timed Workflow Nets.	SYNASC	2005	DBLP DOI BibTeX RDF
21	Dino Pedreschi, Salvatore Ruggieri	Bounded Nondeterminism of Logic Programs.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	universal termination, bounded nondeterminism, strong termination, logic programming
21	Yonggon Lee, Stanislaw H. Zak	Uniformly ultimately bounded fuzzy adaptive tracking controllers for uncertain systems.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
21	Michael Köhler 0001, Heiko Rölke	Properties of Object Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
21	Qi Cheng 0001	Straight-line programs and torsion points on elliptic curves.	Comput. Complex.	2003	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 14H52, 68Q17
21	Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao 0002, Thomas A. Henzinger, Jens Palsberg	Stack Size Analysis for Interrupt-Driven Programs.	SAS	2003	DBLP DOI BibTeX RDF
21	Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya	Decidability of Safety Properties of Timed Multiset Rewriting.	FTRTFT	2002	DBLP DOI BibTeX RDF	real-time systems, timed automata, decidability, timed Petri nets
21	Qi Cheng 0001, Shigenori Uchiyama	Nonuniform Polynomial Time Algorithm to Solve Decisional Diffie-Hellman Problem in Finite Fields under Conjecture.	CT-RSA	2002	DBLP DOI BibTeX RDF
21	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
21	William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou	Supporting Increment and Decrement Operations in Balancing Networks.	STACS	1999	DBLP DOI BibTeX RDF
21	Rajeev Alur, Mihalis Yannakakis	Model Checking of Message Sequence Charts.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Ketil Stølen, Max Fuchs	An Exercise in Conditional Refinement.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
21	Richard Colbaugh, Kristin Glass	Adaptive Task-Space Control of Flexible-Joint Manipulators.	J. Intell. Robotic Syst.	1997	DBLP DOI BibTeX RDF	flexible-joint manipulators, adaptive control, robot control, Lyapunov methods
21	June-Kyung Rho, Fabio Somenzi	Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems.	CAV	1993	DBLP DOI BibTeX RDF
21	Surajit Chaudhuri	Finding Nonrecursive Envelopes for Datalog Predicates.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
21	Kamel Barkaoui, Michel Minoux	A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
21	Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni	Idempotent Single-Predicate Horn Clauses.	ICDT	1988	DBLP DOI BibTeX RDF
21	Jeffrey F. Naughton, Yehoshua Sagiv	A Decidable Class of Bounded Recursions.	PODS	1987	DBLP DOI BibTeX RDF
21	Rodney R. Howell, Louis E. Rosier	Recent results on the complexity of problems related to Petri nets.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
15	Guodong Liu, Hao Wang, Xiaoyan Zhang	On a Chemotactic Host-Pathogen Model: Boundedness, Aggregation, and Segregation.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
15	Saravanan Shanmugam, M. Syed Ali 0001, Govindasamy Narayanan, Mohamed Rhaima	Finite-Time Boundedness of Switched Time-Varying Delay Systems With Actuator Saturation: Applications in Water Pollution Control.	IEEE Access	2024	DBLP DOI BibTeX RDF
15	Junling Jing, Cai Jinhang, Huisheng Zhang, Wenxia Zhang	Boundedness and Convergence of Mini-batch Gradient Method with Cyclic Dropconnect and Penalty.	Neural Process. Lett.	2024	DBLP DOI BibTeX RDF
15	Le A. Tuan	On H∞ Finite-Time Boundedness and Finite-Time Stability for Discrete-Time Neural Networks with Leakage Time-Varying Delay.	Neural Process. Lett.	2024	DBLP DOI BibTeX RDF