10285 search results - page 77 / 2057 » Composing Feature Models |
109
Voted
TCC
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
118
Voted
ECBS
2003
IEEE
15 years 8 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
143
Voted
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
—A new generative model of handwriting patterns is proposed for interpreting their deformations. The model is based on feature desynchronization, which is a coupling process of
110
Voted
ITS
1992
Springer
15 years 6 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...
132
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...