337 search results - page 36 / 68 » On Weak Markov's Principle |
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
SINOBIOMETRICS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, three baseline face recognition algorithms are evaluated on the CAS-PEAL-R1 face database which is publicly released from a large-scale Chinese face database: CAS-PE...
AUIC
2000
IEEE
14 years 2 days ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
ACMICEC
2007
ACM
13 years 11 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
ENGL
2007
13 years 7 months ago
2007
— Using computer simulated tests, this study examined direction-of-motion stereotypes and response times for different configurations of lever controls and circular displays. Qua...