Search results for "bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Moonseong Kim, Young-Cheol Bang, Hyunseung Choo	Efficient Algorithm for Reducing Delay Variation on Bounded Multicast Trees.	ICOIN	2004	DBLP DOI BibTeX RDF
14	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli	Bounded Probabilistic Model Checking with the Muralpha Verifier.	FMCAD	2004	DBLP DOI BibTeX RDF
14	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Completeness and Complexity of Bounded Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF
14	Frank Gurski, Egon Wanke	Vertex Disjoint Paths on Clique-Width Bounded Graphs.	LATIN	2004	DBLP DOI BibTeX RDF
14	Tal Moran, Ronen Shaltiel, Amnon Ta-Shma	Non-interactive Timestamping in the Bounded Storage Model.	CRYPTO	2004	DBLP DOI BibTeX RDF
14	Charles J. Alpert, Andrew B. Kahng, Bao Liu 0001, Ion I. Mandoiu, Alexander Zelikovsky	Minimum buffered routing with bounded capacitive load for slew rate and reliability control.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
14	Adam L. Buchsbaum, Glenn S. Fowler, Balachander Krishnamurthy, Kiem-Phong Vo, Jia Wang 0001	Fast prefix matching of bounded strings.	ACM J. Exp. Algorithmics	2003	DBLP DOI BibTeX RDF	prefix matching, tries, table look-up, IP routing
14	Bart Adams, Philip Dutré	Interactive boolean operations on surfel-bounded solids.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	point-based geometry, surfels, boolean operations, free-form modeling
14	Atsuko Yamaguchi, Hiroshi Mamitsuka	Finding the Maximum Common Subgraph of a Partial k-Tree and a Graph with a Polynomially Bounded Number of Spanning Trees.	ISAAC	2003	DBLP DOI BibTeX RDF
14	Shao Chin Sung, Keisuke Tanaka	Limiting Negations in Bounded-Depth Circuits: An Extension of Markov's Theorem.	ISAAC	2003	DBLP DOI BibTeX RDF
14	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A).	CAV	2003	DBLP DOI BibTeX RDF
14	Ohad Shacham, Emmanuel Zarpas	Tuning the VSIDS Decision Heuristic for Bounded Model Checking.	MTV	2003	DBLP DOI BibTeX RDF
14	Peter Høyer, Michele Mosca, Ronald de Wolf	Quantum Search on Bounded-Error Inputs.	ICALP	2003	DBLP DOI BibTeX RDF
14	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
14	Rachel Tzoref, Mark Matusevich, Eli Berger, Ilan Beer	An Optimized Symbolic Bounded Model Checking Engine.	CHARME	2003	DBLP DOI BibTeX RDF
14	Agata Ciabattoni, George Metcalfe	Bounded Lukasiewicz Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
14	Nina Amla, Robert P. Kurshan, Kenneth L. McMillan, Ricardo H. Medel	Experimental Analysis of Different Techniques for Bounded Model Checking.	TACAS	2003	DBLP DOI BibTeX RDF
14	Marco Benedetti, Alessandro Cimatti	Bounded Model Checking for Past LTL.	TACAS	2003	DBLP DOI BibTeX RDF
14	Song Chen 0001, Xianlong Hong, Sheqin Dong, Yuchun Ma, Yici Cai, Chung-Kuan Cheng, Jun Gu	Evaluating a bounded slice-line grid assignment in O(nlogn) time.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
14	Kaizhu Huang, Irwin King, Michael R. Lyu	Finite Mixture Model of Bounded Semi-naive Bayesian Networks Classifier.	ICANN	2003	DBLP DOI BibTeX RDF
14	Salil P. Vadhan	On Constructing Locally Computable Extractors and Cryptosystems in the Bounded Storage Model.	CRYPTO	2003	DBLP DOI BibTeX RDF
14	Xizhong Zheng	On the Divergence Bounded Computable Real Numbers.	COCOON	2003	DBLP DOI BibTeX RDF
14	Samuel R. Buss, Bruce M. Kapron	Resource-bounded continuity and sequentiality for type-two functionals.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Higher-order complexity, decision trees, sequential computation
14	Eli Ben-Sasson	Hard examples for the bounded depth Frege proof system.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 03F20
14	Steve Zelinka, Michael Garland	Permission grids: practical, error-bounded simplification.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	level of detail, Error bounds, surface simplification
14	Anne-Sophie Bonnet-Bendhia, Karim Ramdani	Diffraction by an Acoustic Grating Perturbed by a Bounded Obstacle.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	acoustic diffraction, perturbed gratings, Floquet transform
14	Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun	On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.	ISAAC	2002	DBLP DOI BibTeX RDF
14	Peter Bürgisser, Martin Lotz	Lower Bounds on the Bounded Coefficient Complexity of Bilinear Maps.	FOCS	2002	DBLP DOI BibTeX RDF
14	Andrej Bogdanov, Kenji Obata, Luca Trevisan	A Lower Bound for Testing 3-Colorability in Bounded-Degree Graphs.	FOCS	2002	DBLP DOI BibTeX RDF
14	Prosenjit Bose, Joachim Gudmundsson, Michiel H. M. Smid	Constructing Plane Spanners of Bounded Degree and Low Weight.	ESA	2002	DBLP DOI BibTeX RDF
14	Do Long Van, Igor Litovsky	On a Family of Codes with Bounded Deciphering Delay.	Developments in Language Theory	2002	DBLP DOI BibTeX RDF
14	Yu Wang 0003, Xiang-Yang Li 0001	Distributed Spanner with Bounded Degree for Wireless Ad Hoc Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	Wireless ad hoc networks, topology control, power consumption, spanner
14	Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea	Lazy Theorem Proving for Bounded Model Checking over Infinite Domains.	CADE	2002	DBLP DOI BibTeX RDF
14	Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny	Towards Bounded Model Checking for the Universal Fragment of TCTL.	FTRTFT	2002	DBLP DOI BibTeX RDF
14	Eli Ben-Sasson	Hard examples for bounded depth frege.	STOC	2002	DBLP DOI BibTeX RDF
14	Arfst Nickelsen, Till Tantau	On Reachability in Graphs with Bounded Independence Number.	COCOON	2002	DBLP DOI BibTeX RDF
14	Gianpiero Cabodi, Paolo Camurati, Stefano Quer	Can BDDs compete with SAT solvers on bounded model checking?	DAC	2002	DBLP DOI BibTeX RDF	model checking, formal verification, SAT, BDDs
14	Andrei Z. Broder, Alan M. Frieze, Eli Upfal	A general approach to dynamic packet routing with bounded buffers.	J. ACM	2001	DBLP DOI BibTeX RDF
14	Martin Hofmann 0001	From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour.	TLCA	2001	DBLP DOI BibTeX RDF
14	Lars Engebretsen, Marek Karpinski	Approximation Hardness of TSP with Bounded Metrics.	ICALP	2001	DBLP DOI BibTeX RDF
14	Jacques Farré, José Fortes Gálvez	Bounded-Graph Construction for Noncanonical Discriminating-Reverse Parsers.	CIAA	2001	DBLP DOI BibTeX RDF
14	Ofer Strichman	Pruning Techniques for the SAT-Based Bounded Model Checking Problem.	CHARME	2001	DBLP DOI BibTeX RDF
14	Yan Zong Ding	Oblivious Transfer in the Bounded Storage Model.	CRYPTO	2001	DBLP DOI BibTeX RDF
14	Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro	Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.	FSTTCS	2001	DBLP DOI BibTeX RDF
14	Jack Jie Dai	A Stronger Kolmogorov Zero-One Law for Resource-Bounded Measure.	CCC	2001	DBLP DOI BibTeX RDF
14	Torben Hagerup	Dynamic Algorithms for Graphs of Bounded Treewidth.	Algorithmica	2000	DBLP DOI BibTeX RDF
14	Jörgen Gustavsson, Josef Svenningsson	A Usage Analysis with Bounded Usage Polymorphism and Subtyping.	IFL	2000	DBLP DOI BibTeX RDF
14	Samuel R. Buss, Bruce M. Kapron	Resource-Bounded Continuity and Sequentiality for Type-Two Functionals.	LICS	2000	DBLP DOI BibTeX RDF	type-two functionals, higher-type complexity, continuity, sequentiality
14	Paul Caspi, Rym Salem	Threshold and Bounded-Delay Voting in Critical Control Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
14	Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Ordered Quantum Branching Programs Are More Powerful than Ordered Probabilistic Branching Programs under a Bounded-Width Restriction.	COCOON	2000	DBLP DOI BibTeX RDF
14	Olivier Ly	The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite.	FSTTCS	2000	DBLP DOI BibTeX RDF
14	Soha Hassoun	Critical path analysis using a dynamically bounded delay model.	DAC	2000	DBLP DOI BibTeX RDF
14	Anna Hac, Kelei Zhou	A new heuristic algorithm for finding minimum-cost multicast trees with bounded path delay.	Int. J. Netw. Manag.	1999	DBLP DOI BibTeX RDF
14	Oded Goldreich 0001, Dana Ron	A Sublinear Bipartiteness Tester for Bounded Degree Graphs.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 68Q25, 68R10
14	Bin Fu, Richard Beigel	A Comparison of Resource-Bounded Molecular Computation Models.	Algorithmica	1999	DBLP DOI BibTeX RDF
14	Cyril Gavoille, Nicolas Hanusse	Compact Routing Tables for Graphs of Bounded Genus.	ICALP	1999	DBLP DOI BibTeX RDF
14	Rainer Schuler	Universal Distributions and Time-Bounded Kolmogorov Complexity.	STACS	1999	DBLP DOI BibTeX RDF
14	Piotr Krysta, Roberto Solis-Oba	Approximation Algorithms for Bounded Facility Location.	COCOON	1999	DBLP DOI BibTeX RDF
14	Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi	Non-Automatizability of Bounded-Depth Frege Proofs.	CCC	1999	DBLP DOI BibTeX RDF	Frege proof systems, automatizability of proof systems, interpolation, proof complexity
14	Guoli Ding, Bogdan Oporowski, Daniel P. Sanders, Dirk Vertigan	Partitioning Graphs of Bounded Tree-Width.	Comb.	1998	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C15, 05C05, 05C55
14	Guang-Bin Huang, Haroon A. Babri	Upper bounds on the number of hidden neurons in feedforward networks with arbitrary bounded nonlinear activation functions.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
14	Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff	Verification of Bounded Delay Asynchronous Circuits with Timed Traces.	AMAST	1998	DBLP DOI BibTeX RDF
14	Klaus Ambos-Spies, Steffen Lempp, Gunther Mainhardt	Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets.	MFCS	1998	DBLP DOI BibTeX RDF
14	Harry Buhrman, Dieter van Melkebeek, Kenneth W. Regan, D. Sivakumar, Martin Strauss 0001	A Generalization of Resource-Bounded Measure, With an Application (Extended Abstract).	STACS	1998	DBLP DOI BibTeX RDF
14	Michael T. Goodrich, Edgar A. Ramos	Bounded-Independence Derandomization of Geometric Partitioning with Applications to Parallel Fixed-Dimensional Linear Programming.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
14	Bin Fu, Richard Beigel	A Comparison of Resource-Bounded Molecular Computation Models.	ISTCS	1997	DBLP DOI BibTeX RDF
14	Yves Andre, Francis Bossut	Word-into-Tree Transducers with Bounded Difference.	TAPSOFT	1997	DBLP DOI BibTeX RDF
14	Torben Hagerup	Dynamic Algorithms for Graphs of Bounded Treewidth.	ICALP	1997	DBLP DOI BibTeX RDF
14	Véronique Bruyère	A Completion Algorithm for Codes with Bounded Synchronization Delay.	ICALP	1997	DBLP DOI BibTeX RDF
14	Zhihong Man, D. Habibi	A robust adaptive sliding-mode control for rigid robotic manipulators with arbitrary bounded input disturbances.	J. Intell. Robotic Syst.	1996	DBLP DOI BibTeX RDF	stiding-mode control, adaptive mechanism, rigid robotic manipulator
14	Phillip M. Dickens, David M. Nicol, Paul F. Reynolds Jr., John Mark Duva	Analysis of Bounded Time Warp and Comparison with YAWNS.	ACM Trans. Model. Comput. Simul.	1996	DBLP DOI BibTeX RDF	parallel simulation, synchronization protocol
14	Demin Wang, Joseph Ronsin	Bounded gray-level morphology and its applications to image representation.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF
14	Patrick Le Gouëslier d'Argence	An Asymptotically Optimal Affine Schedule on Bounded Convex Polyhedric Domains.	Euro-Par, Vol. II	1996	DBLP DOI BibTeX RDF
14	Harry Buhrman, Luc Longpré	Compressibility and Resource Bounded Measure.	STACS	1996	DBLP DOI BibTeX RDF
14	Volker Heun, Ernst W. Mayr	Embedding Graphs with Bounded Treewidth into Optimal Hypercubes.	STACS	1996	DBLP DOI BibTeX RDF
14	David Pisinger	A Minimal Algorithm for the Bounded Knapsack Problem.	IPCO	1995	DBLP DOI BibTeX RDF
14	Stephen Hughes	A new bound for space bounded server algorithms.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF
14	Osamu Maruyama, Satoru Miyano	Graph Inference from a Walk for TRees of Bounded Degree 3 is NP-Complete.	MFCS	1995	DBLP DOI BibTeX RDF
14	Hans Leiß	Bounded Fixed-Point Definability and Tabular Recognition of Languages.	CSL	1995	DBLP DOI BibTeX RDF
14	Philip Heidelberger, Perwez Shahabuddin, Victor F. Nicola	Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	highly-dependable systems, non-Markovian systems, transient measures, uniformization-based simulation, importance sampling, variance reduction
14	Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit	A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	concurrency, timestamps, atomic registers
14	Narayanan Krishnakumar, Arthur J. Bernstein	Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	concurrency control, replication, integrity constraints, reachability analysis, serializability
14	Jean-Daniel Boissonnat, Jurek Czyzowicz, Olivier Devillers, Jean-Marc Robert 0001, Mariette Yvinec	Convex Tours on Bounded Curvature.	ESA	1994	DBLP DOI BibTeX RDF
14	Olivier Delos, Jean-Jacques Quisquater	An Identity-Based Signature Scheme with Bounded Life-Span.	CRYPTO	1994	DBLP DOI BibTeX RDF
14	Henrik Arro, Jonas Barklund, Johan Bevemyr	Parallel Bounded Quantification - Preliminary Results.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	Prolog
14	Viggo Kann	Polynomially Bounded Minimization Problems which are Hard to Approximate.	ICALP	1993	DBLP DOI BibTeX RDF
14	Rolf Klein, Andrzej Lingas	A Linear-Time Randomized Algorithm for the Bounded Voronoi Diagram of a Simple Polygon.	SCG	1993	DBLP DOI BibTeX RDF
14	Egon Wanke	Bounded Tree-Width and LOGCFL.	WG	1993	DBLP DOI BibTeX RDF
14	Man Hon Wong 0001, Divyakant Agrawal	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems.	PODS	1992	DBLP DOI BibTeX RDF
14	David Fernández-Baca, Giora Slutzki	Parametric Problems on Graphs of Bounded Tree-Width.	SWAT	1992	DBLP DOI BibTeX RDF
14	Vikraman Arvind, Johannes Köbler, Martin Mundhenk	On Bounded Truth-Table, Conjunctive, and Randomized Reductions to Sparse Sets.	FSTTCS	1992	DBLP DOI BibTeX RDF
14	Juha Honkala, Arto Salomaa	L Morphisms: Bounded Delay and Regularity of Ambiguity.	ICALP	1991	DBLP DOI BibTeX RDF
14	Christiane Frougny, Jacques Sakarovitch	Rational Ralations with Bounded Delay.	STACS	1991	DBLP DOI BibTeX RDF
14	Dieter Hofbauer	Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding.	RTA	1991	DBLP DOI BibTeX RDF
14	Ivana Cerná	Some Properties of Zerotesting Bounded One-Way Multicounter Machines.	MFCS	1990	DBLP DOI BibTeX RDF
14	Yehuda Afek, Danny Dolev, Eli Gafni	A Bounded First-In, First-Enabled Solution to the 1-Exclusion Problem.	WDAG	1990	DBLP DOI BibTeX RDF
14	Gabriel Matsliach, Oded Shmueli	Maintaining Bounded Disorder Files in Multiprocessor Multi-Disk Environments.	ICDT	1990	DBLP DOI BibTeX RDF
14	Juris Hartmanis, Desh Ranjan	Space Bounded Computations: Review And New Separation Results.	MFCS	1989	DBLP DOI BibTeX RDF
14	Renato M. Capocelli, Luisa Gargano, Ugo Vaccaro	Time Bound for Broadcasting in Bounded Degree Graphs.	WG	1989	DBLP DOI BibTeX RDF
14	Christoph Meinel	Omega-Branching Programs of Bounded Width.	CSL	1989	DBLP DOI BibTeX RDF