Sciweavers

8555 search results - page 1530 / 1711
» Property Based Coordination
Sort
View
TSMC
2011
289views more  TSMC 2011»
15 years 16 days ago
Formalizing Functional Flow Block Diagrams Using Process Algebra and Metamodels
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
Allan I. McInnes, Brandon K. Eames, Russell J. Gro...
MICCAI
2006
Springer
16 years 6 days ago
Simultaneous Stereoscope Localization and Soft-Tissue Mapping for Minimal Invasive Surgery
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
Peter Mountney, Danail Stoyanov, Andrew Davison, G...
CORR
2011
Springer
202views Education» more  CORR 2011»
14 years 9 months ago
First-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
Zoran Majkic
CVPR
2011
IEEE
14 years 9 months ago
Symmetric Piecewise Planar Object Reconstruction from a Single Image
Recovering 3D geometry from a single view of an object is an important and challenging problem in computer vision. Previous methods mainly focus on one specific class of objects ...
Tianfan XUE, Jianzhuang LIU
223
Voted
CVPR
2011
IEEE
14 years 9 months ago
Effective 3D Object Detection and Regression Using Probabilistic Segmentation Features in CT Images
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
Le Lu, Jinbo Bi, Matthias Wolf, Marcos Salganicoff
« Prev « First page 1530 / 1711 Last » Next »