Result 1 to 20 of 443 total
Verification of hardware interaction properties of software. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 308-322 (2012).
1
Convergence of an efficient local least-squares fitting method for bases with compact support. (English)
Comput. Methods Appl. Mech. Eng. 213-216, 84-92 (2012).
2
Isogeometric analysis of nearly incompressible solids. (English)
Int. J. Numer. Methods Eng. 87, No. 1-5, 273-288 (2011).
3
Executing in-network queries using SNEE. (English)
Fernandes, Alvaro A. A. (ed.) et al., Advances in databases. 28th British national conference on databases, BNCOD 28, Manchester, UK, July 12‒14, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24576-3/pbk). Lecture Notes in Computer Science 7051, 136-139 (2011).
4
Unified detection and tracking in retinal microsurgery. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23622-8/pbk). Lecture Notes in Computer Science 6891, 1-8 (2011).
5
SpringLS: a deformable model representation to provide interoperability between meshes and level sets. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23628-0/pbk). Lecture Notes in Computer Science 6892, 442-450 (2011).
6
Iterative refinement of point correspondences for 3D statistical shape models. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23628-0/pbk). Lecture Notes in Computer Science 6892, 417-425 (2011).
7
Visual tracking of surgical tools for proximity detection in retinal surgery. (English)
Taylor, Russell H. (ed.) et al., Information processing in computer-assisted interventions. Second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21503-2/pbk). Lecture Notes in Computer Science 6689, 55-66 (2011).
8
A multi-view active contour method for bone cement reconstruction from C-arm X-ray images. (English)
Taylor, Russell H. (ed.) et al., Information processing in computer-assisted interventions. Second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21503-2/pbk). Lecture Notes in Computer Science 6689, 36-46 (2011).
9
Information processing in computer-assisted interventions. Second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6689. Berlin: Springer (ISBN 978-3-642-21503-2/pbk). xiii, 192~p. EUR~49.22 (2011).
10
Hybrid cone-beam tomographic reconstruction: incorporation of prior anatomical models to compensate for missing data (English)
IEEE Trans. Med. Imaging 30, No. 1, 69-83 (2011).
11
Enriching regulatory networks by bootstrap learning using optimised GO-based gene similarity and gene links mined from pubmed abstracts (English)
I. J. Computational Biology and Drug Design 4, No. 1, 56-82 (2011).
12
Executing in-network queries using SNEE (English)
BNCOD, 136-139 (2011).
13
Taming changes with 1.x-way architecture-implementation mapping (English)
ASE, 396-399 (2011).
14
Visual tracking using the sum of conditional variance (English)
IROS, 2953-2958 (2011).
15
A constrained optimization approach to virtual fixtures for multi-robot collaborative teleoperation (English)
IROS, 639-644 (2011).
16
Visualization of anatomical information in near-infrared imaging for robotic urological surgery (English)
ICRA, 2412-2417 (2011).
17
Design of a new cable-driven manipulator with a large open lumen: preliminary applications in the minimally-invasive removal of osteolysis (English)
ICRA, 2913-2920 (2011).
18
Developing requirements in an established domain using tags and metadata (English)
RESS, 24-27 (2011).
19
CREST: principled foundations for decentralized systems (English)
OOPSLA Companion, 193-194 (2011).
20
Result 1 to 20 of 443 total
Start
Contact
Print
General Help
