103 search results - page 5 / 21 » A Formal Methods Approach to Medical Device Review |
RTCSA
1997
IEEE
14 years 22 days ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
COLING
1996
13 years 9 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
This paper presents an axiomatic approach to corner detection. In the first part of the paper we review five currently used corner detection methods (Harris-Stephens, F?orstner, S...
MIAR
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we propose an approach to find the optimal position of an electrode, for assisting surgeons in planning Deep Brain Stimulation. We first show how we formalized the...