1322 search results - page 72 / 265 » Parameterized counting problems |
CJ
2010
13 years 6 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
ICML
2002
IEEE
14 years 9 months ago
2002
IEEE
In a multi-view problem, the features of the domain can be partitioned into disjoint subsets (views) that are sufficient to learn the target concept. Semi-supervised, multi-view a...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a new technique for proving kernelization lower bounds, called cross-composition. A classical problem L cross-composes into a parameterized problem Q if an instance o...
SIAMSC
2010
13 years 7 months ago
2010
Abstract. This paper is concerned with optimal control problems of partial differential equations. In particular, parameterized convection-diffusion problems are considered, wher...
COMPGEOM
2009
ACM
14 years 3 months ago
2009
ACM
We present cache-oblivious solutions to two important variants of range searching: range reporting and approximate range counting. Our main contribution is a general approach for ...