Sciweavers

7380 search results - page 29 / 1476
» time 2008
Sort
View
IEE
2010
41views more  IEE 2010»
13 years 8 months ago
Synthesising certificates in networks of timed automata
Bernd Finkbeiner, H.-J. Peter, Sven Schewe
PVLDB
2010
75views more  PVLDB 2010»
13 years 8 months ago
Parsimonious Linear Fingerprinting for Time Series
Lei Li, B. Aditya Prakash, Christos Faloutsos
SIAMCO
2010
79views more  SIAMCO 2010»
13 years 8 months ago
Time-Varying Optimal Disturbance Minimization in Presence of Plant Uncertainty
Seddik M. Djouadi, Charalambos D. Charalambous