Sciweavers

1845 search results - page 206 / 369
» Automatic Initiation of an Ontology
Sort
View
INTELLCOMM
2004
Springer
15 years 12 months ago
Inferring Presence in a Context-Aware Instant Messaging System
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...
Mikko Perttunen, Jukka Riekki
ICPR
2002
IEEE
15 years 11 months ago
Image Segmentation Using Gradient Vector Diffusion and Region Merging
Active Contour (or Snake) Model is recognized as one of the efficient tools for 2D/3D image segmentation. However, traditional snake models prove to be limited in several aspects...
Zeyun Yu, Chandrajit L. Bajaj
SCALESPACE
2001
Springer
15 years 11 months ago
Robust Multi-scale Non-rigid Registration of 3D Ultrasound Images
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...
Ioannis Pratikakis, Christian Barillot, Pierre Hel...
ICGI
1994
Springer
15 years 10 months ago
Computer Assisted Grammar Construction
: This paper proposes a new inference approach for Chinese probabilistic context-free grammar, which implements the EM algorithm based on the bracket matching schemes. By utilizing...
S. J. Young, H.-H. Shih
FMCAD
2008
Springer
15 years 8 months ago
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
George Hagen, Cesare Tinelli