Sciweavers

7117 search results - page 35 / 1424
» IT Governance Frameworks as Methods
Sort
View
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
Heart surface motion estimation framework for robotic surgery employing meshless methods
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...
APPML
2007
75views more  APPML 2007»
15 years 6 months ago
Analysis of substructuring preconditioners for mortar methods in an abstract framework
framework Silvia Bertoluzza∗, Micol Pennacchio Istituto di Matematica Applicata e Tecnologie Informatiche del C.N.R., v. Ferrata 1, 27100 Pavia, Italy Received 16 February 2006; ...
Silvia Bertoluzza, Micol Pennacchio
TPHOL
2007
IEEE
16 years 27 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
BMCBI
2007
143views more  BMCBI 2007»
15 years 6 months ago
An adaptive bin framework search method for a beta-sheet protein homopolymer model
Background: The problem of protein structure prediction consists of predicting the functional or native structure of a protein given its linear sequence of amino acids. This probl...
Alena Shmygelska, Holger H. Hoos
SDE
1991
15 years 10 months ago
A Configurable Framework for Method and Tool Integration
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
Jeff Kramer, Anthony Finkelstein