4140 search results - page 499 / 828 » A Use Case Based Approach to Feature Models' Construction |
162
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose an efficient method to recognize multi-stroke handwritten symbols. The method is based on computing the truncated Legendre-Sobolev expansions of the coordinate functio...
194
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
178
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
163
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
In this paper we develop a probabilistic interpretation and a full Bayesian inference for non-negative matrix deconvolution (NMFD) model. Our ultimate goal is unsupervised extract...
186
click to vote
ESORICS
2004
Springer
16 years 10 hour ago
2004
Springer
This work presents a practical public-key encryption scheme that offers security under adaptive chosen-ciphertext attack (CCA) and has pseudo-random ciphertexts, i.e. ciphertexts ...