Sciweavers

3914 search results - page 354 / 783
» Automating SLA modeling
Sort
View
FMSD
2002
107views more  FMSD 2002»
15 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
TMI
1998
122views more  TMI 1998»
15 years 6 months ago
Segmentation and Interpretation of MR Brain Images: An Improved Active Shape Model
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
Nicolae Duta, Milan Sonka
GLOBECOM
2010
IEEE
15 years 4 months ago
Analytical Modelling of IEEE 802.15.4 for Multi-Hop Networks with Heterogeneous Traffic and Hidden Terminals
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
Piergiuseppe Di Marco, Pan Gun Park, Carlo Fischio...
INTERSPEECH
2010
15 years 1 months ago
Modeling liaison in French by using decision trees
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
Josafá de Jesus Aguiar Pontes, Sadaoki Furu...
CVPR
1999
IEEE
16 years 8 months ago
Model-Guided Segmentation of Corpus Callosum in MR Images
Magnetic resonance imaging (MRI) of the brain, followed by automated segmentation of the corpus callosum (CC) in midsagittal sections have important applications in both clinical ...
Arvid Lundervold, Torfinn Taxt, Nicolae Duta, Anil...