15792 search results - page 71 / 3159 » Computational Abstraction Steps |
FOSSACS
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
MICCAI
2000
Springer
14 years 22 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...
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...
CIE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor step...
MOC
2000
13 years 9 months ago
2000
Abstract. I describe a modification to Shanks' baby-step giant-step algorithm for computing the order n of an element g of a group G, assuming n is finite. My method has the a...