2163 search results - page 154 / 433 » cases 2004 |
145
Voted
EDOC
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
143
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
151
Voted
DLOG
2004
15 years 7 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
182
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
We present a robust framework for estimating non-rigid 3D shape and motion in video sequences. Given an input video sequence, and a user-specified region to reconstruct, the algori...
141
click to vote
MICCAI
2004
Springer
16 years 6 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...