3116 search results - page 362 / 624 » Positively dependent types |
175
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we present a visual education tool for efficient and effective learning. The toolkit is based on a simple premise: simple concepts should be learned before advanced ...
150
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Mixed Presence Groupware (MPG) supports both colocated and distributed participants working over a shared visual workspace. It does this by connecting multiple single-display grou...
195
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
153
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
U-shaped learning is a learning behaviour in which the learner first learns a given target behaviour, then unlearns it and finally relearns it. Such a behaviour, observed by psych...
171
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this work we give the first deterministic extractors from a constant number of weak sources whose entropy rate is less than 1/2. Specifically, for every > 0 we give an expl...