Sciweavers

4674 search results - page 352 / 935
» cases 2008
Sort
View
SCP
1998
113views more  SCP 1998»
15 years 6 months ago
Linear-Time Hierarchies for a Functional Language Machine Model
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...
Eva Rose
SIAMCO
2002
124views more  SIAMCO 2002»
15 years 6 months ago
On Reachability Under Uncertainty
The paper studies the problem of reachability for linear systems in the presence of uncertain input disturbances that may also be interpreted as the action of an adversary in a ga...
Alexander B. Kurzhanski, Pravin Varaiya
SIAMDM
2002
52views more  SIAMDM 2002»
15 years 6 months ago
Testing k-colorability
Let G be a graph on n vertices and suppose that at least n2 edges have to be deleted from it to make it k-colorable. It is shown that in this case most induced subgraphs of G on c...
Noga Alon, Michael Krivelevich
TIP
1998
90views more  TIP 1998»
15 years 6 months ago
Processing JPEG-compressed images and documents
—As the Joint Photographic Experts Group (JPEG) has become an international standard for image compression, we present techniques that allow the processing of an image in the “...
Ricardo L. de Queiroz
TIT
1998
96views more  TIT 1998»
15 years 6 months ago
Nonparametric Estimation of Transfer Functions: Rates of Convergence and Adaptation
Abstract— The paper deals with estimating transfer functions of stable linear time-invariant systems under stochastic assumptions. We adopt a nonparametric minimax approach for m...
Alexander Goldenshluger