8676 search results - page 359 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
196
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
162
click to vote
JMLR
2010
15 years 1 months ago
2010
We propose a non-linear graphical model for structured prediction. It combines the power of deep neural networks to extract high level features with the graphical framework of Mar...
174
click to vote
IFIP
2007
Springer
16 years 25 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
207
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: A nanopore detector has a nanometer-scale trans-membrane channel across which a potential difference is established, resulting in an ionic current through the channel ...
225
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We study unsupervised learning of occluding objects in images of visual scenes. The derived learning algorithm is based on a probabilistic generative model which parameterizes obj...