735 search results - page 83 / 147 » Procedural Modeling of Interconnected Structures |
PE
2010
Springer
13 years 3 months ago
2010
Springer
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of cap...
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
MASCOTS
1994
13 years 10 months ago
1994
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
We present a new unsupervised method to learn unified probabilistic object models (POMs) which can be applied to classification, segmentation, and recognition. We formulate this a...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...