2623 search results - page 139 / 525 » Universal Learning Theory |
145
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
132
click to vote
CIIT
2004
15 years 5 months ago
2004
In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...
146
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
112
click to vote
AML
2008
15 years 4 months ago
2008
Abstract. We say that a coloring c : []n 2 is continuous if it is continuous with respect to some second countable topology on . A coloring c is potentially continuous if it is co...
132
click to vote
CG
2000
Springer
15 years 4 months ago
2000
Springer
Computers have recently emerged as commonplace on the scene in a record number of university art departments. This rapid change has created the need for new curriculum in the comp...