Sciweavers

1133 search results - page 84 / 227
» Best Practices in e-Assessment
Sort
View
CP
2001
Springer
15 years 11 months ago
Optimal Pruning in Parametric Differential Equations
Initial value problems for parametric ordinary differential equations (ODEs) arise in many areas of science and engineering. Since some of the data is uncertain, traditional numer...
Micha Janssen, Pascal Van Hentenryck, Yves Deville
CRYPTO
2001
Springer
95views Cryptology» more  CRYPTO 2001»
15 years 11 months ago
Robustness for Free in Unconditional Multi-party Computation
We present a very efficient multi-party computation protocol unconditionally secure against an active adversary. The security is maximal, i.e., active corruption of up to t < n/...
Martin Hirt, Ueli M. Maurer
ERCIMDL
2001
Springer
128views Education» more  ERCIMDL 2001»
15 years 10 months ago
Evaluating Electronic Textbooks: A Methodology
EBONI (Electronic Books ON-screen Interface) [1] builds on the premise to emerge from the Visual Book [2] and WEB Book projects [3], that appearance is important in the design of e...
Ruth Wilson, Monica Landoni
NLPRS
2001
Springer
15 years 10 months ago
Finding Target Language Correspondence for Lexicalized EBMT System
This paper presents a three-phase approach to find the correspondence in Target Language (TL) sentence for a fragment of Source Language (SL) sentence in a lexicalized EBMT system...
Wei Wang, Jin-Xia Huang, Ming Zhou, Changning Huan...
EDOC
2000
IEEE
15 years 10 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...