3179 search results - page 277 / 636 » Applications of PCF Theory |
105
Voted
ICEIS
2003
IEEE
15 years 6 months ago
2003
IEEE
: In the traditional classroom, students learned to depend on tutors for their motivation, direction, goal setting, progress monitoring, self-assessment, and achievement. A fundame...
126
Voted
CCS
2003
ACM
15 years 6 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
107
click to vote
TPHOL
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
96
Voted
ICDT
2010
ACM
15 years 5 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
114
click to vote
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...