215 search results - page 22 / 43 » Relational inductive shape analysis |
MICCAI
2003
Springer
14 years 8 months ago
2003
Springer
The assessment of surgical skills for Minimally Invasive Surgery (MIS) has traditionally been conducted with visual observation and objective scoring. This paper presents a practic...
AAECC
2007
Springer
13 years 7 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper presents a novel method for the classification of images that combines information extracted from the images and contextual information. The main hypothesis is that con...
IEEECGIV
2008
IEEE
14 years 2 months ago
2008
IEEE
The focus of this paper is to design a spur gear using an S-shaped transition curve where certain conditions need to be fulfilled such as curvature continuity, shaped parameter etc...
FMCAD
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...