44 search results - page 8 / 9 » Structuring Retrenchments in B by Decomposition |
JCP
2006
13 years 4 months ago
2006
As motion capture systems are increasingly used for motion tracking and capture, and more and more surveillance cameras are installed for security protection, more and more motion ...
IJCAI
1989
13 years 6 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
CSR
2006
Springer
13 years 8 months ago
2006
Springer
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
MMDB
2004
ACM
13 years 10 months ago
2004
ACM
Haptic data such as 3D motion capture data and sign language animation data are new forms of multimedia data. The motion data is multi-attribute, and indexing of multiattribute da...
MICCAI
1999
Springer
13 years 9 months ago
1999
Springer
This paper1 describes image processing techniques for Diffusion Tensor Magnetic Resonance. In Diffusion Tensor MRI, a tensor describing local water diffusion is acquired for each v...