34 search results - page 7 / 7 » maude 2007 |
USAB
2007
13 years 6 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
MICCAI
2007
Springer
14 years 6 months ago
2007
Springer
Abstract. A needle-tissue interaction model is an essential part of every needle insertion simulator. In this paper, a new experimental method for the modeling of needle-tissue int...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
BMCBI
2007
13 years 5 months ago
2007
Background: In general, the construction of trees is based on sequence alignments. This procedure, however, leads to loss of informationwhen parts of sequence alignments (for inst...