Sciweavers

1340 search results - page 125 / 268
» Kalman Temporal Differences
Sort
View
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
15 years 1 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider
TSP
2010
14 years 10 months ago
Detection of spatially correlated Gaussian time series
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. For wide...
David Ramírez, Javier Vía, Ignacio S...
CAMAD
2006
IEEE
15 years 7 months ago
A packet-level characterization of network traffic
In this paper we show results from a packet-level traffic characterization aiming at finding spatial and temporal invariances of TCP based applications, such as HTTP and SMTP. We d...
Alberto Dainotti, Antonio Pescapè, Giorgio ...
127
Voted
TMI
2002
96views more  TMI 2002»
15 years 3 months ago
Imaging of spatiotemporal coincident states by DC optical tomography
The utility of optical tomography as a practical imaging modality has, thus far, been limited by its intrinsically low spatial resolution and quantitative accuracy. Recently, we ha...
Harry L. Graber, Yaling Pei, Randall L. Barbour
150
Voted
KDD
2010
ACM
217views Data Mining» more  KDD 2010»
15 years 2 months ago
Mining program workflow from interleaved traces
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
Jian-Guang Lou, Qiang Fu, Shengqi Yang, Jiang Li, ...