1860 search results - page 65 / 372 » A Temporal Logic of Robustness |
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
74
Voted
TAP
2009
Springer
15 years 7 months ago
2009
Springer
66
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
89
Voted
VL
2007
IEEE
15 years 7 months ago
2007
IEEE
Interval-valued computation is an unconventional computing paradigm. It is an idealization of classical 16-, 32-, 64- etc. bit based computations. It represents data as specific ...
CAV
2007
Springer
15 years 6 months ago
2007
Springer