949 search results - page 60 / 190 » Programmed Mutagenesis Is Universal |
134
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
133
Voted
SIGCSE
1998
ACM
15 years 8 months ago
1998
ACM
Programs that use animations or visualizations attract student interest and offer feedback that can enhance different learning styles as students work to master programming and pr...
182
click to vote
ICLP
1995
Springer
15 years 8 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
144
click to vote
FECS
2007
15 years 6 months ago
2007
Computing professionals are employed in so many different ways that it is difficult to even define the common foundation that all of them should master; however, a single degree ...
117
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...