Search results for "bounded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
14	Dietrich Kuske, Markus Lohrey	Automatic Structures of Bounded Degree Revisited.	CSL	2009	DBLP DOI BibTeX RDF
14	Joël Alwen, Yevgeniy Dodis, Daniel Wichs	Leakage-Resilient Public-Key Cryptography in the Bounded-Retrieval Model.	CRYPTO	2009	DBLP DOI BibTeX RDF
14	Ivona Bezáková, Nayantara Bhatnagar, Dana Randall	On the Diaconis-Gangolli Markov Chain for Sampling Contingency Tables with Cell-Bounded Entries.	COCOON	2009	DBLP DOI BibTeX RDF
14	Nuno C. Martins, Tsachy Weissman	Coding for Additive White Noise Channels With Feedback Corrupted by Quantization or Bounded Noise.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
14	Robert T. König, Barbara M. Terhal	The Bounded-Storage Model in the Presence of a Quantum Adversary.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
14	Juan M. Estévez-Tapiador, Julio César Hernández Castro, Almudena Alcaide, Arturo Ribagorda	On the Distinguishability of Distance-Bounded Permutations in Ordered Channels.	IEEE Trans. Inf. Forensics Secur.	2008	DBLP DOI BibTeX RDF
14	Federico Della Croce, Vangelis Th. Paschos	Exploiting dominance conditions for computing non trivial worst-case complexity for bounded combinatorial optimization problems.	Oper. Res.	2008	DBLP DOI BibTeX RDF	Dominance conditions, Set covering, Max cut, Worst-case complexity
14	Tamás Horváth 0001, Jan Ramon	Efficient Frequent Connected Subgraph Mining in Graphs of Bounded Treewidth.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
14	Ruonan Rao, Shuying Liang, Jinyuan You	HTL: A Locality Bounded Flat Hash Location Service.	NPC	2008	DBLP DOI BibTeX RDF
14	Man Ho Au, Willy Susilo, Yi Mu 0001	Practical Anonymous Divisible E-Cash from Bounded Accumulators.	Financial Cryptography	2008	DBLP DOI BibTeX RDF
14	Hala Rifai, Nicolas Marchand, Guylaine Poulin	Bounded control of a flapping wing micro drone in three dimensions.	ICRA	2008	DBLP DOI BibTeX RDF
14	Zoya Svitkina	Lower-bounded facility location.	SODA	2008	DBLP BibTeX RDF
14	Baruch Awerbuch, Yossi Azar, Rohit Khandekar	Fast load balancing via bounded best response.	SODA	2008	DBLP BibTeX RDF
14	Eike Best, Philippe Darondeau	Decomposition Theorems for Bounded Persistent Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
14	Josep Carmona 0001, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev	A Symbolic Algorithm for the Synthesis of Bounded Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF
14	Ken-ichi Kawarabayashi, Bojan Mohar, Bruce A. Reed	A Simpler Linear Time Algorithm for Embedding Graphs into an Arbitrary Surface and the Genus of Graphs of Bounded Tree-Width.	FOCS	2008	DBLP DOI BibTeX RDF
14	Stephanie Wehner, Jürg Wullschleger	Composable Security in the Bounded-Quantum-Storage Model.	ICALP (2)	2008	DBLP DOI BibTeX RDF
14	Andrea Garulli, Antonio Giannitrapani	A set-membership approach to consensus problems with bounded measurement errors.	CDC	2008	DBLP DOI BibTeX RDF
14	Alexander Lanzon, Zhuoyue Song, Ian R. Petersen	Reformulating negative imaginary frequency response systems to bounded-real systems.	CDC	2008	DBLP DOI BibTeX RDF
14	Hiroyuki Ichihara	State feedback synthesis for polynomial systems with bounded disturbances.	CDC	2008	DBLP DOI BibTeX RDF
14	Toivo Henningsson	Recursive state estimation for linear systems with mixed stochastic and set-bounded disturbances.	CDC	2008	DBLP DOI BibTeX RDF
14	Qi Cheng 0001, Yu-Hsin Li	A Number Theoretic Memory Bounded Function and Its Applications.	ICYCS	2008	DBLP DOI BibTeX RDF
14	Olivier Beaumont, Nicolas Bonichon, Lionel Eyraud-Dubois	Scheduling divisibleworkloads on heterogeneous platforms under bounded multi-port model.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Uffe Flarup, Laurent Lyaudet	On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract).	CSR	2008	DBLP DOI BibTeX RDF
14	Telma Woerle de Lima, Franz Rothlauf, Alexandre C. B. Delbem	The node-depth encoding: analysis and application to the bounded-diameter minimum spanning tree problem.	GECCO	2008	DBLP DOI BibTeX RDF	genetic algorithms, performance analysis, representations
14	Marcin Bienkowski, Marek Chrobak, Lukasz Jez	Randomized Algorithms for Buffer Management with 2-Bounded Delay.	WAOA	2008	DBLP DOI BibTeX RDF
14	Salvatore La Torre, P. Madhusudan, Gennaro Parlato	Context-Bounded Analysis of Concurrent Queue Systems.	TACAS	2008	DBLP DOI BibTeX RDF
14	Xueqi Cheng, Michael S. Hsiao	Ant Colony Optimization directed program abstraction for software bounded model checking.	ICCD	2008	DBLP DOI BibTeX RDF
14	Samia Souissi, Yan Yang, Xavier Défago	Fault-Tolerant Flocking in a k-Bounded Asynchronous System.	OPODIS	2008	DBLP DOI BibTeX RDF
14	Liang Xu	SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	real-time systems, SMT, BMC
14	Viorica Sofronie-Stokkermans	On unification for bounded distributive lattices.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving
14	Yan Zong Ding, Danny Harnik, Alon Rosen, Ronen Shaltiel	Constant-Round Oblivious Transfer in the Bounded Storage Model.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
14	Rebeca Marfil, Luis Molina-Tanco, Antonio Bandera, Francisco Sandoval Hernández	The Construction of Bounded Irregular Pyramids with a Union-Find Decimation Process.	GbRPR	2007	DBLP DOI BibTeX RDF
14	Stephen Kloder, Seth Hutchinson 0001	Barrier Coverage for Variable Bounded-Range Line-of-Sight Guards.	ICRA	2007	DBLP DOI BibTeX RDF
14	Malcolm A. Sabin, Thomas J. Cashman 0001, Ursula H. Augsdörfer, Neil A. Dodgson	Bounded Curvature Subdivision Without Eigenanalysis.	IMA Conference on the Mathematics of Surfaces	2007	DBLP DOI BibTeX RDF
14	Ahmad Hably, Nicolas Marchand	Global stabilization of a four rotor helicopter with bounded inputs.	IROS	2007	DBLP DOI BibTeX RDF
14	Paulo Sérgio Sausen, Marco Aurélio Spohn, Antonio Marcus Nogueira de Lima, Angelo Perkusich	Bounded-distance multi-coverage backbones in wireless sensor networks.	SAC	2007	DBLP DOI BibTeX RDF	domination in graphs, wireless sensor networks, connected dominating sets, backbone
14	Dirk Kukulenz, Alexandros Ntoulas	Answering bounded continuous search queries in the world wide web.	WWW	2007	DBLP DOI BibTeX RDF	monitoring search, continuous queries, optimal stopping
14	Artur Czumaj, Christian Sohler	Testing Expansion in Bounded-Degree Graphs.	FOCS	2007	DBLP DOI BibTeX RDF
14	Israel Beniaminy, Zeev Nutov, Meir Ovadia	Approximating Interval Scheduling Problems with Bounded Profits.	ESA	2007	DBLP DOI BibTeX RDF
14	Tong Yi, Guoli Ding, Bogdan Oporowski	A Low Bound for Broadcast in Optical Networks of Bounded Treewidth Using Fewest Converters.	IPCCC	2007	DBLP DOI BibTeX RDF
14	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Model Checking Bounded Prioritized Time Petri Nets.	ATVA	2007	DBLP DOI BibTeX RDF
14	David Walter, Scott Little, Chris J. Myers	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.	ATVA	2007	DBLP DOI BibTeX RDF
14	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
14	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
14	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
14	Beat Gfeller, Elias Vicari	A randomized distributed algorithm for the maximal independent set problem in growth-bounded graphs.	PODC	2007	DBLP DOI BibTeX RDF	distributed algorithms, maximal independent set, ad hoc sensor networks
14	Manindra Agrawal, Thanh Minh Hoang, Thomas Thierauf	The Polynomially Bounded Perfect Matching Problem Is in NC 2.	STACS	2007	DBLP DOI BibTeX RDF
14	H. K. Dai 0001, Y. Du	On the Bounded-Delay Minimum-Cost Path Problem of Quality-of-Service Routing.	ICCCN	2007	DBLP DOI BibTeX RDF
14	Michael R. Fellows, Frances A. Rosamond	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number.	CiE	2007	DBLP DOI BibTeX RDF
14	Gesan Wang, Nian-Feng Tzeng	Bounded prefix expansion and compression in support of fast TCAM updating.	BROADNETS	2007	DBLP DOI BibTeX RDF
14	Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner	Secure Identification and QKD in the Bounded-Quantum-Storage Model.	CRYPTO	2007	DBLP DOI BibTeX RDF
14	Richard Chang 0001, Suresh Purini	Bounded Queries and the NP Machine Hypothesis.	CCC	2007	DBLP DOI BibTeX RDF
14	Jianliang Xu, Yun-Xia Liu, Tsunehiro Yoshinaga	A Note on Non-Closure Property of Sublogarithmic Space-Bounded 1-Inkdot Alternating Pushdown Automata with Only Existential (Universal) States.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	alternating pushdown automata, 1-inkdot, sublogarithmic space, closure property
14	Khaled A. S. Abdel-Ghaffar, Amr El Abbadi	The Optimality of Allocation Methods for Bounded Disagreement Search Queries: The Possible and the Impossible.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	organization/structure, multiple disk systems, information theory, maintenance, Access methods, retrieval models, file organization, file organization, coding theory, Cartesian product files
14	Joffroy Beauquier, Colette Johnen, Stéphane Messika	All k -Bounded Policies Are Equivalent for Self-stabilization.	SSS	2006	DBLP DOI BibTeX RDF	scheduler, distributed algorithm, randomized algorithms, self-stabilizing system
14	Florentin Ipate	Bounded Sequence Testing from Non-deterministic Finite State Machines.	TestCom	2006	DBLP DOI BibTeX RDF
14	Jianxin Chen, Yuhang Yang, Hong Zhu, Peng Zeng	A Bounded Item Bin Packing Problem over Discrete Distribution.	TAMC	2006	DBLP DOI BibTeX RDF
14	Boris Solon, Sergey Rozhkov	Enumeration Degrees of the Bounded Total Sets.	TAMC	2006	DBLP DOI BibTeX RDF
14	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
14	Masami Ito, Peter Leupold, Kayoko Shikishima-Tsuji	Closure of Language Classes Under Bounded Duplication.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
14	Gaurav Goel, Jens Gustedt	Bounded Arboricity to Determine the Local Structure of Sparse Graphs.	WG	2006	DBLP DOI BibTeX RDF
14	ZhenYang Xu, Jie Qin, Guangsheng Zhang, Wenhua Dou	Relay-Bounded Single-Actor Selection Algorithms for Wireless Sensor and Actor Networks.	ICNC (2)	2006	DBLP DOI BibTeX RDF	Relay-Bound, Energy Efficiency, Real-Time Communications, Wireless Sensor and Actor Networks
14	John M. Hitchcock	Online Learning and Resource-Bounded Dimension: Winnow Yields New Lower Bounds for Hard Sets.	STACS	2006	DBLP DOI BibTeX RDF
14	Bin Fu	Theory and Application of Width Bounded Geometric Separator.	STACS	2006	DBLP DOI BibTeX RDF
14	Vikraman Arvind, Johannes Köbler	On Hypergraph and Graph Isomorphism with Bounded Color Classes.	STACS	2006	DBLP DOI BibTeX RDF
14	Pascal Poizat, Jean-Claude Royer, Gwen Salaün	Bounded Analysis and Decomposition for Behavioural Descriptions of Components.	FMOODS	2006	DBLP DOI BibTeX RDF
14	Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilikos	Fast Subexponential Algorithm for Non-local Problems on Graphs of Bounded Genus.	SWAT	2006	DBLP DOI BibTeX RDF
14	Burkhard Englert	Adaptive Algorithms Using Bounded Memory Are Inherently Non-uniform.	ISPA	2006	DBLP DOI BibTeX RDF
14	Spyridon Antonakopoulos	Fast leader-election protocols with bounded cheaters' edge.	STOC	2006	DBLP DOI BibTeX RDF	distributed computing, leader election, coin-flipping
14	Dmitry Gavinsky, Julia Kempe, Oded Regev 0001, Ronald de Wolf	Bounded-error quantum state identification and exponential separations in communication complexity.	STOC	2006	DBLP DOI BibTeX RDF	quantum computing, randomness, communication complexity, entanglement, state identification
14	Yi-Kai Liu 0001, Vadim Lyubashevsky, Daniele Micciancio	On Bounded Distance Decoding for General Lattices.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
14	Bernard Berthomieu, Florent Peres, François Vernadat 0001	Bridging the Gap Between Timed Automata and Bounded Time Petri Nets.	FORMATS	2006	DBLP DOI BibTeX RDF	weak timed bisimilarity, real-time systems modeling and verification, Timed Automata, priorities, Time Petri nets
14	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Computational challenges in bounded model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Bonded-Model-checking, Completeness-Threshold, Complexity
14	Terence H. Chan, Steve Hranilovic, Frank R. Kschischang	Capacity-achieving probability measure for conditionally Gaussian channels with bounded inputs.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
14	Henry D. Pfister, Igal Sason, Rüdiger L. Urbanke	Capacity-achieving ensembles for the binary erasure channel with bounded complexity.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
14	Adrian Kosowski, Michal Malafiejski, Pawel Zylinski	On Bounded Load Routings for Modeling k-Regular Connection Topologies.	ISAAC	2005	DBLP DOI BibTeX RDF
14	Domenico Cantone, Salvatore Cristofaro, Simone Faro	An Efficient Algorithm for alpha-Approximate Matching with delta-Bounded Gaps in Musical Sequences.	WEA	2005	DBLP DOI BibTeX RDF
14	Jacob Katz, Ziyad Hanna, Nachum Dershowitz	Space-Efficient Bounded Model Checking.	DATE	2005	DBLP DOI BibTeX RDF
14	Piyush Kanti Bhunre, C. A. Murthy, Arijit Bishnu, Bhargab B. Bhattacharya, Malay Kumar Kundu	A Hybrid Data and Space Partitioning Technique for Similarity Queries on Bounded Clusters.	PReMI	2005	DBLP DOI BibTeX RDF
14	Yan Zong Ding	Error Correction in the Bounded Storage Model.	TCC	2005	DBLP DOI BibTeX RDF
14	Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner	Cryptography In the Bounded Quantum-Storage Model.	FOCS	2005	DBLP DOI BibTeX RDF
14	Jianguang Weng, Yueting Zhuang, Hui Zhang 0006	Error-Bounded Solid Voxelization for Polygonal Model Based on Heuristic Seed Filling.	ISVC	2005	DBLP DOI BibTeX RDF
14	Fabian Kuhn, Thomas Moscibroda, Tim Nieberg, Roger Wattenhofer	Fast Deterministic Distributed Maximal Independent Set Computation on Growth-Bounded Graphs.	DISC	2005	DBLP DOI BibTeX RDF
14	Omer Giménez, Petr Hlinený, Marc Noy	Computing the Tutte Polynomial on Graphs of Bounded Clique-Width.	WG	2005	DBLP DOI BibTeX RDF	subexponential algorithm, U polynomial, cographs, clique-width, Tutte polynomial
14	Hakan Altinçay, Ali Tüzel	Combination of Boosted Classifiers Using Bounded Weights.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
14	Hector Vazquez-Leal, Luis Hernández-Martínez, Arturo Sarmiento-Reyes	Double-bounded homotopy for analysing nonlinear resistive circuits.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
14	Feng Liu, Xicheng Lu, Yuxing Peng 0001	An Efficient Heuristic Algorithm for Constructing Delay- and Degree-Bounded Application-Level Multicast Tree.	GCC	2005	DBLP DOI BibTeX RDF
14	Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe 0001, Mario J. Pérez-Jiménez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor	On P Systems with Bounded Parallelism.	SYNASC	2005	DBLP DOI BibTeX RDF
14	Antonina Kolokolova	Closure Properties of Weak Systems of Bounded Arithmetic.	CSL	2005	DBLP DOI BibTeX RDF
14	Feng Liu, Xicheng Lu, Yuxing Peng 0001, Jingshu Huang	An Efficient Distributed Algorithm for Constructing Delay and Degree-Bounded Application-Level Multicast Tree.	ISPAN	2005	DBLP DOI BibTeX RDF
14	Maria Luisa Bonet, Carlos Domingo, Ricard Gavaldà, Alexis Maciel, Toniann Pitassi	Non-Automatizability of Bounded-Depth Frege Proofs.	Comput. Complex.	2004	DBLP DOI BibTeX RDF	Subject classification. 03F20, 68Q17, 68T15
14	Peter Bürgisser, Martin Lotz	Lower bounds on the bounded coefficient complexity of bilinear maps.	J. ACM	2004	DBLP DOI BibTeX RDF	bilinear circuits, lower bounds, Algebraic complexity, singular values
14	Tobias Schüle, Klaus Schneider 0001	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
14	Mohammad Awedh, Fabio Somenzi	Proving More Properties with Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
14	Leah Epstein, Rob van Stee	Optimal online bounded space multidimensional packing.	SODA	2004	DBLP BibTeX RDF
14	Greg Michaelson, Kevin Hammond, Jocelyn Sérot	FSM-Hume: programming resource-limited systems using bounded automata.	SAC	2004	DBLP DOI BibTeX RDF	multi-process simulation, functional language, finite state automata
14	Yan Zong Ding, Danny Harnik, Alon Rosen, Ronen Shaltiel	Constant-Round Oblivious Transfer in the Bounded Storage Model.	TCC	2004	DBLP DOI BibTeX RDF
14	Anders Adamson, Marc Alexa	Approximating Bounded, Non-Orientable Surfaces from Points.	SMI	2004	DBLP DOI BibTeX RDF	ray-surface intersection, non-orientable, boundary, manifold, point-sampled geometry