Search Sciweavers | Sciweavers

18

ACII
2005
Springer

176views Applied Computing» more ACII 2005»

13 years 7 months ago

Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...

Jingcai Fan, Hongxun Yao, Wen Gao, Yazhou Liu, Xin...

claim paper

Read More »

14

click to vote

ASM
2005
ASM

107views Computational Biology» more ASM 2005»

A Modular Design for the Common Language Runtime (CLR) Architecture

13 years 7 months ago

Download www.lst.inf.ethz.ch

Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...

Nicu G. Fruja

claim paper

Read More »

14

click to vote

ASM
2005
ASM

124views Computational Biology» more ASM 2005»

Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking

13 years 10 months ago

Download www.mi.ras.ru

We consider a speciﬁc kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...

Andrey Novikov, Rostislav Yavorskiy

claim paper

Read More »

16

click to vote

ASM
2005
ASM

104views Computational Biology» more ASM 2005»

Scenario based Analysis of Linear Computations

13 years 10 months ago

Download www.mi.ras.ru

Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to diﬀerent typical scenarios of...

Vladimir Filatov, Rostislav Yavorskiy

claim paper

Read More »

13

click to vote

FROCOS
2005
Springer

103views Control Systems» more FROCOS 2005»

The ASM Method for System Design and Analysis. A Tutorial Introduction

13 years 10 months ago