5525 search results - page 746 / 1105 » Verification of Model Transformations |
173
Voted
APN
1994
Springer
15 years 11 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
184
Voted
UIST
1993
ACM
15 years 11 months ago
1993
ACM
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
165
Voted
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Many activities may be characterized by a sequence of key frames that are related to important changes in motion rather than dominant characteristics that persist over a long seque...
178
click to vote
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. When an object moves, it covers and uncovers texture in the background. This pattern of change is sufficient to define the object's shape, velocity, relative depth, ...
226
click to vote
EUROS
2006
15 years 10 months ago
2006
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...