Search results for "bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Éric Colin de Verdière	Multicuts in Planar and Bounded-Genus Graphs with Bounded Number of Terminals.	CoRR	2015	DBLP BibTeX RDF
15	Igor Razgon	On oblivious branching programs with bounded repetition that cannot efficiently compute CNFs of bounded treewidth.	CoRR	2015	DBLP BibTeX RDF
15	Hamid Reza Moradi	Bounded and Semi Bounded Inverse Theorems in Fuzzy Normed Spaces.	Int. J. Fuzzy Syst. Appl.	2015	DBLP DOI BibTeX RDF
15	Jiajun Liu, Kun Zhao 0003, Philipp Sommer, Shuo Shang, Brano Kusy, Raja Jurdak	Bounded Quadrant System: Error-bounded trajectory compression on the go.	ICDE	2015	DBLP DOI BibTeX RDF
15	Éric Colin de Verdière	Multicuts in Planar and Bounded-Genus Graphs with Bounded Number of Terminals.	ESA	2015	DBLP DOI BibTeX RDF
15	Mohammed Bekkouche	Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization).		2015	RDF
15	Phan Thanh Nam, Pubudu N. Pathirana, Hieu Trinh	ε-bounded state estimation for time-delay systems with bounded disturbances.	Int. J. Control	2014	DBLP DOI BibTeX RDF
15	Bernard A. Anderson, Barbara F. Csima	A Bounded Jump for the Bounded Turing Degrees.	Notre Dame J. Formal Log.	2014	DBLP DOI BibTeX RDF
15	Martin Fürer	A Natural Generalization of Bounded Tree-Width and Bounded Clique-Width.	CoRR	2014	DBLP BibTeX RDF
15	Jiajun Liu, Kun Zhao 0003, Philipp Sommer, Shuo Shang, Brano Kusy, Raja Jurdak	Bounded Quadrant System: Error-bounded Trajectory Compression on the Go.	CoRR	2014	DBLP BibTeX RDF
15	Pierre Ganty, Radu Iosif	Generating Bounded Languages Using Bounded Control Sets.	CoRR	2014	DBLP BibTeX RDF
15	Steven Chaplick, Jirí Fiala 0001, Pim van 't Hof, Daniël Paulusma, Marek Tesar 0001	Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree.	CoRR	2014	DBLP BibTeX RDF
15	Guanfeng Wang, Roger Zimmermann	Eddy: an error-bounded delay-bounded real-time map matching algorithm using HMM and online Viterbi decoder.	SIGSPATIAL/GIS	2014	DBLP DOI BibTeX RDF
15	Martin Fürer	A Natural Generalization of Bounded Tree-Width and Bounded Clique-Width.	LATIN	2014	DBLP DOI BibTeX RDF
15	Sameer Agarwal 0002	Queries with Bounded Errors & Bounded Response Times on Very Large Data.		2014	RDF
15	Parinya Chalermsook, Shiva Kintali, Richard J. Lipton, Danupon Nanongkai	Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-Partite Graphs.	Chic. J. Theor. Comput. Sci.	2013	DBLP BibTeX RDF
15	Daniel Meister 0001, Udi Rotics	Minimal forbidden induced subgraphs of graphs of bounded clique-width and bounded linear clique-width.	CoRR	2013	DBLP BibTeX RDF
15	Kord Eickmeyer, Ken-ichi Kawarabayashi	Approximating Multi Commodity Network Design on Graphs of Bounded Pathwidth and Bounded Degree.	SAGT	2013	DBLP DOI BibTeX RDF
15	Bettina Braitling, Ralf Wimmer 0001, Bernd Becker 0001, Erika Ábrahám	Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.	MBMV	2013	DBLP BibTeX RDF
15	Oscar H. Ibarra, Bala Ravikumar	On Bounded Languages and Reversal-Bounded Automata.	LATA	2013	DBLP DOI BibTeX RDF
15	Steven Chaplick, Jirí Fiala 0001, Pim van 't Hof, Daniël Paulusma, Marek Tesar 0001	Locally Constrained Homomorphisms on Graphs of Bounded Treewidth and Bounded Degree.	FCT	2013	DBLP DOI BibTeX RDF
15	Albert Atserias	The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs.	SAT	2013	DBLP DOI BibTeX RDF
15	Sameer Agarwal 0002, Barzan Mozafari, Aurojit Panda, Henry Milner, Samuel Madden 0001, Ion Stoica	BlinkDB: queries with bounded errors and bounded response times on very large data.	EuroSys	2013	DBLP DOI BibTeX RDF
15	Omer Angel, Abraham D. Flaxman, David B. Wilson 0002	A sharp threshold for minimum bounded-depth and bounded-diameter spanning trees and Steiner trees in random networks.	Comb.	2012	DBLP DOI BibTeX RDF
15	Naoharu Ito, Reinhold Küstner, Harald K. Wimmer	Systems of linear difference equations with bounded and robustly bounded solutions.	Artif. Life Robotics	2012	DBLP DOI BibTeX RDF
15	Parinya Chalermsook, Shiva Kintali, Richard J. Lipton, Danupon Nanongkai	Graph Pricing Problem on Bounded Treewidth, Bounded Genus and k-partite graphs	CoRR	2012	DBLP BibTeX RDF
15	Sameer Agarwal 0002, Aurojit Panda, Barzan Mozafari, Samuel Madden 0001, Ion Stoica	BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data	CoRR	2012	DBLP BibTeX RDF
15	Xiaozhong Chen, Natalia A. Trayanova	A Novel Methodology for Assessing the Bounded-Input Bounded-Output Instability in QT Interval Dynamics: Application to Clinical ECG With Ventricular Tachycardia.	IEEE Trans. Biomed. Eng.	2012	DBLP DOI BibTeX RDF
15	Ali Ebrahimnejad, Seyed Hadi Nasseri, Sayyed Mehdi Mansourzadeh	Bounded Primal Simplex Algorithm for Bounded Linear Programming with Fuzzy Cost Coefficients.	Int. J. Oper. Res. Inf. Syst.	2011	DBLP DOI BibTeX RDF
15	Stanley P. Y. Fung	Bounded delay packet scheduling in a bounded buffer.	Oper. Res. Lett.	2010	DBLP DOI BibTeX RDF
15	Satyajit Banerjee, Atish Datta Chowdhury, Subhas Kumar Ghosh	Distributed approximation for maximum weight matching on bounded degree bounded integer weight graphs.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
15	Richard Pettigrew	On Interpretations of Bounded Arithmetic and Bounded Set Theory.	Notre Dame J. Formal Log.	2009	DBLP DOI BibTeX RDF
15	Stanley P. Y. Fung	Bounded Delay Packet Scheduling in a Bounded Buffer	CoRR	2009	DBLP BibTeX RDF
15	Efstathios Bakolas, Panagiotis Tsiotras	On the generation of nearly optimal, planar paths of bounded curvature and bounded curvature gradient.	ACC	2009	DBLP DOI BibTeX RDF
15	MohammadTaghi Hajiaghayi, Naomi Nishimura	Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth.	J. Comput. Syst. Sci.	2007	DBLP DOI BibTeX RDF
15	Camilo Thorne	Categorial Module Grammars of Bounded Size have Finite Bounded Density.	LATA	2007	DBLP BibTeX RDF
15	Prosenjit Bose, Vida Dujmovic, David R. Wood	Induced Subgraphs of Bounded Degree and Bounded Treewidth.	Contributions Discret. Math.	2006	DBLP BibTeX RDF
15	Stéphane Bessy, Frédéric Havet, Etienne Birmelé	Arc-chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree.	J. Graph Theory	2006	DBLP DOI BibTeX RDF
15	Erika Ábrahám, Marc Herbstritt, Bernd Becker 0001, Martin Steffen	Bounded Model Checking with Parametric Data Structures.	BMC@FLoC	2006	DBLP DOI BibTeX RDF
15	Xuandong Li, Sumit Jha Aanand, Lei Bu	Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.	BMC@FLoC	2006	DBLP DOI BibTeX RDF
15	Paul B. Jackson, Daniel Sheridan	A Compact Linear Translation for Bounded Model Checking.	BMC@FLoC	2006	DBLP DOI BibTeX RDF
15	Eugene Eberbach	$-Calculus of Bounded Rational Agents: Flexible Optimization as Search under Bounded Resources in Interactive Systems.	Fundam. Informaticae	2005	DBLP BibTeX RDF
15	John M. Hitchcock, Aduri Pavan	Resource-bounded strong dimension versus resource-bounded category.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
15	Alessandro Casavola, Domenico Famularo, Giuseppe Franzè	A predictive control strategy for Norm-Bounded LPV linear systems with bounded rates of parameter change.	CDC/ECC	2005	DBLP DOI BibTeX RDF
15	Mohammad Awedh, Fabio Somenzi	Termination Criteria for Bounded Model Checking: Extensions and Comparison.	BMC@CAV	2005	DBLP DOI BibTeX RDF
15	Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky	Bounded Model Checking for All Regular Properties.	BMC@CAV	2005	DBLP DOI BibTeX RDF
15	Daniel Kroening	Computing Over-Approximations with Bounded Model Checking.	BMC@CAV	2005	DBLP DOI BibTeX RDF
15	Wathanyoo Khaisongkram, David Banjerdpongchai	An optimal control approach to compute the performance of linear systems under disturbances with bounded magnitudes and bounded derivatives.	ACC	2004	DBLP DOI BibTeX RDF
15	Daniel Sheridan	Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata.	BMC@CAV	2004	DBLP DOI BibTeX RDF
15	HoonSang Jin, Fabio Somenzi	An Incremental Algorithm to Check Satisfiability for Bounded Model Checking.	BMC@CAV	2004	DBLP DOI BibTeX RDF
15	Daniel Cobb, Chi-Jo Wang	A Characterization of Bounded-Input Bounded-Output Stability for Linear Time-Varying Systems with Distributional Inputs.	SIAM J. Control. Optim.	2003	DBLP DOI BibTeX RDF
15	Monica Motta, Caterina Sartori	Minimum Time with Bounded Energy, Minimum Energy with Bounded Time.	SIAM J. Control. Optim.	2003	DBLP DOI BibTeX RDF
15	Gruia Calinescu, Cristina G. Fernandes, Bruce A. Reed	Multicuts in unweighted graphs and digraphs with bounded degree and bounded tree-width.	J. Algorithms	2003	DBLP DOI BibTeX RDF
15	Fredrik Tjärnström, Andrea Garulli	A mixed probabilistic/bounded-error approach to parameter estimation in the presence of amplitude bounded white noise.	CDC	2002	DBLP DOI BibTeX RDF
15	Gruia Calinescu, Cristina G. Fernandes	Multicuts in Unweighted Digraphs with Bounded Degree and Bounded Tree-Width.	Electron. Notes Discret. Math.	2001	DBLP DOI BibTeX RDF
15	Shahram M. Shahruz	Bounded-input bounded-output stability of a class of lasers.	CDC	2001	DBLP DOI BibTeX RDF
15	Francesco Amato 0001	Stability analysis and synthesis of systems subject to norm bounded, bounded rate uncertainties.	Kybernetika	2000	DBLP BibTeX RDF
15	E. Bruce Lee, J. C. Luo	On "Evaluating the bounded-input-bounded-output stability integral for second-order systems".	IEEE Trans. Autom. Control.	2000	DBLP DOI BibTeX RDF
15	Andrea Bacciotti, Luisa Mazzi	A Necessary and Sufficient Condition for Bounded-Input Bounded-State Stability of Nonlinear Systems.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
15	Germain Garcia, Sophie Tarbouriech, Rodolfo Suárez, Jose Alvarez-Ramirez	Nonlinear bounded control for norm-bounded uncertain systems.	IEEE Trans. Autom. Control.	1999	DBLP DOI BibTeX RDF
15	Patrick J. Loughlin	Do Bounded Signals Have Bounded Amplitudes?	Multidimens. Syst. Signal Process.	1998	DBLP DOI BibTeX RDF
15	Leslaw Gniewek, Jacek Kluska	Family of fuzzy J-K flip-flops based on bounded product, bounded sum and complementation.	IEEE Trans. Syst. Man Cybern. Part B	1998	DBLP DOI BibTeX RDF
15	Christian Herzog 0003	Pushdown Automata with Bounded Nondeterminism and Bounded Ambiguity.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
15	S. M. Shahruz	Bounded-input bounded-output stability of a damped nonlinear string.	IEEE Trans. Autom. Control.	1996	DBLP DOI BibTeX RDF
15	Joep L. W. Kessels	Calculational Derivation of aCounter with Bounded Response Time and Bounded Power Dissipation.	Distributed Comput.	1995	DBLP DOI BibTeX RDF
15	Christian Herzog 0003	Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity.	LATIN	1995	DBLP DOI BibTeX RDF
15	Gilberto O. Corrêa	Necessary and Sufficient Conditions for Bounded-Input/Bounded-state Stability of Discrete-Time, Bilinear Systems.	SIAM J. Matrix Anal. Appl.	1993	DBLP DOI BibTeX RDF
15	Edward R. Scheinerman, Ann N. Trenk	On Generalized Perfect Graphs: Bounded Degree and Bounded Edge Perfection.	Discret. Appl. Math.	1993	DBLP DOI BibTeX RDF
15	John Spinelli	Self-Stabilizing ARQ on Channels with Bounded Memory or Bounded Delay.	INFOCOM	1993	DBLP DOI BibTeX RDF
15	Chung-Lun Li, S. Thomas McCormick, David Simchi-Levi	On the minimum-cardinality-bounded-diameter and the bounded-cardinality-minimum-diameter edge addition problems.	Oper. Res. Lett.	1992	DBLP DOI BibTeX RDF
15	Cynthia Dwork, Orli Waarts	Simple and Efficient Bounded Concurrent Timestamping or Bounded Concurrent Timestamp Systems are Comprehensible!	STOC	1992	DBLP DOI BibTeX RDF
15	Maciej Liskiewicz, Krzysztof Lorys	Fast Simulations of Time-Bounded One-Tape Turing Machines by Space-Bounded Ones.	SIAM J. Comput.	1990	DBLP DOI BibTeX RDF
15	Gerd Baron, Friedrich J. Urbanek	Factorial Languages with Quadratically Upper Bounded Growth Functions and Nonlinearly Upper Bounded Subword Complexities.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
15	Jik H. Chang, Oscar H. Ibarra, Michael A. Palis	Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATMs and Space-Bounded TMs.	Theor. Comput. Sci.	1989	DBLP DOI BibTeX RDF
15	Yehoshua Sagiv	On Bounded Database Schemes and Bounded Horn-Clause Programs.	SIAM J. Comput.	1988	DBLP DOI BibTeX RDF
15	Ian Parberry	An Improved Simulation of Space and Reversal Bounded Deterministic Turing Machines by Width and Depth Bounded Uniform Circuits.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
15	Hiroaki Yamamoto, Shoichi Noguchi	Comparison of the Power between Reversal-Bounded ATMs and Reversal-Bounded NTMs	Inf. Comput.	1987	DBLP DOI BibTeX RDF
15	Ludvík Prouza	On the bounded input-bounded output stability of a second-order linear difference equation.	Kybernetika	1985	DBLP BibTeX RDF
15	Hiroaki Yamamoto, Shoichi Noguchi	Relationships between time-leaf-and-space bounded ATMS and reversal-and-space bounded NTMs.	Syst. Comput. Jpn.	1985	DBLP DOI BibTeX RDF
15	Gary L. Miller	Isomorphism of k-Contractible Graphs. A Generalization of Bounded Valence and Bounded Genus	Inf. Control.	1983	DBLP DOI BibTeX RDF
15	Gary L. Miller	Isomorphism Testing and Canonical Forms for k-Contractable Graphs (A Generalization of Bounded Valence and Bounded Genus).	FCT	1983	DBLP DOI BibTeX RDF
15	Andreas Brandstädt, Klaus W. Wagner	Reversal-Bounded and Visit-Bounded Realtime Computations.	FCT	1983	DBLP DOI BibTeX RDF
14	Ittai Abraham, Shiri Chechik, Cyril Gavoille, David Peleg	Forbidden-set distance labels for graphs of bounded doubling dimension.	PODC	2010	DBLP DOI BibTeX RDF	forbidden sets, fault-tolerance, compact routing, doubling dimension, distance labeling
14	Rena Bakhshi, Jörg Endrullis, Wan J. Fokkink, Jun Pang 0001	Brief announcement: asynchronous bounded expected delay networks.	PODC	2010	DBLP DOI BibTeX RDF	abd networks, probabilistic algorithms, anonymous networks
14	Sharon Marko, Dana Ron	Approximating the distance to properties in bounded-degree and general sparse graphs.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	Sublinear approximation algorithms, property testing, graph properties, distance approximation
14	Danny Hendler, Shay Kutten	Bounded-wait combining: constructing robust and high-throughput shared objects.	Distributed Comput.	2009	DBLP DOI BibTeX RDF
14	Zi Huang, Heng Tao Shen, Jie Shao 0001, Xiaofang Zhou 0001, Bin Cui 0001	Bounded coordinate system indexing for real-time video clip search.	ACM Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF	query processing, indexing, summarization, Video search
14	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
14	Francis Y. L. Chin, Hing-Fung Ting, Yong Zhang 0001	1-Bounded Space Algorithms for 2-Dimensional Bin Packing.	ISAAC	2009	DBLP DOI BibTeX RDF
14	Hala Rifai, José-Fermi Guerrero-Castellanos, Nicolas Marchand, Guylaine Poulin	Bounded attitude control of a Flapping wing Micro Aerial Vehicle using direct sensors measurements.	ICRA	2009	DBLP DOI BibTeX RDF
14	Yusuke Kobayashi 0001, Ken-ichi Kawarabayashi	Algorithms for finding an induced cycle in planar graphs and bounded genus graphs.	SODA	2009	DBLP DOI BibTeX RDF
14	Ugo Dal Lago, Martin Hofmann 0001	Bounded Linear Logic, Revisited.	TLCA	2009	DBLP DOI BibTeX RDF
14	Lorenzo Carlucci	Incremental Learning with Ordinal Bounded Example Memory.	ALT	2009	DBLP DOI BibTeX RDF
14	Gang Zheng, Antoine Girard	Bounded and Unbounded Safety Verification Using Bisimulation Metrics.	HSCC	2009	DBLP DOI BibTeX RDF
14	Stefan Wehr, Peter Thiemann 0001	On the Decidability of Subtyping with Bounded Existential Types.	APLAS	2009	DBLP DOI BibTeX RDF
14	Rupert Hölzl 0001, Thorsten Kräling, Wolfgang Merkle	Time-Bounded Kolmogorov Complexity and Solovay Functions.	MFCS	2009	DBLP DOI BibTeX RDF
14	Mohammad Khairul Hasan, Sung-Eui Yoon, Kyung-Yong Chwa	Bounds on the Geometric Mean of Arc Lengths for Bounded-Degree Planar Graphs.	FAW	2009	DBLP DOI BibTeX RDF
14	Robert Ganian, Petr Hlinený	Better Polynomial Algorithms on Graphs of Bounded Rank-Width.	IWOCA	2009	DBLP DOI BibTeX RDF	Rank-width, rank-decomposition, chromatic polynomial, Hamiltonian path, chromatic number
14	Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	Self-healing Assurance Based on Bounded Model Checking.	EUROCAST	2009	DBLP DOI BibTeX RDF
14	Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey	ATL with Strategy Contexts and Bounded Memory.	LFCS	2009	DBLP DOI BibTeX RDF