1860 search results - page 137 / 372 » A Temporal Logic of Robustness |
ACTAC
2007
15 years 25 days 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...
100
Voted
IJON
2008
15 years 21 days 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 ...
212
click to vote
TMM
2010
14 years 7 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...
89
Voted
ICASSP
2011
IEEE
14 years 4 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...
106
click to vote
CSL
2006
Springer
15 years 22 days 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...