Sciweavers

1840 search results - page 10 / 368
» time 2002
Sort
View
73
Voted
ENTCS
2002
89views more  ENTCS 2002»
15 years 2 months ago
Bounded Model Checking for Timed Automata
Maria Sorea
92
Voted
IJIG
2002
68views more  IJIG 2002»
15 years 2 months ago
Search for Patterns in Compressed Time Series
Kevin B. Pratt, Eugene Fink