Sciweavers

146 search results - page 10 / 30
» Explicit Reflection in Prolog-Tutor
Sort
View
ICML
2005
IEEE
14 years 8 months ago
Beyond the point cloud: from transductive to semi-supervised learning
Due to its occurrence in engineering domains and implications for natural learning, the problem of utilizing unlabeled data is attracting increasing attention in machine learning....
Vikas Sindhwani, Partha Niyogi, Mikhail Belkin
CHI
2009
ACM
14 years 8 months ago
Product interest and engagement scale, beta (pies-beta): initial development
We report a work in progress: development and initial validation of the Product Interest and Engagement Scale (PIES), a short assessment instrument measuring consumer interest in ...
Christopher N. Chapman, Michal Lahav, Edwin Love, ...
SIGCSE
2009
ACM
82views Education» more  SIGCSE 2009»
14 years 8 months ago
An experience report on the design and delivery of two new software design courses
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
Alex Baker, André van der Hoek
ICFP
2008
ACM
14 years 7 months ago
Functional translation of a calculus of capabilities
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
Arthur Charguéraud, François Pottier
CSE
2009
IEEE
14 years 2 months ago
Designing Privacy for Scalable Electronic Healthcare Linkage
—A unified electronic health record (EHR) has potentially immeasurable benefits to society, and the current healthcare industry drive to create a single EHR reflects this. Howeve...
Anthony Stell, Richard O. Sinnott, Oluwafemi Ajayi...