Sciweavers

2328 search results - page 324 / 466
» Statistical machine translation
Sort
View
IDTRUST
2010
ACM
16 years 1 months ago
Computational techniques for increasing PKI policy comprehension by human analysts
Natural-language policies found in X.509 PKI describe an organization’s stated policy as a set of requirements for trust. The widespread use of X.509 underscores the importance ...
Gabriel A. Weaver, Scott A. Rea, Sean W. Smith
ICML
2009
IEEE
16 years 1 months ago
Active learning for directed exploration of complex systems
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
Michael C. Burl, Esther Wang
ICALT
2008
IEEE
16 years 1 months ago
LEMAT: A Project for Innovation in Teaching Mathematics
“Lemat” is an acronym for Libro Electrónico de Matemáticas, which means Electronic Book of Mathematics. It is a project developed by a group of teachers at secondary school ...
Beatriz Porras, Jose A. Cordon, Juan Manuel Olazab...
SEFM
2006
IEEE
16 years 24 days ago
Describing and Executing Random Reactive Systems
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
Pascal Raymond, Erwan Jahier, Yvan Roux
ICIAR
2009
Springer
15 years 11 months ago
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fi...