2282 search results - page 126 / 457 » Active property checking |
155
click to vote
STACS
2004
Springer
15 years 9 months ago
2004
Springer
An Active Context-Free Game is a game with two players (Romeo and Juliet) on strings over a finite alphabet. In each move, Juliet selects a position of the current word and Romeo ...
141
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
We present a region based active contour model which does not require any initialisation and is capable of modelling multi-modal image regions. Its external force is based on stat...
137
click to vote
BILDMED
2006
15 years 5 months ago
2006
Abstract. We propose an algorithm for the segmentation of blood vessels in the kind of CT-data typical for diagnostics in a clinical environment. Due to poor quality and variance i...
118
click to vote
FASE
2001
Springer
15 years 9 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
127
click to vote
CVPR
2001
IEEE
16 years 6 months ago
2001
IEEE
A gait-recognition technique that recovers static body and stride parameters of subjects as they walk is presented. This approach is an example of an activity-specific biometric: ...