4520 search results - page 279 / 904 » Algebraic Techniques for Timed Systems |
191
click to vote
ENTCS
2006
15 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
209
click to vote
SIAMJO
2008
15 years 7 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
200
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We present an online, recursive filtering technique to model linear dynamical systems that operate on the state space of symmetric positive definite matrices (tensors) that lie on...
307
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Adaptivity is a challenging open issue in data stream management. In this paper, we tackle the problem of memory adaptivity inside a system executing temporal sliding window queri...
172
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
A new blind channel estimation technique for multiple-input multiple-output orthogonal frequency-division multiplexing (MIMO-OFDM) systems is proposed. It estimates the channel pa...