Sciweavers

10790 search results - page 332 / 2158
» Using feature models to automate model transformations
Sort
View
STTT
2008
87views more  STTT 2008»
15 years 6 months ago
ProB: an automated analysis toolset for the B method
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
Michael Leuschel, Michael J. Butler
ICASSP
2011
IEEE
14 years 10 months ago
A fully automated 2-DE gel image analysis pipeline for high throughput proteomics
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...
Panagiotis Tsakanikas, Elias S. Manolakos
179
Voted
IRAL
2003
ACM
16 years 1 days ago
Korean named entity recognition using HMM and CoTraining model
Namedentityrecognition isimportantinsophisticatedinformation service system such as Question Answering and Text Mining since most of the answer type and text mining unit depend on...
Euisok Chung, Yi-Gyu Hwang, Myung-Gil Jang
AINA
2005
IEEE
16 years 13 days ago
An Architecture for Automated QoS Resolution in Wireless Systems
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
Behzad Bordbar, Rachid Anane
MICCAI
2001
Springer
15 years 11 months ago
Exploiting Voxel Correlation for Automated MRI Bias Field Correction by Conditional Entropy Minimization
Abstract. An unsupervised model-based strategy for bias field correction is proposed. We assume that information (in the sense of the information theory) in the corrupted image is...
Eduardo Solanas, Jean-Philippe Thiran