Sciweavers

5699 search results - page 1006 / 1140
» Alternating model trees
Sort
View
TOCL
2008
113views more  TOCL 2008»
15 years 6 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
CCE
2005
15 years 6 months ago
Logic-based outer approximation for globally optimal synthesis of process networks
Process network problems can be formulated as Generalized Disjunctive Programs where a logicbased representation is used to deal with the discrete and continuous decisions. A new ...
María Lorena Bergamini, Pío A. Aguir...
JMM
2007
107views more  JMM 2007»
15 years 6 months ago
Using a Spatial Context Authentication Proxy for Establishing Secure Wireless Connections
Spontaneous interaction in wireless ad-hoc networks is often desirable not only between users or devices in direct contact, but also with devices that are accessible only via a wi...
Rene Mayrhofer, Roswitha Gostner
TSP
2008
146views more  TSP 2008»
15 years 6 months ago
Improved M-FOCUSS Algorithm With Overlapping Blocks for Locally Smooth Sparse Signals
Abstract-- The FOCal Underdetermined System Solver (FOCUSS) algorithm has already found many applications in signal processing and data analysis, whereas the regularized MFOCUSS al...
Rafal Zdunek, Andrzej Cichocki
TSP
2008
82views more  TSP 2008»
15 years 6 months ago
Matched Subspace Detection With Hypothesis Dependent Noise Power
We consider the problem of detecting a subspace signal in white Gaussian noise when the noise power may be different under the null hypothesis--where it is assumed to be known--and...
François Vincent, Olivier Besson, Cé...
« Prev « First page 1006 / 1140 Last » Next »