8874 search results - page 115 / 1775 » A New Implementation of Automath |
126
Voted
CN
1998
15 years 3 months ago
1998
We propose a new approach to programming web applications that increases the web's computational power, the web's flexibility, and web programmer productivity. Whereas w...
123
Voted
CONCURRENCY
1998
15 years 3 months ago
1998
We present a new fast and scalable matrix multiplication algorithm, called DIMMA Distribution-Independent Matrix Multiplication Algorithm , for block cyclic data distribution on ...
258
Voted
Publication
A new correlation technique for Grey-Scale Template Image Matching, the Cross-Sectional Histogram Correlation (CHC) Method, is proposed. In comparison to the traditional, widely-us...
141
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper discusses the disadvantages of several existing objective quality evaluation methods for frame interpolation techniques. Samples show that these disadvantages lead the ...
127
Voted
EDBT
2006
ACM
16 years 3 months ago
2006
ACM
This paper describes the design and implementation of an XML storage manager for fast and interactive XPath expressions evaluation. This storage manager has two main parts: the XML...