1175 search results - page 144 / 235 » Abstract computability and algebraic specification |
MICCAI
2000
Springer
14 years 15 days ago
2000
Springer
Augmented surgical manipulation tasks can be viewed as a sequence of smaller, steps driven primarily by the surgeon's input. These steps can be abstracted as controlled intera...
RT
2000
Springer
14 years 15 days ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
ASM
2008
ASM
13 years 11 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...