Sciweavers

3656 search results - page 194 / 732
» Compact Location Problems
Sort
View
PODS
2003
ACM
113views Database» more  PODS 2003»
16 years 6 months ago
Materializing views with minimal size to answer queries
In this paper we study the following problem. Given a database and a set of queries, we want to find, in advance, a set of views that can compute the answers to the queries, such ...
Rada Chirkova, Chen Li
CP
2007
Springer
16 years 12 days ago
The Log-Support Encoding of CSP into SAT
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
Marco Gavanelli
WADS
2001
Springer
86views Algorithms» more  WADS 2001»
15 years 10 months ago
Practical Approximation Algorithms for Separable Packing Linear Programs
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
Feodor F. Dragan, Andrew B. Kahng, Ion I. Mandoiu,...
ISMB
1994
15 years 7 months ago
Representations of Metabolic Knowledge: Pathways
The automatic generation of drawings of metabolic pathways is a challenging problem that depends intimately on exactly what information has been recorded for each pathway, and on ...
Peter D. Karp, Suzanne M. Paley
CORR
2010
Springer
95views Education» more  CORR 2010»
15 years 6 months ago
Optimization and Convergence of Observation Channels in Stochastic Control
This paper studies the optimization of observation channels (stochastic kernels) in partially observed stochastic control problems. In particular, existence, continuity, and convex...
Serdar Yüksel, Tamás Linder