2 search results - page 1 / 1 » Lazy Approximation for Dense Real-Time Systems |
FORMATS
2004
Springer
13 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
SCALESPACE
2005
Springer
13 years 10 months ago
2005
Springer
Variational methods are very popular for optic flow computation: They yield dense flow fields and perform well if they are adapted such that they respect discontinuities in the ...