444 search results - page 60 / 89 » Erdos-Rado without choice |
ITS
2010
Springer
14 years 12 days ago
2010
Springer
The traditional, well established approach to finding out what works in education research is to run a randomized controlled trial (RCT) using a standard pretest and posttest desig...
ACISP
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. Many algorithmic problems, which are used to prove the security of a cryptographic system, are shown to be characterized as the subgroup membership problem. We then apply...
CONCUR
2001
Springer
14 years 4 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
CANDC
2007
ACM
13 years 11 months ago
2007
ACM
This paper describes a software system that has been designed to enhance individual creativity. It was once thought that the era of information visualization would empower people ...
CLOR
2006
13 years 11 months ago
2006
We present a "parts and structure" model for object category recognition that can be learnt efficiently and in a weakly-supervised manner: the model is learnt from examp...