Sciweavers

3415 search results - page 282 / 683
» Lower bounds on kernelization
Sort
View
ARSCOM
2006
140views more  ARSCOM 2006»
15 years 6 months ago
Expansion Properties Of Levi Graphs
ABSTRACT. The Levi graph of a balanced incomplete block design is the bipartite graph whose vertices are the points and blocks of the design, with each block adjacent to those poin...
Dominic Lanphier, C. Miller, Jason Rosenhouse, A. ...
CSL
2006
Springer
15 years 6 months ago
Infinite State Model-Checking of Propositional Dynamic Logics
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
Stefan Göller, Markus Lohrey
IEICET
2006
76views more  IEICET 2006»
15 years 6 months ago
Relationship among Complexities of Individual Sequences over Countable Alphabet
This paper investigates some relations among four complexities of sequence over countably infinite alphabet, and shows that two kinds of empirical entropies and the self-entropy r...
Shigeaki Kuzuoka, Tomohiko Uyematsu
IPL
2008
79views more  IPL 2008»
15 years 6 months ago
Ski rental with two general options
We define and solve a simple extension of the ski-rental problem [4]. In the classical version, the algorithm needs to decide when to switch from renting to buying. In our version...
Zvi Lotker, Boaz Patt-Shamir, Dror Rawitz
JMIV
2006
78views more  JMIV 2006»
15 years 6 months ago
Shape Estimation from Support and Diameter Functions
We address the problem of reconstructing a planar shape from a finite number of noisy measurements of its support function or its diameter function. New linear and non-linear algor...
Amyn Poonawala, Peyman Milanfar, Richard J. Gardne...