28 search results - page 6 / 6 » socrates 2008 |
JAPLL
2008
13 years 4 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
ICPP
2008
IEEE
13 years 11 months ago
2008
IEEE
The slow speed of conventional execution-driven architecture simulators is a serious impediment to obtaining desirable research productivity. This paper proposes and evaluates a f...
MICCAI
2008
Springer
14 years 6 months ago
2008
Springer
Abstract. We present a modular framework for mechanically regularized nonrigid image registration of 3D ultrasound and for identification of tissue mechanical parameters. Mechanica...