Sciweavers

3415 search results - page 181 / 683
» Lower Bounds for Kernelizations
Sort
View
GECCO
2004
Springer
15 years 10 months ago
Upper Bounds on the Time and Space Complexity of Optimizing Additively Separable Functions
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
Matthew J. Streeter
NIPS
1998
15 years 6 months ago
Inference in Multilayer Networks via Large Deviation Bounds
We study probabilistic inference in large, layered Bayesian networks represented as directed acyclic graphs. We show that the intractability of exact inference in such networks do...
Michael J. Kearns, Lawrence K. Saul
CORR
2007
Springer
137views Education» more  CORR 2007»
15 years 4 months ago
Bounds on the Network Coding Capacity for Wireless Random Networks
— Recently, it has been shown that the max flow capacity can be achieved in a multicast network using network coding. In this paper, we propose and analyze a more realistic mode...
Salah A. Aly, Vishal Kapoor, Jie Meng, Andreas Kla...
SAT
2005
Springer
122views Hardware» more  SAT 2005»
15 years 10 months ago
A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
Maher N. Mneimneh, Inês Lynce, Zaher S. Andr...
ICRA
2000
IEEE
118views Robotics» more  ICRA 2000»
15 years 9 months ago
Optimal Feedback Control for Route Tracking with a Bounded-Curvature Vehicle
W'e consider the kinematic model of a vehicle moving forward with a lower bounded turning radius. This model, is relevant to describe the kinematics of road vehicles as well ...
Philippe Souères, Andrea Balluchi, Antonio ...