5409 search results - page 294 / 1082 » Basic Observables for Processes |
153
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider the problem of planar object registration on binary images where the aligning transformation is restricted to the group of affine transformations. Previous approaches...
188
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
The semantic web services composition process arranges several web services into one composite to realize complex workflows. To do this, semantic metadata of web services’ desc...
142
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper deals with classification of human gait types based on the notion that different gait types are in fact different types of locomotion, i.e., running is not simply walk...
167
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
The geometric features of images, such as edges, are difficult to represent. When a redundant transform is used for their extraction, the compression challenge is even more dif...
154
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...