1860 search results - page 137 / 372 » A Temporal Logic of Robustness |
156
click to vote
ACTAC
2007
15 years 7 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
188
click to vote
IJON
2008
15 years 7 months ago
2008
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...
356
click to vote
TMM
2010
15 years 1 months ago
2010
Digital video stabilization enables to acquire video sequences without disturbing jerkiness by compensating unwanted camera movements. In this paper we propose a novel fast image r...
151
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We introduce a novel statistical test for unsupervised detection of changepoints in multidimensional sequences of temporal observations. The test statistic is based on a multivari...
190
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
In a data word or a data tree each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been considered in the realm of sem...