3001 search results - page 129 / 601 » Recursive type generativity |
162
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
149
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes a solution for the generation of true random numbers in a purely digital fashion; making it suitable for any FPGA type, because no FPGA vendor specific featur...
129
click to vote
APVIS
2006
15 years 7 months ago
2006
This paper describes how to design a digital book for a new science called `Knowledge Science'. We prepare several types of navigation facilities for browsing the book. Speci...
140
click to vote
AIED
2009
Springer
16 years 22 days ago
2009
Springer
Generative and evaluative approaches are two different ways of diagnosing students’ input that have been realized in a number of intelligent tutoring systems. We describe how Ac...
128
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Inductive and capacitive coupling are responsible for slowing down signals. Existing bus encoding techniques tackle the issue by avoiding certain types of transitions. This work...