Sciweavers

154 search results - page 8 / 31
» Using Galois Ideals for Computing Relative Resolvents
Sort
View
MICCAI
2005
Springer
15 years 3 months ago
Dynamic 3D Ultrasound and MR Image Registration of the Beating Heart
Real-time three-dimensional ultrasound (RT3D US) is an ideal imaging modality for the diagnosis of cardiac disease. RT3D US is a flexible, inexpensive, non-invasive tool that provi...
Xishi Huang, Nicholas A. Hill, Jing Ren, Gerard Gu...
MOC
1998
93views more  MOC 1998»
14 years 9 months ago
Computing ray class groups, conductors and discriminants
We use the algorithmic computation of exact sequences of Abelian groups to compute the complete structure of (ZK /m)∗ for an ideal m of a number field K, as well as ray class gr...
Henri Cohen, Francisco Diaz y Diaz, Michel Olivier
79
Voted
CTW
2006
107views more  CTW 2006»
14 years 9 months ago
Human computer interaction methods for electronic flight bag envisionment and design
This paper reports on the application of a range of human computer interaction (HCI) methods to the redesign of an electronic flight bag (EFB), as part of a commercial software dev...
Joan Cahill, Nick McDonald
APPML
2005
55views more  APPML 2005»
14 years 9 months ago
Recovering a phylogenetic tree using pairwise closure operations
A fundamental task in evolutionary biology is the amalgamation of a collection P of leaf-labelled trees into a single parent tree. A desirable feature of any such amalgamation is ...
Katharina T. Huber, Vincent Moulton, Charles Sempl...
KR
2000
Springer
15 years 1 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...