577 search results - page 52 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
SCALESPACE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We propose a variational model which permits to simultaneously deblur and oversample an image. Indeed, after some recalls on an existing variational model for image overs...
MVA
2007
13 years 8 months ago
2007
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
APWEB
2011
Springer
13 years 4 months ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
SAS
2001
Springer
14 years 1 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
RTS
2008
13 years 8 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...