469 search results - page 33 / 94 » Putting curry-howard to work |
IJDAR
2000
13 years 7 months ago
2000
Abstract. Automatic recognition of mathematical expressions is one of the key vehicles in the drive towards transcribing documents in scientific and engineering disciplines into el...
SIAMDM
2000
13 years 7 months ago
2000
We show that the size of the smallest depth-two N-superconcentrator is (N log2 N/ log log N). Before this work, optimal bounds were known for all depths except two. For the upper b...
ITP
2002
13 years 7 months ago
2002
This paper develops a theoretical perspective on gender and information technology (IT) by examining socio-cultural influences on women who are members of the information technolog...
MTA
2007
13 years 7 months ago
2007
In this paper, we proposed an improved “bottom-up” variable-size block matching method. Different from previous work, the proposed method does not need any threshold during th...
SG
2010
Springer
13 years 6 months ago
2010
Springer
: WAVO consists of a PoSC micro-computer, an accelerometer and a 16x16 matrix LED and express moving waves with LED. These waves are calculated by Wave Equation in real-time. There...