6202 search results - page 49 / 1241 » Without Loss of Generality |
ICMI
2010
Springer
14 years 8 months ago
2010
Springer
The Ambient Spotlight is a prototype system based on personal meeting capture using a laptop and a portable microphone array. The system automatically recognises and structures th...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
AIED
2007
Springer
15 years 1 months ago
2007
Springer
Complex student models often include key parameters critical to their behavior and effectiveness. For example, one meta-cognitive model of student help-seeking in intelligent tutor...
FASE
2007
Springer
15 years 4 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
ICDM
2006
IEEE
15 years 4 months ago
2006
IEEE
In recent years, a major thread of research on kanonymity has focused on developing more flexible generalization schemes that produce higher-quality datasets. In this paper we in...