Sciweavers

547 search results - page 47 / 110
» Teaching with technology, setting an example
Sort
View
SAC
2010
ACM
14 years 2 months ago
CNL4DSA: a controlled natural language for data sharing agreements
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. A DSA represents a flexible mean to assure privacy of data exchanged on t...
Ilaria Matteucci, Marinella Petrocchi, Marco Luca ...
CONCUR
2009
Springer
14 years 2 months ago
Encoding Asynchronous Interactions Using Open Petri Nets
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
Paolo Baldan, Filippo Bonchi, Fabio Gadducci
MKM
2009
Springer
14 years 2 months ago
MathLang Translation to Isabelle Syntax
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
Robert Lamar, Fairouz Kamareddine, J. B. Wells
IDA
2007
Springer
14 years 2 months ago
Learning to Align: A Statistical Approach
We present a new machine learning approach to the inverse parametric sequence alignment problem: given as training examples a set of correct pairwise global alignments, find the p...
Elisa Ricci, Tijl De Bie, Nello Cristianini
AICT
2006
IEEE
14 years 2 months ago
Privacy and data protection in technology-enhanced professional learning
Privacy provision and data protection are basic requirements for professional learning, especially when personalized systems are used that adapt to sensitive learner personal data...
Tomaz Klobucar