Sciweavers

1307 search results - page 101 / 262
» Follow the intellectual property
Sort
View
MICCAI
1998
Springer
15 years 5 months ago
Robust Brain Segmentation Using Histogram Scale-Space Analysis and Mathematical Morphology
Abstract. In this paper, we propose a robust fully non-supervised method dedicated to the segmentation of the brain in T1-weighted MR images. The first step consists in the analysi...
Jean-Francois Mangin, Olivier Coulon, Vincent Frou...
TAPSOFT
1997
Springer
15 years 5 months ago
An Applicative Module Calculus
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
Judicaël Courant
FDL
2007
IEEE
15 years 5 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
LREC
2010
442views Education» more  LREC 2010»
15 years 3 months ago
Medefaidrin: Resources Documenting the Birth and Death Language Life-cycle
Language resources are typically defined and created for application in speech technology contexts, but the documentation of languages which are unlikely ever to be provided with ...
Dafydd Gibbon, Moses Ekpenyong, Eno-Abasi Urua
LREC
2008
84views Education» more  LREC 2008»
15 years 3 months ago
A Hybrid Approach to Extracting and Classifying Verb+Noun Constructions
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
Amalia Todirascu, Dan Tufis, Ulrich Heid, Christop...