10790 search results - page 329 / 2158 » Using feature models to automate model transformations |
206
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
187
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We describe feature space and model space discriminative training for a new class of acoustic models called Bayesian sensing hidden Markov models (BS-HMMs). In BS-HMMs, speech dat...
177
click to vote
VLSM
2005
Springer
16 years 8 days ago
2005
Springer
Current state-of-the-art methods in variational image segmentation using level set methods are able to robustly segment complex textured images in an unsupervised manner. In recent...
225
click to vote
SCP
2000
15 years 6 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
160
click to vote
TEC
2002
15 years 6 months ago
2002
We investigate the application of genetic algorithms (GAs) for recognizing real two-dimensional (2-D) or three-dimensional (3-D) objects from 2-D intensity images, assuming that th...