27 search results - page 6 / 6 » Extended possibilistic truth values |
MICCAI
2009
Springer
13 years 11 months ago
2009
Springer
The quest for providing tissue characterization and functional mapping
during minimally invasive surgery (MIS) has motivated the development
of new surgical tools that extend the...
RV
2010
Springer
13 years 3 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...