In this paper we evaluate three conceptually different approaches to mesh generation for deformable Finite Element Method (FEM) registration of Magnetic Resonance (MR) images of b...
Andriy Fedorov, Nikos Chrisochoides, Ron Kikinis, ...
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
Multi–comparand associative processors are efficient in parallel processing of complex search problems that arise from many application areas including computational geometry, ...
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...