Sciweavers

3161 search results - page 60 / 633
» Hybrid results merging
Sort
View
ISBI
2006
IEEE
16 years 2 months ago
An interactive hybrid non-rigid registration framework for 3D medical images
This paper proposes a new interactive hybrid non-rigid registration framework that combines any intensity-based algorithm with a feature-based component, using an iterative dual e...
Antoine Azar, Chenyang Xu, Xavier Pennec, Nicholas...
143
Voted
ENTCS
2007
80views more  ENTCS 2007»
15 years 1 months ago
Topological Perspective on the Hybrid Proof Rules
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
Balder ten Cate, Tadeusz Litak
CLEF
2010
Springer
15 years 3 months ago
External and Intrinsic Plagiarism Detection Using a Cross-Lingual Retrieval and Segmentation System - Lab Report for PAN at CLEF
We present our hybrid system for the PAN challenge at CLEF 2010. Our system performs plagiarism detection for translated and non-translated externally as well as intrinsically plag...
Markus Muhr, Roman Kern, Mario Zechner, Michael Gr...
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
15 years 2 months ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel
JOT
2008
92views more  JOT 2008»
15 years 1 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...