1116 search results - page 50 / 224 » Applying Predicate Abstraction to Abstract State Machines |
BRAIN
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper, we want to farther advance the parallelism between models of the brain and computing machines. We want to apply the same idea underlying neuroimaging techn...
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
105
click to vote
BIRTHDAY
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
112
click to vote
MICCAI
2000
Springer
15 years 2 months 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...
CL
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...