Sciweavers

612 search results - page 66 / 123
» Division for Foundation of Software
Sort
View
139
Voted
ISBI
2006
IEEE
16 years 4 months ago
An evaluation of three approaches to tetrahedral mesh generation for deformable registration of brain MR images
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, ...
132
Voted
WWW
2005
ACM
16 years 4 months ago
Soundness proof of Z semantics of OWL using institutions
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...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 10 months ago
Service Interaction: Patterns, Formalization, and Analysis
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...
ISPDC
2008
IEEE
15 years 10 months ago
FPGA Implementations of a Parallel Associative Processor with Multi-Comparand Multi-Search Operations
Multi–comparand associative processors are efficient in parallel processing of complex search problems that arise from many application areas including computational geometry, ...
Zbigniew Kokosinski, Bartlomiej Malus
IAT
2006
IEEE
15 years 10 months ago
A Cognitive Model for Visual Attention and Its Application
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...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur