9067 search results - page 597 / 1814 » Adaptive Model Checking |
175
click to vote
CISST
2003
15 years 8 months ago
2003
Modality conversion is an important part in the content adaptation process of a Universal Multimedia Access system. The decision on modality conversion is dependent on terminal/ne...
185
click to vote
MIC
2003
15 years 8 months ago
2003
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...
133
click to vote
CE
2008
15 years 7 months ago
2008
: We present PKIP, an adaptable learning assistant tool for managing question items in item banks. PKIP is not only able to automatically assist educational users to categorize the...
184
click to vote
AUTOMATICA
2004
15 years 7 months ago
2004
Nonnegative and compartmental models are widespread in engineering systems and life sciences and play a key role in the understanding of these systems. In this paper, we develop a...
186
click to vote
SCN
2010
Springer
15 years 5 months ago
2010
Springer
At Asiacrypt 2009, Kurosawa and Nojima showed a fully simulatable adaptive oblivious transfer (OT) protocol under the DDH assumption in the standard model. However, Green and Hohen...